Antonio Ledda

Available identifiers

zbMath Open ledda.antonioMaRDI QIDQ284970

List of research outcomes

Publication	Date of Publication	Type
Intuitionistic logic is a connexive logic	2024-04-10	Paper
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC	2024-01-11	Paper
An algebraic analysis of implication in non-distributive logics	2023-02-20	Paper
Implication in sharply paraorthomodular and relatively paraorthomodular posets	2023-01-23	Paper
Algebraic Properties of Paraorthomodular Posets	2022-11-09	Paper
The generalized orthomodularity property: configurations and pastings	2022-02-08	Paper
Residuated structures and orthomodular lattices	2021-12-27	Paper
Algebraic properties of paraorthomodular posets	2020-11-25	Paper
Algebraic analysis of demodalised analytic implication	2020-02-14	Paper
A semiring-like representation of lattice pseudoeffect algebras	2019-07-02	Paper
On the structure theory of Łukasiewicz near semirings	2019-06-24	Paper
Quasi-subtractive varieties: Open filters, congruences and the commutator	2019-01-08	Paper
Representing quantum structures as near semirings	2019-01-08	Paper
The Archimedean property: new horizons and perspectives	2018-12-05	Paper
Boolean product representations of algebras via binary polynomials	2018-09-13	Paper
Stone-type representations and dualities for varieties of bisemilattices	2018-04-16	Paper
A note on many valued quantum computational logics	2018-02-27	Paper
Factor varieties	2018-02-27	Paper
On some properties of PBZ\(^*\)-lattices	2018-02-05	Paper
Orthogonal relational systems	2017-09-08	Paper
Hulls of ordered algebras: projectability, strong projectability and lateral completeness	2017-05-22	Paper
A new view of effects in a Hilbert space	2017-03-02	Paper
BINARY GATES IN THREE VALUED QUANTUM COMPUTATIONAL LOGICS	2017-01-16	Paper
On some properties of directoids	2016-11-22	Paper
Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections.	2016-05-18	Paper
The Failure of The Amalgamation Property for Semilinear Varieties of Residuated Lattices	2015-11-26	Paper
Semi-linear Varieties of Lattice-Ordered Algebras	2015-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q5179145	2015-03-19	Paper
A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0	2014-11-25	Paper
Quasi-discriminator varieties	2014-07-18	Paper
Lattice-theoretic properties of algebras of logic	2014-04-30	Paper
On some Properties of quasi-MV √ Algebras and quasi-MV Algebras. Part IV	2014-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q5410346	2014-04-16	Paper
On independent varieties and some related notions	2013-11-18	Paper
The Toffoli-Hadamard gate system: an algebraic approach	2013-08-09	Paper
Boolean-like algebras	2013-07-12	Paper
Logics from \(\sqrt{\prime}\) quasi-MV algebras	2012-06-20	Paper
On certain quasivarieties of quasi-MV algebras	2012-03-09	Paper
Entanglement as a semantic resource	2011-05-13	Paper
Some generalizations of fuzzy structures in quantum computational logic	2011-03-30	Paper
Completion and amalgamation of bounded distributive quasi lattices	2011-03-07	Paper
Towards quantum computational logics	2011-01-12	Paper
The lattice of subvarieties of \({\sqrt{^\prime}}\) quasi-MV algebras	2010-12-01	Paper
Categorical Equivalences for Formula quasi-MV Algebras	2010-08-26	Paper
The Logic of Quasi-MV Algebras	2010-04-21	Paper
A discriminator variety of Gödel algebras with operators arising in quantum computation	2009-11-17	Paper
The algebraic structure of an approximately universal system of quantum computational gates	2009-10-21	Paper
Two cooperative versions of the guessing secrets problem	2009-10-01	Paper
Categories of semigroups in quantum computational structures	2009-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q3632247	2009-06-23	Paper
On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II.	2008-01-16	Paper
Expanding quasi-MV algebras by a quantum operator	2007-12-03	Paper
MV-algebras and quantum computation	2006-08-16	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: Antonio Ledda