-
Admissibility of cut in congruent modal logicss. 189 - 203CZYSTY TEKST
Andrzej Indrzejczak, Admissibility of cut in congruent modal logics, Logic and Logical Philosophy, 2011 / Tom 20 / Numer 3, s. 189 - 203
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Admissibility of cut in congruent modal logics", journal = "Logic and Logical Philosophy", issue = "2011 / Tom 20 / Numer 3", pages = "189 - 203" }
-
Socrates did it before Gödels. 205 - 214CZYSTY TEKST
Josef Wolfgang Degen, Socrates did it before Gödel, Logic and Logical Philosophy, 2011 / Tom 20 / Numer 3, s. 205 - 214
BIBTEX@Article{ authors = " Josef Wolfgang Degen", title = "Socrates did it before Gödel", journal = "Logic and Logical Philosophy", issue = "2011 / Tom 20 / Numer 3", pages = "205 - 214" }
-
On axiomatization of Łukasiewicz's four-valued modal logics. 215 - 232CZYSTY TEKST
Marcin Tkaczyk, On axiomatization of Łukasiewicz's four-valued modal logic, Logic and Logical Philosophy, 2011 / Tom 20 / Numer 3, s. 215 - 232
BIBTEX@Article{ authors = " Marcin Tkaczyk", title = "On axiomatization of Łukasiewicz's four-valued modal logic", journal = "Logic and Logical Philosophy", issue = "2011 / Tom 20 / Numer 3", pages = "215 - 232" }
-
Refutation systems for a system of nonsense-logics. 233 - 239CZYSTY TEKST
Robert Sochacki, Refutation systems for a system of nonsense-logic, Logic and Logical Philosophy, 2011 / Tom 20 / Numer 3, s. 233 - 239
BIBTEX@Article{ authors = " Robert Sochacki", title = "Refutation systems for a system of nonsense-logic", journal = "Logic and Logical Philosophy", issue = "2011 / Tom 20 / Numer 3", pages = "233 - 239" }
-
A class of simpler logical matrices for the variable-sharing propertys. 241 - 249CZYSTY TEKST
José M. Méndez, Gemma Robles, A class of simpler logical matrices for the variable-sharing property, Logic and Logical Philosophy, 2011 / Tom 20 / Numer 3, s. 241 - 249
BIBTEX@Article{ authors = " José M. Méndez, Gemma Robles", title = "A class of simpler logical matrices for the variable-sharing property", journal = "Logic and Logical Philosophy", issue = "2011 / Tom 20 / Numer 3", pages = "241 - 249" }
-
A class of simpler logical matrices for the variable-sharing propertys. 241 - 249CZYSTY TEKST
José M. Méndez, Gemma Robles, A class of simpler logical matrices for the variable-sharing property, Logic and Logical Philosophy, 2011 / Tom 20 / Numer 3, s. 241 - 249
BIBTEX@Article{ authors = " José M. Méndez, Gemma Robles", title = "A class of simpler logical matrices for the variable-sharing property", journal = "Logic and Logical Philosophy", issue = "2011 / Tom 20 / Numer 3", pages = "241 - 249" }
-
More on the decidability of mereological theoriess. 251 - 265CZYSTY TEKST
Hsing-chien Tsai, More on the decidability of mereological theories, Logic and Logical Philosophy, 2011 / Tom 20 / Numer 3, s. 251 - 265
BIBTEX@Article{ authors = " Hsing-chien Tsai", title = "More on the decidability of mereological theories", journal = "Logic and Logical Philosophy", issue = "2011 / Tom 20 / Numer 3", pages = "251 - 265" }
-
"Parafrasi Schröderiane", Ernst Schröder, Milan 2010 : [recenzja]s. 267 - 272CZYSTY TEKST
Walter Carnielli, Ernst Schröder, "Parafrasi Schröderiane", Ernst Schröder, Milan 2010 : [recenzja], Logic and Logical Philosophy, 2011 / Tom 20 / Numer 3, s. 267 - 272
BIBTEX@Article{ authors = " Walter Carnielli, Ernst Schröder", title = ""Parafrasi Schröderiane", Ernst Schröder, Milan 2010 : [recenzja]", journal = "Logic and Logical Philosophy", issue = "2011 / Tom 20 / Numer 3", pages = "267 - 272" }
