2006 | ||
---|---|---|
15 | EE | Alexej P. Pynko: A relative interpolation theorem for infinitary universal Horn logic and its applications. Arch. Math. Log. 45(3): 267-305 (2006) |
2002 | ||
14 | EE | Alexej P. Pynko: Extensions of Halkowska-Zajac's three-valued paraconsistent logic. Arch. Math. Log. 41(3): 299-307 (2002) |
13 | EE | Alexej P. Pynko: Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules. Fuzzy Sets and Systems 129(2): 255-265 (2002) |
2001 | ||
12 | EE | Alexej P. Pynko: Implicational classes of De Morgan Boolean algebras. Discrete Mathematics 232(1-3): 59-66 (2001) |
11 | EE | Alexej P. Pynko: Fuzzy semantics for multiple-conclusion sequential calculi with structural rules. Fuzzy Sets and Systems 121(3): 397-407 (2001) |
2000 | ||
10 | Alexej P. Pynko: Erratum to "Definitional Equivalence and Algebraizability of Generalized Logical Systems". Ann. Pure Appl. Logic 102(3): 283-284 (2000) | |
9 | Alexej P. Pynko: Subprevarieties Versus Extensions. Application to The Logic of Paradox. J. Symb. Log. 65(2): 756-766 (2000) | |
8 | Alexej P. Pynko: Regular bilattices. Journal of Applied Non-Classical Logics 10(1): (2000) | |
1999 | ||
7 | Alexej P. Pynko: Definitional Equivalence and Algebraizability of Generalized Logical Systems. Ann. Pure Appl. Logic 98(1-3): 1-68 (1999) | |
6 | EE | Alexej P. Pynko: Implicational classes of De Morgan lattices. Discrete Mathematics 205(1-3): 171-181 (1999) |
5 | Alexej P. Pynko: Functional completeness, axiomatizability within Belnap's four valued logic and its expansions. Journal of Applied Non-Classical Logics 9(1): (1999) | |
4 | EE | Alexej P. Pynko: Implication Systems for Many-Dimensional Logics. Reports on Mathematical Logic 33: 11-27 (1999) |
1995 | ||
3 | Alexej P. Pynko: On Priest's logic of paradox. Journal of Applied Non-Classical Logics 5(2): (1995) | |
2 | Alexej P. Pynko: Characterizing Belnap's Logic via De Morgans's Laws. Math. Log. Q. 41: 442-454 (1995) | |
1 | Alexej P. Pynko: Algebraic study of sette's maximal paraconsistent logic. Studia Logica 54(1): 89-128 (1995) |