-
Note on "Conditional negation on the positive logic"s. 178CZYSTY TEKST
Jacek Geisler, Note on "Conditional negation on the positive logic", Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 178
BIBTEX@Article{ authors = " Jacek Geisler", title = "Note on "Conditional negation on the positive logic"", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "178" }
-
A finitary I-equivalential logic not finitely equivalentials. 120 - 122CZYSTY TEKST
Pilar Dellunde i Clave, A finitary I-equivalential logic not finitely equivalential, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 120 - 122
BIBTEX@Article{ authors = " Pilar Dellunde i Clave", title = "A finitary I-equivalential logic not finitely equivalential", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "120 - 122" }
-
Full models for sentential logics. 123 - 131CZYSTY TEKST
Josep Maria Font, Ramon Jansana, Full models for sentential logic, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 123 - 131
BIBTEX@Article{ authors = " Josep Maria Font, Ramon Jansana", title = "Full models for sentential logic", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "123 - 131" }
-
A possible world semantics for conditional logic based on similarity relationss. 132 - 139CZYSTY TEKST
Javier Vilanova Arias, A possible world semantics for conditional logic based on similarity relations, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 132 - 139
BIBTEX@Article{ authors = " Javier Vilanova Arias", title = "A possible world semantics for conditional logic based on similarity relations", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "132 - 139" }
-
Many-valued referential matricess. 140 - 146CZYSTY TEKST
Grzegorz Malinowski, Many-valued referential matrices, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 140 - 146
BIBTEX@Article{ authors = " Grzegorz Malinowski", title = "Many-valued referential matrices", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "140 - 146" }
-
The Craig Interpolation Theorem in multi-modal logicss. 147 - 154CZYSTY TEKST
Judit Madarasz, The Craig Interpolation Theorem in multi-modal logics, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 147 - 154
BIBTEX@Article{ authors = " Judit Madarasz", title = "The Craig Interpolation Theorem in multi-modal logics", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "147 - 154" }
-
On the equivalence between two systems of paraconsistent logics. 155 - 157CZYSTY TEKST
Antonio M. Sette, Elias H. Alves, On the equivalence between two systems of paraconsistent logic, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 155 - 157
BIBTEX@Article{ authors = " Antonio M. Sette, Elias H. Alves", title = "On the equivalence between two systems of paraconsistent logic", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "155 - 157" }
-
Fork algebras in usual and in non-well-founded set theories : part Is. 158 - 168CZYSTY TEKST
Ildiko Sain, Istvan Nemeti, Fork algebras in usual and in non-well-founded set theories : part I, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 158 - 168
BIBTEX@Article{ authors = " Ildiko Sain, Istvan Nemeti", title = "Fork algebras in usual and in non-well-founded set theories : part I", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "158 - 168" }
-
A note concerning belief logics. 169 - 172CZYSTY TEKST
Andrzej Indrzejczak, A note concerning belief logic, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 169 - 172
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "A note concerning belief logic", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "169 - 172" }
-
Classical theories in strong negation logics. 173 - 177CZYSTY TEKST
Jacek Geisler, Classical theories in strong negation logic, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 173 - 177
BIBTEX@Article{ authors = " Jacek Geisler", title = "Classical theories in strong negation logic", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "173 - 177" }