Università degli Studi di Cagliari
Antonio Ledda
Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation
In corso di stampa Giuntini, Roberto; Ledda, Antonio; Vergottini, Gandolfo
The higher dimensional propositional calculus
In corso di stampa Bucciarelli, A; Curien, P-L; Ledda, A; Paoli, F; Salibra, A
Tense logics based on posets
2025-01-01 Chajda, Ivan; Langer, Helmut; Ledda, Antonio; Paseka, Jan; Vergottini, Gandolfo
A survey on unsharp orthomodular lattices: A unifying framework
2024-01-01 Ledda, Antonio; Vergottini, Gandolfo
Intuitionistic logic is a connexive logic
2024-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
Implication in sharply paraorthomodular and relatively paraorthomodular posets
2024-01-01 Chajda, Ivan; Fazio, Davide; Langer, Helmut; Ledda, Antonio; Paseka, Jan
Boolean-Like Algebras of Finite Dimension: From Boolean Products to Semiring Products
2024-01-01 Bucciarelli, Antonio; Ledda, Antonio; Paoli, Francesco; Salibra, Antonino
Classical logic with n truth values as a symmetric many-valued logic
2023-01-01 Bucciarelli, Antonio; Ledda, Antonio; Paoli, Francesco; Salibra, Antonino
On Finch's conditions for the completion of orthomodular posets
2023-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
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.
Percorsi di logica
2022-01-01 Fazio, Davide; Ledda, Antonio; Pra Baldi, Michele
Algebraic properties of paraorthomodular posets
2021-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
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.
Introduction: Logical Pluralism and Translation
2019-01-01 Ervas, F.; Ledda, A.; Paoli, F.; Sergioli, G.
New horizons for the Archimedean property: new horizons and perspectives
2018-01-01 Paoli, Francesco; Ledda, Antonio; Tsinakis, Constantine
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
Stone-Type Representations and Dualities for Varieties of Bisemilattices
2018-01-01 Ledda, Antonio
Factor varieties
2017-01-01 Salibra, A; Ledda, Antonio; Paoli, Francesco
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.
I modelli nelle teorie scientifiche
2016-01-01 Giunti, Marco; Ledda, Antonio; Sergioli, Giuseppe
Does Expertise Favor the Detection of the Metaphoric Fallacy?
2016-01-01 Ervas, Francesca; Ledda, Antonio; Pierro, GIUSEPPE ANTONIO
A new view of effects in a Hilbert space
2016-01-01 Giuntini, Roberto; Ledda, Antonio; Paoli, Francesco
Projectable l-groups and algebras of logic: Categorical and algebraic connections
2016-01-01 GIL FEREZ, Jose'; Ledda, Antonio; Paoli, Francesco; Tsinakis, C.
Binary gates in three valued quantum computational logics
2016-01-01 Sergioli, Giuseppe; Ledda, Antonio; Giuntini, Roberto
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.
Representing quantum structures as near semirings
2016-01-01 Bonzio, Stefano; Chajda, I.; Ledda, Antonio
Lexical ambiguity in elementary inferences: an experimental study
2015-01-01 Ervas, Francesca; Gola, Elisabetta; Ledda, Antonio; Sergioli, Giuseppe
Semi-linear varieties of lattice-ordered algebras
2015-01-01 Ledda, Antonio; Paoli, Francesco; Tsinakis, C.
On some properties of directoids
2015-01-01 Chajda, I; Gil Férez, J; Giuntini, Roberto; Kolarik, M; Ledda, Antonio; Paoli, Francesco
The failure of amalgamation property for semilinear varieties of residuated lattices
2015-01-01 Gil Férez, J.; Ledda, Antonio; Tsinakis, C.
Compatible idempotent terms in universal algebra
2014-01-01 Chajda, I; Ledda, Antonio; Paoli, Francesco
Quasi-discriminator varieties
2014-01-01 Paoli, Francesco; Ledda, Antonio; Kowalski, T.; Spinks, M.
Metaphors in Quaternio Terminorum Comprehension
2014-01-01 Ervas, Francesca; Ledda, Antonio
Logiche sottostrutturali
2014-01-01 Ledda, Antonio
Quasi-subtractive varieties: open filters, congruences, and the commutator
2014-01-01 Kowalski, T; 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.
On some properties of quasi-MV algebras and square root quasi-MV algebras, IV
2013-01-01 Jipsen, P.; Ledda, Antonio; Paoli, Francesco
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.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile