Wyniki
-
A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC
Alexej P. Pynko
Bulletin of the Section of Logic , 32 /3 (2003) s. 137-146 -
Sequential Calculi for Many-valued Logics with Equality Determinant
Alexej P. Pynko
Bulletin of the Section of Logic , 33 /1 (2004) s. 23-32 -
Gentzen's Cut-Free Calculus Versus the Logic of Paradox
Alexej P. Pynko
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 35-42 -
Minimal Sequent Calculi for Lukasiewicz's Finitely-Valued Logics
Alexej P. Pynko
Bulletin of the Section of Logic , 44 /3-4 (2015) s. 149-154 -
Four-Valued Expansions of Dunn-Belnap's Logic (I) : Basic Characterizations
Alexej P. Pynko
Bulletin of the Section of Logic , 49 /4 (2020) s. 401-437