University of Cagliari
Antonio Ledda
Classical logic with n truth values as a symmetric many-valued logic
2023-01-01 Bucciarelli, Antonio; Ledda, Antonio; Paoli, Francesco; Salibra, Antonino
Intuitionistic logic as a connexive logic
2023-01-01 Fazio, D.; Ledda, A.; Paoli, F.
On Finch's conditions for the completion of orthomodular posets
2023-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
A substructural Gentzen calculus for orthomodular quantum logic
2023-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco; John, Gavin St.
An algebraic analysis of implication in non-distributive logics
2023-01-01 Chajda, I.; Emir, K.; Fazio, D; Langer, H.; Ledda, A.; Paseka, J.
Percorsi di logica
2022-01-01 Fazio, Davide; Ledda, Antonio; Pra Baldi, Michele
Algebraic properties of paraorthomodular posets
2022-01-01 Chajda, Ivan; Fazio, Davide; Länger, Helmut; Ledda, Antonio; Paseka, Jan
Residuated structures and orthomodular lattices
2021-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
The generalized orthomodularity property: configurations and pastings
2020-01-01 Chajda, Ivan; Fazio, Davide; Ledda, Antonio
Editorial Introduction
2020-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
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
Stone-Type Representations and Dualities for Varieties of Bisemilattices
2018-01-01 Ledda, Antonio
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
A note on many valued quantum computational logics
2017-01-01 Sergioli, Giuseppe; 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
On the structure theory of Łukasiewicz near semirings
2017-01-01 Chajda, Ivan; Fazio, Davide; Ledda, Antonio
Representing quantum structures as near semirings
2016-01-01 Bonzio, Stefano; Chajda, I.; Ledda, Antonio
Orthogonal relational systems
2016-01-01 Bonzio, S; Ledda, Antonio; Chajda, I.
A new view of effects in a Hilbert space
2016-01-01 Giuntini, Roberto; Ledda, Antonio; Paoli, Francesco
New Directions in Logic and the Philosophy of Science
2016-01-01 Felline, L.; Ledda, Antonio; Paoli, Francesco; Rossanese, E.
Does Expertise Favor the Detection of the Metaphoric Fallacy?
2016-01-01 Ervas, Francesca; Ledda, Antonio; Pierro, GIUSEPPE ANTONIO
Binary gates in three valued quantum computational logics
2016-01-01 Sergioli, Giuseppe; Ledda, Antonio; Giuntini, Roberto
I modelli nelle teorie scientifiche
2016-01-01 Giunti, Marco; Ledda, Antonio; Sergioli, Giuseppe
Projectable l-groups and algebras of logic: Categorical and algebraic connections
2016-01-01 GIL FEREZ, Jose'; 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
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.
The failure of amalgamation property for semilinear varieties of residuated lattices
2015-01-01 Gil Férez, J.; Ledda, Antonio; Tsinakis, C.
Logiche sottostrutturali
2014-01-01 Ledda, Antonio
Metaphors in Quaternio Terminorum Comprehension
2014-01-01 Ervas, Francesca; Ledda, Antonio
Compatible idempotent terms in universal algebra
2014-01-01 Chajda, I; Ledda, Antonio; Paoli, Francesco
A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0
2014-01-01 Freytes, HECTOR CARLOS; Ledda, Antonio
Lattice-theoretic properties of algebras of logic
2014-01-01 Ledda, Antonio; Paoli, Francesco; Tsinakis, C.
Quasi-subtractive varieties: open filters, congruences, and the commutator
2014-01-01 Kowalski, T; Ledda, Antonio; Paoli, Francesco
Quasi-discriminator varieties
2014-01-01 Paoli, Francesco; Ledda, Antonio; Kowalski, T.; Spinks, M.
Probabilistic logics in quantum computation
2013-01-01 Freytes, HECTOR CARLOS; Ledda, Antonio; Sergioli, Giuseppe; Giuntini, Roberto
On semi-Boolean-like algebras
2013-01-01 Ledda, Antonio; Paoli, Francesco; Salibra, A.
The Toffoli-Hadamard gate system: an algebraic approach
2013-01-01 Dalla Chiara M., L; Ledda, Antonio; Sergioli, Giuseppe; Giuntini, Roberto
Boolean-like algebras
2013-01-01 Salibra, A; Ledda, Antonio; Paoli, Francesco; Kowalski, T.
What is fuzzy logic – And why it matters to us
2013-01-01 Giuntini, R; Paoli, F; Freytes, H; Ledda, A; Sergioli, G
On some properties of quasi-MV algebras and square root quasi-MV algebras, IV
2013-01-01 Jipsen, P.; Ledda, Antonio; Paoli, Francesco
On independent varieties and some related notions
2013-01-01 Kowalski, T.; Paoli, Francesco; Ledda, Antonio
On certain quasivarieties of quasi-MV algebras
2011-01-01 Ledda, Antonio; Kowalski, T; Paoli, Francesco
Logics from root √' Quasi-MV Algebras
2011-01-01 Paoli, Francesco; Ledda, Antonio; Spinks, M; Freytes, HECTOR CARLOS; 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