A. P. Pyn'ko

Available identifiers

zbMath Open pynko.alexej-pMaRDI QIDQ189427

List of research outcomes

Publication	Date of Publication	Type
Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations	2021-07-07	Paper
Minimization of conjunctive normal forms of partially monotonic Boolean functions	2017-07-11	Paper
Minimal sequent calculi for Lukasiewicz's finitely-valued logics	2016-05-31	Paper
Minimal sequent calculi for monotonic chain finitely-valued logics	2014-07-11	Paper
Gentzen's cut-free calculus versus the logic of paradox	2014-04-23	Paper
Distributive-lattice semantics of sequent calculi with structural rules	2013-01-25	Paper
Many-place sequent calculi for finitely-valued logics	2013-01-25	Paper
Optimization of sequent calculi for finite-valued logics with equality determinant	2012-07-16	Paper
Subquasivarieties of implicative locally-finite quasivarieties	2011-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q3607961	2009-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q5430379	2007-12-16	Paper
A cut-free Gentzen calculus with subformula property for first-degree entailments in \(\mathbf{LC}\)	2007-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q5467304	2006-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q5467447	2006-05-24	Paper
A relative interpolation theorem for infinitary universal Horn logic and its applications	2006-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4660202	2005-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4828042	2004-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4822149	2004-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4455539	2004-03-16	Paper
Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions	2004-01-13	Paper
Regular bilattices	2004-01-13	Paper
Extensions of Hałkowska-Zajac's three-valued paraconsistent logic	2003-09-16	Paper
Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules	2002-09-30	Paper
Fuzzy semantics for multiple-conclusion sequential calculi with structural rules	2002-05-05	Paper
Implicational classes of De Morgan Boolean algebras	2001-09-30	Paper
Subprevarieties versus extensions. Application to the logic of paradox	2001-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4487294	2000-07-27	Paper
Definitional equivalence and algebraizability of generalized logical systems	2000-03-09	Paper
Implicational classes of De Morgan lattices	1999-09-12	Paper
Characterizing Belnap's Logic via De Morgan's Laws	1996-05-13	Paper
On Priest's logic of paradox	1996-03-06	Paper
Algebraic study of Sette's maximal paraconsistent logic	1995-02-22	Paper

Research outcomes over time

This page was built for person: A. P. Pyn'ko