Szukaj
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 ...