-
A remark on super-intuitionistic predicate logics having the same propositional fragments. 107 - 115CZYSTY TEKST
Nobu-Yuki Suzuki, A remark on super-intuitionistic predicate logics having the same propositional fragment, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 2, s. 107 - 115
BIBTEX@Article{ authors = " Nobu-Yuki Suzuki", title = "A remark on super-intuitionistic predicate logics having the same propositional fragment", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 2", pages = "107 - 115" }
-
Cut elimination in adjunctions. 61 - 73CZYSTY TEKST
Kosta Dosen, Cut elimination in adjunction, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 2, s. 61 - 73
BIBTEX@Article{ authors = " Kosta Dosen", title = "Cut elimination in adjunction", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 2", pages = "61 - 73" }
-
A note on varieties of PCI-algebras with EDPCs. 75 - 81CZYSTY TEKST
A note on varieties of PCI-algebras with EDPC, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 2, s. 75 - 81
BIBTEX@Article{ authors = "", title = "A note on varieties of PCI-algebras with EDPC", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 2", pages = "75 - 81" }
-
A normalization theorem for P-Ws. 83 - 88CZYSTY TEKST
A normalization theorem for P-W, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 2, s. 83 - 88
BIBTEX@Article{ authors = "", title = "A normalization theorem for P-W", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 2", pages = "83 - 88" }
-
A sequent calculus Lukasiewicz's three-valued logic based on Suszko's bivalent semanticss. 89 - 97CZYSTY TEKST
Jean-Yves Beziau, A sequent calculus Lukasiewicz's three-valued logic based on Suszko's bivalent semantics, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 2, s. 89 - 97
BIBTEX@Article{ authors = " Jean-Yves Beziau", title = "A sequent calculus Lukasiewicz's three-valued logic based on Suszko's bivalent semantics", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 2", pages = "89 - 97" }
-
Mixing modal and sufficiency operatorss. 99 - 107CZYSTY TEKST
Ewa Orłowska, Mixing modal and sufficiency operators, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 2, s. 99 - 107
BIBTEX@Article{ authors = " Ewa Orłowska", title = "Mixing modal and sufficiency operators", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 2", pages = "99 - 107" }
