| Publication | Date of Publication | Type |
|---|
Sequent calculi for first-order ST
Journal of Philosophical Logic | 2024-10-24 | Paper |
Intuitionistic logic is a connexive logic
Studia Logica | 2024-04-10 | Paper |
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
The Review of Symbolic Logic | 2024-01-11 | Paper |
Residuated Structures in Algebra and Logic
Mathematical Surveys and Monographs | 2023-11-02 | Paper |
The original sin of proof-theoretic semantics
Synthese | 2023-03-15 | Paper |
Logics of variable inclusion
Trends in Logic -- Studia Logica Library | 2022-06-09 | Paper |
Pure variable inclusion logics
Logic and Logical Philosophy | 2022-03-29 | Paper |
Relating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems
Logic and Logical Philosophy | 2022-03-29 | Paper |
Residuated structures and orthomodular lattices
Studia Logica | 2021-12-27 | Paper |
Extensions of paraconsistent weak Kleene logic
Logic Journal of the IGPL | 2021-12-03 | Paper |
On PBZ*-lattices
(available as arXiv preprint) | 2021-03-19 | Paper |
| PBZ*-lattices: ordinal and horizontal sums | 2021-03-19 | Paper |
PBZ*-lattices: structure theory and subvarieties
Reports on Mathematical Logic | 2020-09-22 | Paper |
Proof theory of paraconsistent weak Kleene logic
Studia Logica | 2020-08-25 | Paper |
ST, LP and tolerant metainferences
Outstanding Contributions to Logic | 2020-08-10 | Paper |
Bilattice logics and demi-negation
New Essays on Belnap-Dunn Logic | 2020-08-10 | Paper |
Algebraic analysis of demodalised analytic implication
Journal of Philosophical Logic | 2020-02-14 | Paper |
An abstract approach to consequence relations
The Review of Symbolic Logic | 2019-06-07 | Paper |
Quasi-subtractive varieties: Open filters, congruences and the commutator
Logic Journal of the IGPL | 2019-01-08 | Paper |
The Archimedean property: new horizons and perspectives
Algebra Universalis | 2018-12-05 | Paper |
| Ordinal and Horizontal Sums Constructing PBZ*-lattices | 2018-11-05 | Paper |
Boolean product representations of algebras via binary polynomials
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science | 2018-09-13 | Paper |
Factor varieties
Soft Computing | 2018-02-27 | Paper |
On some properties of PBZ\(^*\)-lattices
International Journal of Theoretical Physics | 2018-02-05 | Paper |
On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
Studia Logica | 2017-05-15 | Paper |
| Semantic minimalism for logical constants | 2017-04-03 | Paper |
A new view of effects in a Hilbert space
Studia Logica | 2017-03-02 | Paper |
On when a semantics is not a good semantics: the algebraisation of orthomodular logic
Probing the Meaning of Quantum Mechanics | 2017-01-16 | Paper |
On some properties of directoids
Soft Computing | 2016-11-22 | Paper |
Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections.
Journal of Pure and Applied Algebra | 2016-05-18 | Paper |
Semi-linear varieties of lattice-ordered algebras.
Petr Hájek on Mathematical Fuzzy Logic | 2015-10-06 | Paper |
| Compatible idempotent terms in universal algebra. | 2015-03-19 | Paper |
Logical consequence and the paradoxes
Journal of Philosophical Logic | 2014-12-18 | Paper |
Quasi-discriminator varieties
International Journal of Algebra and Computation | 2014-07-18 | Paper |
Lattice-theoretic properties of algebras of logic
Journal of Pure and Applied Algebra | 2014-04-30 | Paper |
| On some properties of quasi-MV algebras and \(\sqrt{\prime}\) quasi-MV algebras. IV | 2014-04-25 | Paper |
| On semi-Boolean-like algebras. | 2014-04-16 | Paper |
On independent varieties and some related notions
Algebra Universalis | 2013-11-18 | Paper |
| Quantum logic and nonclassical logics | 2013-10-04 | Paper |
Boolean-like algebras
Algebra Universalis | 2013-07-12 | Paper |
| Paraconsistency: introduction | 2013-04-02 | Paper |
A paraconsistent and substructural conditional logic
Paraconsistency: Logic and Applications | 2013-04-02 | Paper |
| Comments of ``Fuzzy logic and higher-order vagueness by Nicholas J. J. Smith | 2013-02-28 | Paper |
On Birkhoff's common abstraction problem
Studia Logica | 2013-02-18 | Paper |
Logics from \(\sqrt{\prime}\) quasi-MV algebras
International Journal of Theoretical Physics | 2012-06-20 | Paper |
On certain quasivarieties of quasi-MV algebras
Studia Logica | 2012-03-09 | Paper |
| scientific article; zbMATH DE number 6003196 (Why is no real title available?) | 2012-02-04 | Paper |
| scientific article; zbMATH DE number 5997426 (Why is no real title available?) | 2012-01-13 | Paper |
Quasi-subtractive varieties
Journal of Symbolic Logic | 2011-12-23 | Paper |
Joins and subdirect products of varieties
Algebra Universalis | 2011-08-16 | Paper |
| On some properties of quasi-MV algebras and \(\sqrt'\)quasi-MV algebras. III | 2011-03-30 | Paper |
Some generalizations of fuzzy structures in quantum computational logic
International Journal of General Systems | 2011-03-30 | Paper |
The lattice of subvarieties of \({\sqrt{^\prime}}\) quasi-MV algebras
Studia Logica | 2010-12-01 | Paper |
Categorical Equivalences for Formula quasi-MV Algebras
Journal Of Logic And Computation | 2010-08-26 | Paper |
| scientific article; zbMATH DE number 5772813 (Why is no real title available?) | 2010-08-18 | Paper |
The logic of quasi-MV algebras
Journal Of Logic And Computation | 2010-04-21 | Paper |
A discriminator variety of Gödel algebras with operators arising in quantum computation
Fuzzy Sets and Systems | 2009-11-17 | Paper |
Two cooperative versions of the guessing secrets problem
Information Sciences | 2009-10-01 | Paper |
| On some properties of quasi-MV algebras and \(\sqrt '\) quasi-MV algebras | 2009-06-23 | Paper |
Abelian logic and the logics of pointed lattice-ordered varieties
Logica Universalis | 2009-02-17 | Paper |
On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II.
Soft Computing | 2008-01-16 | Paper |
Expanding quasi-MV algebras by a quantum operator
Studia Logica | 2007-12-03 | Paper |
The geometry of non-distributive logics
Journal of Symbolic Logic | 2006-09-06 | Paper |
\(\bigstar\)-autonomous lattices and fuzzy sets
Soft Computing | 2006-08-18 | Paper |
MV-algebras and quantum computation
Studia Logica | 2006-08-16 | Paper |
\(\bigstar\)-autonomous lattices
Studia Logica | 2005-06-14 | Paper |
| scientific article; zbMATH DE number 1932898 (Why is no real title available?) | 2004-01-22 | Paper |
Logic and groups
Logic and Logical Philosophy | 2004-01-22 | Paper |
Quine and Slater on paraconsistency and deviance
Journal of Philosophical Logic | 2003-10-27 | Paper |
On the algebraic structure of linear, relevance, and fuzzy logics
Archive for Mathematical Logic | 2003-09-16 | Paper |
Substructural logics: a primer
Trends in Logic -- Studia Logica Library | 2003-09-08 | Paper |
A really fuzzy approach to the sorites paradox
Synthese | 2003-09-07 | Paper |
On strong comparative logic
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
A common abstraction of MV-algebras and abelian \(l\)-groups
Studia Logica | 2001-07-26 | Paper |
| scientific article; zbMATH DE number 1449225 (Why is no real title available?) | 2000-05-18 | Paper |
| scientific article; zbMATH DE number 1138594 (Why is no real title available?) | 1998-04-02 | Paper |
| scientific article; zbMATH DE number 638369 (Why is no real title available?) | 1994-09-13 | Paper |
