-
Gentzen's Cut-Free Calculus Versus the Logic of Paradox Opublikowano w: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 1-2 / s. 35 - 422010CZYSTY TEKST
Alexej P. Pynko, Gentzen's Cut-Free Calculus Versus the Logic of Paradox, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 35 - 42
BIBTEX@Article{ authors = " Alexej P. Pynko", title = "Gentzen's Cut-Free Calculus Versus the Logic of Paradox", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "35 - 42" }
-
Sequential Calculi for Many-valued Logics with Equality Determinant Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 1 / s. 23 - 322004CZYSTY TEKST
Alexej P. Pynko, Sequential Calculi for Many-valued Logics with Equality Determinant, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 1, s. 23 - 32
BIBTEX@Article{ authors = " Alexej P. Pynko", title = "Sequential Calculi for Many-valued Logics with Equality Determinant", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 1", pages = "23 - 32" }
-
Minimal Sequent Calculi for Lukasiewicz's Finitely-Valued Logics Opublikowano w: Bulletin of the Section of Logic 2015 / Tom 44 / Numer 3-4 / s. 149 - 1542015CZYSTY TEKST
Alexej P. Pynko, Minimal Sequent Calculi for Lukasiewicz's Finitely-Valued Logics, Bulletin of the Section of Logic, 2015 / Tom 44 / Numer 3-4, s. 149 - 154
BIBTEX@Article{ authors = " Alexej P. Pynko", title = "Minimal Sequent Calculi for Lukasiewicz's Finitely-Valued Logics", journal = "Bulletin of the Section of Logic", issue = "2015 / Tom 44 / Numer 3-4", pages = "149 - 154" }
-
A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 3 / s. 137 - 1462003CZYSTY TEKST
Alexej P. Pynko, A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 137 - 146
BIBTEX@Article{ authors = " Alexej P. Pynko", title = "A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 3", pages = "137 - 146" }
