Przeglądaj Bulletin of the Section of Logic 46/3-4 (2017) według tytułu
Wyświetlanie pozycji 7-7 z 7
-
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 ...