-
An Elementary Proof of Strong Normalization for Atomic Fs. 1 - 16CZYSTY TEKST
Fernando Ferreira, Gilda Ferreira, An Elementary Proof of Strong Normalization for Atomic F, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 1, s. 1 - 16
BIBTEX@Article{ authors = " Fernando Ferreira, Gilda Ferreira", title = "An Elementary Proof of Strong Normalization for Atomic F", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 1", pages = "1 - 16" }
-
A New Arithmetically Incomplete First Order Extension of Gl All Theorems of Which Have Cut Free Proofss. 17 - 32CZYSTY TEKST
G. Tourlakis, A New Arithmetically Incomplete First Order Extension of Gl All Theorems of Which Have Cut Free Proofs, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 1, s. 17 - 32
BIBTEX@Article{ authors = " G. Tourlakis", title = "A New Arithmetically Incomplete First Order Extension of Gl All Theorems of Which Have Cut Free Proofs", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 1", pages = "17 - 32" }
-
An Alternative Natural Deduction for the Intuitionistic Propositional Logics. 33 - 51CZYSTY TEKST
Mirjana Ilic, An Alternative Natural Deduction for the Intuitionistic Propositional Logic, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 1, s. 33 - 51
BIBTEX@Article{ authors = " Mirjana Ilic", title = "An Alternative Natural Deduction for the Intuitionistic Propositional Logic", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 1", pages = "33 - 51" }
-
Commutative Energetic Subsets of BCK-Algebrass. 53 - 64CZYSTY TEKST
Young Bae Jun, Eun Hwan Roh, Seok Zun Song, Commutative Energetic Subsets of BCK-Algebras, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 1, s. 53 - 64
BIBTEX@Article{ authors = " Young Bae Jun, Eun Hwan Roh, Seok Zun Song", title = "Commutative Energetic Subsets of BCK-Algebras", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 1", pages = "53 - 64" }
