TYTUŁ
Bulletin of the Section of Logic 2016 / Tom 45 / Numer 2
2016 / Tom 45 / Numer 2
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Quasiorders, Tolerance Relations and Corresponding "Partitions"s. 65 - 78CZYSTY TEKSTBIBTEX
-
Axiomatization of a Basic Logic of Logical Bilatticess. 79 - 92CZYSTY TEKSTBIBTEX
-
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4s. 93 - 110CZYSTY TEKSTBIBTEX
-
Categorical Abstract Algebraic Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutionss. 111 - 124CZYSTY TEKSTBIBTEX
-
Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculuss. 125 - 140CZYSTY TEKSTBIBTEX
