Alexej P. Pynko

19 papers Journal 19

Year	Rank	Type	Title / Venue / Authors
2010	J	`jnl`	Many-Place Sequent Calculi for Finitely-Valued Logics. Logica Universalis Alexej P. Pynko
2010	J	`jnl`	Subquasivarieties of implicative locally-finite quasivarieties. Math. Log. Q. Alexej P. Pynko
2009	J	`jnl`	Distributive-Lattice Semantics of Sequent Calculi with Structural Rules. Logica Universalis Alexej P. Pynko
2006	J	`jnl`	A relative interpolation theorem for infinitary universal Horn logic and its applications. Arch. Math. Log. Alexej P. Pynko
2004	J	`jnl`	Semantics of Multiplicative Propositional Signed Sequent Calculi with Structural Rules. J. Multiple Valued Log. Soft Comput. Alexej P. Pynko
2002	J	`jnl`	Extensions of Halkowska-Zajac's three-valued paraconsistent logic. Arch. Math. Log. Alexej P. Pynko
2002	J	`jnl`	Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules. Fuzzy Sets Syst. Alexej P. Pynko
2001	J	`jnl`	Fuzzy semantics for multiple-conclusion sequential calculi with structural rules. Fuzzy Sets Syst. Alexej P. Pynko
2001	J	`jnl`	Implicational classes of De Morgan Boolean algebras. Discret. Math. Alexej P. Pynko
2000	J	`jnl`	Erratum to "Definitional Equivalence and Algebraizability of Generalized Logical Systems". Ann. Pure Appl. Log. Alexej P. Pynko
2000	J	`jnl`	Regular bilattices. J. Appl. Non Class. Logics Alexej P. Pynko
2000	J	`jnl`	Subprevarieties Versus Extensions. Application to The Logic of Paradox. J. Symb. Log. Alexej P. Pynko
1999	J	`jnl`	Definitional Equivalence and Algebraizability of Generalized Logical Systems. Ann. Pure Appl. Log. Alexej P. Pynko
1999	J	`jnl`	Functional completeness, axiomatizability within Belnap's four valued logic and its expansions. J. Appl. Non Class. Logics Alexej P. Pynko
1999	J	`jnl`	Implication Systems for Many-Dimensional Logics. Reports Math. Log. Alexej P. Pynko
1999	J	`jnl`	Implicational classes of De Morgan lattices. Discret. Math. Alexej P. Pynko
1995	J	`jnl`	Algebraic study of sette's maximal paraconsistent logic. Stud Logica Alexej P. Pynko
1995	J	`jnl`	Characterizing Belnap's Logic via De Morgan's Laws. Math. Log. Q. Alexej P. Pynko
1995	J	`jnl`	On Priest's logic of paradox. J. Appl. Non Class. Logics Alexej P. Pynko