-
Quasiorders, Tolerance Relations and Corresponding "Partitions"s. 65 - 78CZYSTY TEKST
Marek Nowak, Quasiorders, Tolerance Relations and Corresponding "Partitions", Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 2, s. 65 - 78
BIBTEX@Article{ authors = " Marek Nowak", title = "Quasiorders, Tolerance Relations and Corresponding "Partitions"", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 2", pages = "65 - 78" }
-
Axiomatization of a Basic Logic of Logical Bilatticess. 79 - 92CZYSTY TEKST
Mitio Takano, Axiomatization of a Basic Logic of Logical Bilattices, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 2, s. 79 - 92
BIBTEX@Article{ authors = " Mitio Takano", title = "Axiomatization of a Basic Logic of Logical Bilattices", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 2", pages = "79 - 92" }
-
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4s. 93 - 110CZYSTY TEKST
J.M. Blanco, S.M. Lopez, J.R. Paradela, M.M. Recio, Gemma Robles, A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 2, s. 93 - 110
BIBTEX@Article{ authors = " J.M. Blanco, S.M. Lopez, J.R. Paradela, M.M. Recio, Gemma Robles", title = "A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 2", pages = "93 - 110" }
-
Categorical Abstract Algebraic Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutionss. 111 - 124CZYSTY TEKST
George Voutsadakis, Categorical Abstract Algebraic Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 2, s. 111 - 124
BIBTEX@Article{ authors = " George Voutsadakis", title = "Categorical Abstract Algebraic Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 2", pages = "111 - 124" }
-
Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculuss. 125 - 140CZYSTY TEKST
Andrzej Indrzejczak, Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 2, s. 125 - 140
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 2", pages = "125 - 140" }
