Przeglądaj Bulletin of the Section of Logic 46/3-4 (2017) według tematu "closure operation"
Wyświetlanie pozycji 1-1 z 1
-
A Syntactic Approach to Closure Operation
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)In the paper, tracing the traditional Hilbert-style syntactic account of logics, a syntactic characteristic of a closure operation defined on a complete lattice follows. The approach is based on observation that the role ...