Przeglądaj Bulletin of the Section of Logic 44/1-2 (2015) według tematu "Tarski operator"
Wyświetlanie pozycji 1-1 z 1
-
Categorical Abstract Algebraic Logic: Referential π-Institutions
(Wydawnictwo Uniwersytetu Łódzkiego, 2015)Wójcicki introduced in the late 1970s the concept of a referential semantics for propositional logics. Referential semantics incorporate features of the Kripke possible world semantics for modal logics into the realm of ...