| Publication | Date of Publication | Type |
|---|
Orthomodular and unsharp orthomodular lattices: a categorical equivalence
Studia Logica | 2026-03-12 | Paper |
Representations of regular double stone algebras: theory and applications
Logic Journal of the IGPL | 2025-11-26 | Paper |
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation
Logic Journal of the IGPL | 2025-10-30 | Paper |
Tense logics based on posets
Journal of Logic and Computation | 2025-10-29 | Paper |
| Implication in sharply paraorthomodular and relatively paraorthomodular posets | 2025-10-24 | Paper |
| Boolean-like algebras of finite dimension: from Boolean products to semiring products | 2025-10-24 | Paper |
The higher dimensional propositional calculus
Logic Journal of the IGPL | 2025-09-30 | Paper |
Ecological network, ecosystem services, and Green infrastructure planning: a method for the metropolitan City of Cagliari, Italy
Networks and Spatial Economics | 2025-08-19 | 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 |
An algebraic analysis of implication in non-distributive logics
Journal Of Logic And Computation | 2023-02-20 | Paper |
| Implication in sharply paraorthomodular and relatively paraorthomodular posets | 2023-01-23 | Paper |
Algebraic Properties of Paraorthomodular Posets
Logic Journal of the IGPL | 2022-11-09 | Paper |
The generalized orthomodularity property: configurations and pastings
Journal Of Logic And Computation | 2022-02-08 | Paper |
Residuated structures and orthomodular lattices
Studia Logica | 2021-12-27 | Paper |
Algebraic properties of paraorthomodular posets
(available as arXiv preprint) | 2020-11-25 | Paper |
Algebraic analysis of demodalised analytic implication
Journal of Philosophical Logic | 2020-02-14 | Paper |
A semiring-like representation of lattice pseudoeffect algebras
Soft Computing | 2019-07-02 | Paper |
On the structure theory of Łukasiewicz near semirings
Logic Journal of the IGPL | 2019-06-24 | Paper |
Representing quantum structures as near semirings
Logic Journal of the IGPL | 2019-01-08 | Paper |
Representing quantum structures as near semirings
Logic Journal of the IGPL | 2019-01-08 | 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 |
Boolean product representations of algebras via binary polynomials
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science | 2018-09-13 | Paper |
Stone-type representations and dualities for varieties of bisemilattices
Studia Logica | 2018-04-16 | Paper |
A note on many valued quantum computational logics
Soft Computing | 2018-02-27 | Paper |
Factor varieties
Soft Computing | 2018-02-27 | Paper |
On some properties of PBZ^*-lattices
International Journal of Theoretical Physics | 2018-02-05 | Paper |
Orthogonal relational systems
Soft Computing | 2017-09-08 | Paper |
Hulls of ordered algebras: projectability, strong projectability and lateral completeness
Journal of Algebra | 2017-05-22 | Paper |
A new view of effects in a Hilbert space
Studia Logica | 2017-03-02 | Paper |
Binary gates in three valued quantum computational logics
Probing the Meaning of Quantum Mechanics | 2017-01-16 | Paper |
On some properties of directoids
Soft Computing | 2016-11-22 | Paper |
Projectable -groups and algebras of logic: categorical and algebraic connections.
Journal of Pure and Applied Algebra | 2016-05-18 | Paper |
The failure of the amalgamation property for semilinear varieties of residuated lattices
Mathematica Slovaca | 2015-11-26 | 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 |
A categorical equivalence for bounded distributive quasi lattices satisfying: \(x\lor 0=0\implies x=0\).
Mathematica Slovaca | 2014-11-25 | 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 |
The Toffoli-Hadamard gate system: an algebraic approach
Journal of Philosophical Logic | 2013-08-09 | Paper |
Boolean-like algebras
Algebra Universalis | 2013-07-12 | 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 |
Entanglement as a semantic resource
Foundations of Physics | 2011-05-13 | Paper |
Some generalizations of fuzzy structures in quantum computational logic
International Journal of General Systems | 2011-03-30 | Paper |
Completion and amalgamation of bounded distributive quasi lattices
Logic Journal of the IGPL | 2011-03-07 | Paper |
Towards quantum computational logics
International Journal of Theoretical Physics | 2011-01-12 | 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 |
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 |
The algebraic structure of an approximately universal system of quantum computational gates
Foundations of Physics | 2009-10-21 | Paper |
Two cooperative versions of the guessing secrets problem
Information Sciences | 2009-10-01 | Paper |
Categories of semigroups in quantum computational structures
Mathematica Slovaca | 2009-08-11 | Paper |
| On some properties of quasi-MV algebras and \(\sqrt '\) quasi-MV algebras | 2009-06-23 | 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 |
MV-algebras and quantum computation
Studia Logica | 2006-08-16 | Paper |
