University of Cagliari
Antonio Ledda
The higher dimensional propositional calculus
In press Bucciarelli, A; Curien, P-L; Ledda, A; Paoli, F; Salibra, A
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation
2025-01-01 Giuntini, Roberto; Ledda, Antonio; Vergottini, Gandolfo
Tense logics based on posets
2025-01-01 Chajda, Ivan; Langer, Helmut; Ledda, Antonio; Paseka, Jan; Vergottini, Gandolfo
Intuitionistic logic is a connexive logic
2024-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
Boolean-Like Algebras of Finite Dimension: From Boolean Products to Semiring Products
2024-01-01 Bucciarelli, Antonio; Ledda, Antonio; Paoli, Francesco; Salibra, Antonino
Implication in sharply paraorthomodular and relatively paraorthomodular posets
2024-01-01 Chajda, Ivan; Fazio, Davide; Langer, Helmut; Ledda, Antonio; Paseka, Jan
A survey on unsharp orthomodular lattices: A unifying framework
2024-01-01 Ledda, Antonio; Vergottini, Gandolfo
An algebraic analysis of implication in non-distributive logics
2023-01-01 Chajda, I.; Emir, K.; Fazio, D; Langer, H.; Ledda, A.; Paseka, J.
A substructural Gentzen calculus for orthomodular quantum logic
2023-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco; John, Gavin St.
On Finch's conditions for the completion of orthomodular posets
2023-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
Classical logic with n truth values as a symmetric many-valued logic
2023-01-01 Bucciarelli, Antonio; Ledda, Antonio; Paoli, Francesco; Salibra, Antonino
Percorsi di logica
2022-01-01 Fazio, Davide; Ledda, Antonio; Pra Baldi, Michele
Residuated structures and orthomodular lattices
2021-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
Algebraic properties of paraorthomodular posets
2021-01-01 Chajda, Ivan; Fazio, Davide; Länger, Helmut; Ledda, Antonio; Paseka, Jan
Editorial Introduction
2020-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
The generalized orthomodularity property: configurations and pastings
2020-01-01 Chajda, Ivan; Fazio, Davide; Ledda, Antonio
Logical pluralism and translation
2019-01-01 Ervas, Francesca; Ledda, Antonio; Paoli, Francesco; Sergioli, Giuseppe
Introduction: Logical Pluralism and Translation
2019-01-01 Ervas, F.; Ledda, A.; Paoli, F.; Sergioli, G.
Algebraic Analysis of Demodalised Analytic Implication
2019-01-01 Ledda, Antonio; Paoli, Francesco; PRA BALDI, Michele
A semiring-like representation of lattice pseudoeffect algebras
2019-01-01 Chajda, I.; Fazio, D.; Ledda, A.
Boolean product representations of algebras via binary polynomials
2018-01-01 Salibra, A.; Ledda, Antonio; Paoli, Francesco
Creative argumentation: when and why people commit the metaphoric fallacy
2018-01-01 Ervas, Francesca; Ledda, Antonio; Ojha, Amitash; Pierro, Giuseppe A.; Indurkhya, Bipin
New horizons for the Archimedean property: new horizons and perspectives
2018-01-01 Paoli, Francesco; Ledda, Antonio; Tsinakis, Constantine
Stone-Type Representations and Dualities for Varieties of Bisemilattices
2018-01-01 Ledda, Antonio
A note on many valued quantum computational logics
2017-01-01 Sergioli, Giuseppe; Ledda, Antonio
On the structure theory of Łukasiewicz near semirings
2017-01-01 Chajda, Ivan; Fazio, Davide; Ledda, Antonio
Hulls of ordered algebras: Projectability, strong projectability and lateral completeness
2017-01-01 Gil Ferez, J.; Ledda, Antonio; Tsinakis, C.
Factor varieties
2017-01-01 Salibra, A; Ledda, Antonio; Paoli, Francesco
New Directions in Logic and the Philosophy of Science
2016-01-01 Felline, L.; Ledda, Antonio; Paoli, Francesco; Rossanese, E.
Orthogonal relational systems
2016-01-01 Bonzio, S; Ledda, Antonio; Chajda, I.
Projectable l-groups and algebras of logic: Categorical and algebraic connections
2016-01-01 GIL FEREZ, Jose'; Ledda, Antonio; Paoli, Francesco; Tsinakis, C.
Does Expertise Favor the Detection of the Metaphoric Fallacy?
2016-01-01 Ervas, Francesca; Ledda, Antonio; Pierro, GIUSEPPE ANTONIO
I modelli nelle teorie scientifiche
2016-01-01 Giunti, Marco; Ledda, Antonio; Sergioli, Giuseppe
Binary gates in three valued quantum computational logics
2016-01-01 Sergioli, Giuseppe; Ledda, Antonio; Giuntini, Roberto
A new view of effects in a Hilbert space
2016-01-01 Giuntini, Roberto; Ledda, Antonio; Paoli, Francesco
Representing quantum structures as near semirings
2016-01-01 Bonzio, Stefano; Chajda, I.; Ledda, Antonio
On some properties of directoids
2015-01-01 Chajda, I; Gil Férez, J; Giuntini, Roberto; Kolarik, M; Ledda, Antonio; Paoli, Francesco
Semi-linear varieties of lattice-ordered algebras
2015-01-01 Ledda, Antonio; Paoli, Francesco; Tsinakis, C.
Lexical ambiguity in elementary inferences: an experimental study
2015-01-01 Ervas, Francesca; Gola, Elisabetta; Ledda, Antonio; Sergioli, Giuseppe
The failure of amalgamation property for semilinear varieties of residuated lattices
2015-01-01 Gil Férez, J.; Ledda, Antonio; Tsinakis, C.
Lattice-theoretic properties of algebras of logic
2014-01-01 Ledda, Antonio; Paoli, Francesco; Tsinakis, C.
Quasi-discriminator varieties
2014-01-01 Paoli, Francesco; Ledda, Antonio; Kowalski, T.; Spinks, M.
A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0
2014-01-01 Freytes, HECTOR CARLOS; Ledda, Antonio
Metaphors in Quaternio Terminorum Comprehension
2014-01-01 Ervas, Francesca; Ledda, Antonio
Quasi-subtractive varieties: open filters, congruences, and the commutator
2014-01-01 Kowalski, T; Ledda, Antonio; Paoli, Francesco
Compatible idempotent terms in universal algebra
2014-01-01 Chajda, I; Ledda, Antonio; Paoli, Francesco
Logiche sottostrutturali
2014-01-01 Ledda, Antonio
What is fuzzy logic – And why it matters to us
2013-01-01 Giuntini, R; Paoli, F; Freytes, H; Ledda, A; Sergioli, G
Probabilistic logics in quantum computation
2013-01-01 Freytes, HECTOR CARLOS; Ledda, Antonio; Sergioli, Giuseppe; Giuntini, Roberto
The Toffoli-Hadamard gate system: an algebraic approach
2013-01-01 Dalla Chiara M., L; Ledda, Antonio; Sergioli, Giuseppe; Giuntini, Roberto
Icon legend
- files available
- files available on intranet
- files available for authorized users
- files available for administrators
- files under embargo
- no files available