| Publication | Date of Publication | Type |
|---|
Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations
Bulletin of the Section of Logic | 2021-07-07 | Paper |
Minimization of conjunctive normal forms of partially monotonic Boolean functions
Reports of the National Academy of Sciences of Ukraine | 2017-07-11 | Paper |
Minimal sequent calculi for Lukasiewicz's finitely-valued logics
Bulletin of the Section of Logic | 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
Logica Universalis | 2013-01-25 | Paper |
Many-place sequent calculi for finitely-valued logics
Logica Universalis | 2013-01-25 | Paper |
Optimization of sequent calculi for finite-valued logics with equality determinant
Dopovidi Natsional'noï Akademiï Nauk Ukraïny. Matematyka, Pryrodoznavstvo, Tekhnichni Nauky | 2012-07-16 | Paper |
Subquasivarieties of implicative locally-finite quasivarieties
Mathematical Logic Quarterly | 2011-01-10 | Paper |
scientific article; zbMATH DE number 5520475 (Why is no real title available?)
| 2009-02-28 | Paper |
scientific article; zbMATH DE number 5220083 (Why is no real title available?)
| 2007-12-16 | Paper |
A cut-free Gentzen calculus with subformula property for first-degree entailments in \(\mathbf{LC}\)
| 2007-04-27 | Paper |
scientific article; zbMATH DE number 5025799 (Why is no real title available?)
| 2006-05-24 | Paper |
scientific article; zbMATH DE number 5025933 (Why is no real title available?)
| 2006-05-24 | Paper |
A relative interpolation theorem for infinitary universal Horn logic and its applications
Archive for Mathematical Logic | 2006-03-22 | Paper |
scientific article; zbMATH DE number 2148623 (Why is no real title available?)
| 2005-03-21 | Paper |
scientific article; zbMATH DE number 2118592 (Why is no real title available?)
| 2004-11-24 | Paper |
scientific article; zbMATH DE number 2109539 (Why is no real title available?)
| 2004-10-25 | Paper |
scientific article; zbMATH DE number 2059009 (Why is no real title available?)
| 2004-03-16 | Paper |
Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
Journal of Applied Non-Classical Logics | 2004-01-13 | Paper |
Regular bilattices
Journal of Applied Non-Classical Logics | 2004-01-13 | Paper |
Extensions of Hałkowska-Zajac's three-valued paraconsistent logic
Archive for Mathematical Logic | 2003-09-16 | Paper |
Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
Fuzzy Sets and Systems | 2002-09-30 | Paper |
Fuzzy semantics for multiple-conclusion sequential calculi with structural rules
Fuzzy Sets and Systems | 2002-05-05 | Paper |
Implicational classes of De Morgan Boolean algebras
Discrete Mathematics | 2001-09-30 | Paper |
Subprevarieties versus extensions. Application to the logic of paradox
Journal of Symbolic Logic | 2001-01-14 | Paper |
scientific article; zbMATH DE number 1463146 (Why is no real title available?)
| 2000-07-27 | Paper |
Definitional equivalence and algebraizability of generalized logical systems
Annals of Pure and Applied Logic | 2000-03-09 | Paper |
Implicational classes of De Morgan lattices
Discrete Mathematics | 1999-09-12 | Paper |
Characterizing Belnap's Logic via De Morgan's Laws
Mathematical Logic Quarterly | 1996-05-13 | Paper |
On Priest's logic of paradox
Journal of Applied Non-Classical Logics | 1996-03-06 | Paper |
Algebraic study of Sette's maximal paraconsistent logic
Studia Logica | 1995-02-22 | Paper |
