Università degli Studi di Cagliari
Sandro Demuro
The higher dimensional propositional calculus
In corso di stampa 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
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| The higher dimensional propositional calculus | In corso di stampa | Bucciarelli, A; Curien, P-L; Ledda, A; Paoli, F; Salibra, A | LOGIC JOURNAL OF THE IGPL | - |
| Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation | 1-gen-2025 | Giuntini, Roberto; Ledda, Antonio; Vergottini, Gandolfo | LOGIC JOURNAL OF THE IGPL | - |
| Tense logics based on posets | 1-gen-2025 | Chajda, Ivan; Langer, Helmut; Ledda, Antonio; Paseka, Jan; Vergottini, Gandolfo | JOURNAL OF LOGIC AND COMPUTATION | - |
| Intuitionistic logic is a connexive logic | 1-gen-2024 | Fazio, Davide; Ledda, Antonio; Paoli, Francesco | STUDIA LOGICA | - |
| Boolean-Like Algebras of Finite Dimension: From Boolean Products to Semiring Products | 1-gen-2024 | Bucciarelli, Antonio; Ledda, Antonio; Paoli, Francesco; Salibra, Antonino | - | Springer |
| Implication in sharply paraorthomodular and relatively paraorthomodular posets | 1-gen-2024 | Chajda, Ivan; Fazio, Davide; Langer, Helmut; Ledda, Antonio; Paseka, Jan | - | Springer |
| A survey on unsharp orthomodular lattices: A unifying framework | 1-gen-2024 | Ledda, Antonio; Vergottini, Gandolfo | JOURNAL OF ALGEBRAIC HYPERSTRUCTURES AND LOGICAL ALGEBRAS | - |
| An algebraic analysis of implication in non-distributive logics | 1-gen-2023 | Chajda, I.; Emir, K.; Fazio, D; Langer, H.; Ledda, A.; Paseka, J. | JOURNAL OF LOGIC AND COMPUTATION | - |
| A substructural Gentzen calculus for orthomodular quantum logic | 1-gen-2023 | Fazio, Davide; Ledda, Antonio; Paoli, Francesco; John, Gavin St. | THE REVIEW OF SYMBOLIC LOGIC | - |
| On Finch's conditions for the completion of orthomodular posets | 1-gen-2023 | Fazio, Davide; Ledda, Antonio; Paoli, Francesco | FOUNDATIONS OF SCIENCE | - |
| Classical logic with n truth values as a symmetric many-valued logic | 1-gen-2023 | Bucciarelli, Antonio; Ledda, Antonio; Paoli, Francesco; Salibra, Antonino | FOUNDATIONS OF SCIENCE | - |
| Percorsi di logica | 1-gen-2022 | Fazio, Davide; Ledda, Antonio; Pra Baldi, Michele | - | Mimesis |
| Residuated structures and orthomodular lattices | 1-gen-2021 | Fazio, Davide; Ledda, Antonio; Paoli, Francesco | STUDIA LOGICA | - |
| Algebraic properties of paraorthomodular posets | 1-gen-2021 | Chajda, Ivan; Fazio, Davide; Länger, Helmut; Ledda, Antonio; Paseka, Jan | LOGIC JOURNAL OF THE IGPL | - |
| Editorial Introduction | 1-gen-2020 | Fazio, Davide; Ledda, Antonio; Paoli, Francesco | - | Springer |
| The generalized orthomodularity property: configurations and pastings | 1-gen-2020 | Chajda, Ivan; Fazio, Davide; Ledda, Antonio | JOURNAL OF LOGIC AND COMPUTATION | - |
| Logical pluralism and translation | 1-gen-2019 | Ervas, Francesca; Ledda, Antonio; Paoli, Francesco; Sergioli, Giuseppe | TOPOI | Springer |
| Introduction: Logical Pluralism and Translation | 1-gen-2019 | Ervas, F.; Ledda, A.; Paoli, F.; Sergioli, G. | TOPOI | - |
| Algebraic Analysis of Demodalised Analytic Implication | 1-gen-2019 | Ledda, Antonio; Paoli, Francesco; PRA BALDI, Michele | JOURNAL OF PHILOSOPHICAL LOGIC | - |
| A semiring-like representation of lattice pseudoeffect algebras | 1-gen-2019 | Chajda, I.; Fazio, D.; Ledda, A. | SOFT COMPUTING | - |
| Boolean product representations of algebras via binary polynomials | 1-gen-2018 | Salibra, A.; Ledda, Antonio; Paoli, Francesco | - | Springer |
| Creative argumentation: when and why people commit the metaphoric fallacy | 1-gen-2018 | Ervas, Francesca; Ledda, Antonio; Ojha, Amitash; Pierro, Giuseppe A.; Indurkhya, Bipin | FRONTIERS IN PSYCHOLOGY | - |
| New horizons for the Archimedean property: new horizons and perspectives | 1-gen-2018 | Paoli, Francesco; Ledda, Antonio; Tsinakis, Constantine | ALGEBRA UNIVERSALIS | - |
| Stone-Type Representations and Dualities for Varieties of Bisemilattices | 1-gen-2018 | Ledda, Antonio | STUDIA LOGICA | - |
| A note on many valued quantum computational logics | 1-gen-2017 | Sergioli, Giuseppe; Ledda, Antonio | SOFT COMPUTING | - |
| On the structure theory of Łukasiewicz near semirings | 1-gen-2017 | Chajda, Ivan; Fazio, Davide; Ledda, Antonio | LOGIC JOURNAL OF THE IGPL | - |
| Hulls of ordered algebras: Projectability, strong projectability and lateral completeness | 1-gen-2017 | Gil Ferez, J.; Ledda, Antonio; Tsinakis, C. | JOURNAL OF ALGEBRA | - |
| Factor varieties | 1-gen-2017 | Salibra, A; Ledda, Antonio; Paoli, Francesco | SOFT COMPUTING | - |
| New Directions in Logic and the Philosophy of Science | 1-gen-2016 | Felline, L.; Ledda, Antonio; Paoli, Francesco; Rossanese, E. | - | College Publications |
| Orthogonal relational systems | 1-gen-2016 | Bonzio, S; Ledda, Antonio; Chajda, I. | SOFT COMPUTING | - |
| Projectable l-groups and algebras of logic: Categorical and algebraic connections | 1-gen-2016 | GIL FEREZ, Jose'; Ledda, Antonio; Paoli, Francesco; Tsinakis, C. | JOURNAL OF PURE AND APPLIED ALGEBRA | - |
| Does Expertise Favor the Detection of the Metaphoric Fallacy? | 1-gen-2016 | Ervas, Francesca; Ledda, Antonio; Pierro, GIUSEPPE ANTONIO | - | College Publications |
| I modelli nelle teorie scientifiche | 1-gen-2016 | Giunti, Marco; Ledda, Antonio; Sergioli, Giuseppe | - | Carocci |
| Binary gates in three valued quantum computational logics | 1-gen-2016 | Sergioli, Giuseppe; Ledda, Antonio; Giuntini, Roberto | - | World Scientific |
| A new view of effects in a Hilbert space | 1-gen-2016 | Giuntini, Roberto; Ledda, Antonio; Paoli, Francesco | STUDIA LOGICA | - |
| Representing quantum structures as near semirings | 1-gen-2016 | Bonzio, Stefano; Chajda, I.; Ledda, Antonio | LOGIC JOURNAL OF THE IGPL | - |
| On some properties of directoids | 1-gen-2015 | Chajda, I; Gil Férez, J; Giuntini, Roberto; Kolarik, M; Ledda, Antonio; Paoli, Francesco | SOFT COMPUTING | - |
| Semi-linear varieties of lattice-ordered algebras | 1-gen-2015 | Ledda, Antonio; Paoli, Francesco; Tsinakis, C. | - | Springer |
| Lexical ambiguity in elementary inferences: an experimental study | 1-gen-2015 | Ervas, Francesca; Gola, Elisabetta; Ledda, Antonio; Sergioli, Giuseppe | DISCIPLINE FILOSOFICHE | - |
| The failure of amalgamation property for semilinear varieties of residuated lattices | 1-gen-2015 | Gil Férez, J.; Ledda, Antonio; Tsinakis, C. | MATHEMATICA SLOVACA | - |
| Lattice-theoretic properties of algebras of logic | 1-gen-2014 | Ledda, Antonio; Paoli, Francesco; Tsinakis, C. | JOURNAL OF PURE AND APPLIED ALGEBRA | - |
| Quasi-discriminator varieties | 1-gen-2014 | Paoli, Francesco; Ledda, Antonio; Kowalski, T.; Spinks, M. | INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION | - |
| A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0 | 1-gen-2014 | Freytes, HECTOR CARLOS; Ledda, Antonio | MATHEMATICA SLOVACA | - |
| Metaphors in Quaternio Terminorum Comprehension | 1-gen-2014 | Ervas, Francesca; Ledda, Antonio | ISONOMIA | - |
| Quasi-subtractive varieties: open filters, congruences, and the commutator | 1-gen-2014 | Kowalski, T; Ledda, Antonio; Paoli, Francesco | LOGIC JOURNAL OF THE IGPL | - |
| Compatible idempotent terms in universal algebra | 1-gen-2014 | Chajda, I; Ledda, Antonio; Paoli, Francesco | ACTA UNIVERSITATIS PALACKIANAE OLOMUCENSIS. FACULTAS RERUM NATURALIUM. MATHEMATICA | - |
| Logiche sottostrutturali | 1-gen-2014 | Ledda, Antonio | APHEX | - |
| What is fuzzy logic – And why it matters to us | 1-gen-2013 | Giuntini, R; Paoli, F; Freytes, H; Ledda, A; Sergioli, G | - | Springer |
| Probabilistic logics in quantum computation | 1-gen-2013 | Freytes, HECTOR CARLOS; Ledda, Antonio; Sergioli, Giuseppe; Giuntini, Roberto | - | Springer |
| The Toffoli-Hadamard gate system: an algebraic approach | 1-gen-2013 | Dalla Chiara M., L; Ledda, Antonio; Sergioli, Giuseppe; Giuntini, Roberto | JOURNAL OF PHILOSOPHICAL LOGIC | - |
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