-
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
Tadao Ishii, 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 = " Tadao Ishii", 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
Misao Nagayama, A normalization theorem for P-W, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 2, s. 83 - 88
BIBTEX@Article{ authors = " Misao Nagayama", 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 Béziau, 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 Béziau", 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
Ivo Duntsch, 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 = " Ivo Duntsch, 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" }
-
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" }
