Alexej P. Pynko

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 the conjunctive normal forms of partially monotonic Boolean functions	2017-07-11	Paper
Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics	2016-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q5169620	2014-07-11	Paper
https://portal.mardi4nfdi.de/entity/Q5411466	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
https://portal.mardi4nfdi.de/entity/Q2896493	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
https://portal.mardi4nfdi.de/entity/Q3433181	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
Regular bilattices	2004-01-13	Paper
Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexej P. Pynko