LEDDA, ANTONIO
LEDDA, ANTONIO
DIPARTIMENTO DI PEDAGOGIA, PSICOLOGIA, FILOSOFIA
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
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
Intuitionistic logic is a connexive logic
2024-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.
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
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
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
A semiring-like representation of lattice pseudoeffect algebras
2019-01-01 Chajda, I.; Fazio, D.; Ledda, A.
Algebraic Analysis of Demodalised Analytic Implication
2019-01-01 Ledda, Antonio; Paoli, Francesco; PRA BALDI, Michele
Introduction: Logical Pluralism and Translation
2019-01-01 Ervas, F.; Ledda, A.; Paoli, F.; Sergioli, G.
Logical pluralism and translation
2019-01-01 Ervas, Francesca; Ledda, Antonio; Paoli, Francesco; Sergioli, Giuseppe
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| Generalizing orthomodularity to unsharp contexts: properties, blocks, residuation | In corso di stampa | Giuntini, Roberto; Ledda, Antonio; Vergottini, Gandolfo | LOGIC JOURNAL OF THE IGPL | - |
| 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 | - |
| Tense logics based on posets | 1-gen-2025 | Chajda, Ivan; Langer, Helmut; Ledda, Antonio; Paseka, Jan; Vergottini, Gandolfo | JOURNAL OF LOGIC AND COMPUTATION | - |
| A survey on unsharp orthomodular lattices: A unifying framework | 1-gen-2024 | Ledda, Antonio; Vergottini, Gandolfo | JOURNAL OF ALGEBRAIC HYPERSTRUCTURES AND LOGICAL ALGEBRAS | - |
| 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 |
| Intuitionistic logic is a connexive logic | 1-gen-2024 | Fazio, Davide; Ledda, Antonio; Paoli, Francesco | STUDIA LOGICA | - |
| 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 | - |
| 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 | - |
| 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 | - |
| On Finch's conditions for the completion of orthomodular posets | 1-gen-2023 | Fazio, Davide; Ledda, Antonio; Paoli, Francesco | FOUNDATIONS OF SCIENCE | - |
| Percorsi di logica | 1-gen-2022 | Fazio, Davide; Ledda, Antonio; Pra Baldi, Michele | - | Mimesis |
| Algebraic properties of paraorthomodular posets | 1-gen-2021 | Chajda, Ivan; Fazio, Davide; Länger, Helmut; Ledda, Antonio; Paseka, Jan | LOGIC JOURNAL OF THE IGPL | - |
| Residuated structures and orthomodular lattices | 1-gen-2021 | Fazio, Davide; Ledda, Antonio; Paoli, Francesco | STUDIA LOGICA | - |
| 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 | - |
| A semiring-like representation of lattice pseudoeffect algebras | 1-gen-2019 | Chajda, I.; Fazio, D.; Ledda, A. | SOFT COMPUTING | - |
| Algebraic Analysis of Demodalised Analytic Implication | 1-gen-2019 | Ledda, Antonio; Paoli, Francesco; PRA BALDI, Michele | JOURNAL OF PHILOSOPHICAL LOGIC | - |
| Introduction: Logical Pluralism and Translation | 1-gen-2019 | Ervas, F.; Ledda, A.; Paoli, F.; Sergioli, G. | TOPOI | - |
| Logical pluralism and translation | 1-gen-2019 | Ervas, Francesca; Ledda, Antonio; Paoli, Francesco; Sergioli, Giuseppe | TOPOI | Springer |