-
Relevance logics, paradoxes of consistency and the K rule II : A non-constructive negations. 175 - 191CZYSTY TEKST
José M. Méndez, Gemma Robles, Relevance logics, paradoxes of consistency and the K rule II : A non-constructive negation, Logic and Logical Philosophy, 2006 / Tom 15 / Numer 3, s. 175 - 191
BIBTEX@Article{ authors = " José M. Méndez, Gemma Robles", title = "Relevance logics, paradoxes of consistency and the K rule II : A non-constructive negation", journal = "Logic and Logical Philosophy", issue = "2006 / Tom 15 / Numer 3", pages = "175 - 191" }
-
Modalities as interactions between the classical and the intuitionistic logicss. 193 - 215CZYSTY TEKST
Michał Walicki, Modalities as interactions between the classical and the intuitionistic logics, Logic and Logical Philosophy, 2006 / Tom 15 / Numer 3, s. 193 - 215
BIBTEX@Article{ authors = " Michał Walicki", title = "Modalities as interactions between the classical and the intuitionistic logics", journal = "Logic and Logical Philosophy", issue = "2006 / Tom 15 / Numer 3", pages = "193 - 215" }
-
Introspective and traditional views of languages. 217 - 237CZYSTY TEKST
Maria K. Timofeeva, Introspective and traditional views of language, Logic and Logical Philosophy, 2006 / Tom 15 / Numer 3, s. 217 - 237
BIBTEX@Article{ authors = " Maria K. Timofeeva", title = "Introspective and traditional views of language", journal = "Logic and Logical Philosophy", issue = "2006 / Tom 15 / Numer 3", pages = "217 - 237" }
-
Externally compatible Abelian groups of the type (2,1,0)s. 239 - 250CZYSTY TEKST
Krystyna Mruczek-Nasieniewska, Externally compatible Abelian groups of the type (2,1,0), Logic and Logical Philosophy, 2006 / Tom 15 / Numer 3, s. 239 - 250
BIBTEX@Article{ authors = " Krystyna Mruczek-Nasieniewska", title = "Externally compatible Abelian groups of the type (2,1,0)", journal = "Logic and Logical Philosophy", issue = "2006 / Tom 15 / Numer 3", pages = "239 - 250" }
-
Extended full computation-tree logics for paraconsistent model checkings. 251 - 276CZYSTY TEKST
Norihiro Kamide, Extended full computation-tree logics for paraconsistent model checking, Logic and Logical Philosophy, 2006 / Tom 15 / Numer 3, s. 251 - 276
BIBTEX@Article{ authors = " Norihiro Kamide", title = "Extended full computation-tree logics for paraconsistent model checking", journal = "Logic and Logical Philosophy", issue = "2006 / Tom 15 / Numer 3", pages = "251 - 276" }
-
"Formal Philosophy", Vincent F. Hendricks, John Symons, [b.m.] 2005 : [recenzja]s. 277 - 279CZYSTY TEKST
Vincent F. Hendricks, Amirouche Moktefi, John Symons, "Formal Philosophy", Vincent F. Hendricks, John Symons, [b.m.] 2005 : [recenzja], Logic and Logical Philosophy, 2006 / Tom 15 / Numer 3, s. 277 - 279
BIBTEX@Article{ authors = " Vincent F. Hendricks, Amirouche Moktefi, John Symons", title = ""Formal Philosophy", Vincent F. Hendricks, John Symons, [b.m.] 2005 : [recenzja]", journal = "Logic and Logical Philosophy", issue = "2006 / Tom 15 / Numer 3", pages = "277 - 279" }
