-
BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lωs. 112 - 117CZYSTY TEKST
Alexander S. Karpenko, Vladimir M. Popov, BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lω, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 3, s. 112 - 117
BIBTEX@Article{ authors = " Alexander S. Karpenko, Vladimir M. Popov", title = "BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lω", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 3", pages = "112 - 117" }
-
Bimodal propositional logic S52Cns. 118 - 125CZYSTY TEKST
M.I. Golovanov, Bimodal propositional logic S52Cn, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 3, s. 118 - 125
BIBTEX@Article{ authors = " M.I. Golovanov", title = "Bimodal propositional logic S52Cn", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 3", pages = "118 - 125" }
-
Finite bases of admissible inference rules for modal logics of width 2s. 126 - 134CZYSTY TEKST
V.V. Rimatskiy, Finite bases of admissible inference rules for modal logics of width 2, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 3, s. 126 - 134
BIBTEX@Article{ authors = " V.V. Rimatskiy", title = "Finite bases of admissible inference rules for modal logics of width 2", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 3", pages = "126 - 134" }
-
Fixed points of modal negative operatorss. 135 - 138CZYSTY TEKST
Sergej Mardaev, Fixed points of modal negative operators, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 3, s. 135 - 138
BIBTEX@Article{ authors = " Sergej Mardaev", title = "Fixed points of modal negative operators", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 3", pages = "135 - 138" }
-
On the finitization problem of relation algebrass. 139 - 143CZYSTY TEKST
Gabor Sagi, Judit Madarasz, Istvan Nemeti, On the finitization problem of relation algebras, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 3, s. 139 - 143
BIBTEX@Article{ authors = " Gabor Sagi, Judit Madarasz, Istvan Nemeti", title = "On the finitization problem of relation algebras", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 3", pages = "139 - 143" }
-
Characterisations for fork algebras and their relational reductss. 144 - 155CZYSTY TEKST
Paulo A.S. Veloso, Characterisations for fork algebras and their relational reducts, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 3, s. 144 - 155
BIBTEX@Article{ authors = " Paulo A.S. Veloso", title = "Characterisations for fork algebras and their relational reducts", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 3", pages = "144 - 155" }
-
Paraconsistent logics!s. 156 - 163CZYSTY TEKST
Greg Restall, Paraconsistent logics!, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 3, s. 156 - 163
BIBTEX@Article{ authors = " Greg Restall", title = "Paraconsistent logics!", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 3", pages = "156 - 163" }
