Alessandro Riggio
The higher dimensional propositional calculus
In corso di stampa Bucciarelli, A; Curien, P-L; Ledda, A; Paoli, F; Salibra, A
Bochvar algebras: a categorical equivalence and the generated variety.
In corso di stampa Bonzio, Stefano; Paoli, Francesco; Pra Baldi, Michele
Enriched Płonka sums
2026-01-01 Fusco, Ludovico; Paoli, Francesco
Edwin Mares, The Logic of Entailment and its History, Cambridge University Press, 2024, pp. 282; ISBN: 9781009375313 (Hardcover) 85£, ISBN: 9781009375290 (eBook) 110$
2025-01-01 Paoli, Francesco
Intuitionistic logic is a connexive logic
2024-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
Left Variable Inclusion Logics Associated with Classical Logic
2024-01-01 Paoli, Francesco; Pra Baldi, Michele
Sequent Calculi for First-order $$\textrm{ST}$$
2024-01-01 Paoli, Francesco; Přenosil, Adam
Editorial Introduction
2024-01-01 Paoli, Francesco; St. John, Gavin
Boolean-Like Algebras of Finite Dimension: From Boolean Products to Semiring Products
2024-01-01 Bucciarelli, Antonio; Ledda, Antonio; Paoli, Francesco; Salibra, Antonino
Metainferential Levels and Inferential Networks
2023-01-01 Dicher, Bogdan; Paoli, Francesco
Residuated Structures in Algebra and Logic
2023-01-01 Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine
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
Semiorthomodular BZ*-lattices
2023-01-01 Giuntini, Roberto; Muresan, Claudia; 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
Logics of variable inclusion
2022-01-01 Bonzio, Stefano; Paoli, Francesco; Pra Baldi, Michele
Extensions of Paraconsistent Weak Kleene Logic
2021-01-01 Paoli, Francesco; Pra Baldi, Michele
Logiche intermedie e logica comparativa nelle ricerche di Ettore Casari
2021-01-01 Minari, Pierluigi; Paoli, Francesco
Is multiset consequence trivial?
2021-01-01 Cintula, Petr; Paoli, Francesco
Pure Variable Inclusion Logics
2021-01-01 Paoli, Francesco; Pra Baldi, Michele; Szmuc, Damian
Residuated structures and orthomodular lattices
2021-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
On PBZ
2021-01-01 Giuntini, Roberto; Muresan, Claudia; Paoli, Francesco
The original sin of proof-theoretic semantics
2021-01-01 Paoli, Francesco; Dicher, BOGDAN AUGUSTIN
PBZ*-lattices: ordinal and horizontal sums
2021-01-01 Giuntini, Roberto; Muresan, Claudia; Paoli, Francesco
Editorial Introduction
2020-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
PBZ*-lattices: structure theory and subvarieties
2020-01-01 Giuntini, R.; Muresan, C.; Paoli, F.
Algebraic perspectives on substructural logics
2020-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
Proof theory of Paraconsistent Weak Kleene Logic
2020-01-01 Paoli, Francesco; PRA BALDI, Michele
Logical pluralism and translation
2019-01-01 Ervas, Francesca; Ledda, Antonio; Paoli, Francesco; Sergioli, Giuseppe
An abstract approach to consequence relations
2019-01-01 Cintula, Petr; GIL FEREZ, Jose'; Moraschini, Tommaso; Paoli, Francesco
Degree theory and the sorites paradox
2019-01-01 Paoli, Francesco
Educazione matematica e logica matematica
2019-01-01 Dicher, BOGDAN AUGUSTIN; Paoli, Francesco
ST, LP, and tolerant metainferences
2019-01-01 Paoli, Francesco; Dicher, BOGDAN AUGUSTIN
C.I. Lewis, E.J. Nelson, and the modern origins of connexive logic
2019-01-01 Mares, EDWIN DAVID; Paoli, Francesco
Bilattice logics and demi-negation
2019-01-01 Paoli, Francesco
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
Boolean product representations of algebras via binary polynomials
2018-01-01 Salibra, A.; Ledda, Antonio; Paoli, Francesco
New horizons for the Archimedean property: new horizons and perspectives
2018-01-01 Paoli, Francesco; Ledda, Antonio; Tsinakis, Constantine
Logica e strumenti formali in filosofia della logica
2017-01-01 Paoli, Francesco
Factor varieties
2017-01-01 Salibra, A; Ledda, Antonio; Paoli, Francesco
On Paraconsistent Weak Kleene Logic: Axiomatisation and algebraic analysis
2017-01-01 Bonzio, Stefano; GIL FEREZ, Jose'; Paoli, Francesco; Peruzzi, Luisa
On some properties of PBZ*-lattices
2017-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.
Projectable l-groups and algebras of logic: Categorical and algebraic connections
2016-01-01 GIL FEREZ, Jose'; Ledda, Antonio; Paoli, Francesco; Tsinakis, C.
On when a semantics is not a good semantics: The algebraisation of orthomodular logic
2016-01-01 Kowalski, TOMASZ STANISLAW; Paoli, Francesco; Giuntini, Roberto
A new view of effects in a Hilbert space
2016-01-01 Giuntini, Roberto; Ledda, Antonio; Paoli, Francesco
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.
Lattice-theoretic properties of algebras of logic
2014-01-01 Ledda, Antonio; Paoli, Francesco; Tsinakis, C.
| 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 | - |
| Bochvar algebras: a categorical equivalence and the generated variety. | In corso di stampa | Bonzio, Stefano; Paoli, Francesco; Pra Baldi, Michele | ZML: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | - |
| Enriched Płonka sums | 1-gen-2026 | Fusco, Ludovico; Paoli, Francesco | ALGEBRA UNIVERSALIS | - |
| Edwin Mares, The Logic of Entailment and its History, Cambridge University Press, 2024, pp. 282; ISBN: 9781009375313 (Hardcover) 85£, ISBN: 9781009375290 (eBook) 110$ | 1-gen-2025 | Paoli, Francesco | STUDIA LOGICA | - |
| Intuitionistic logic is a connexive logic | 1-gen-2024 | Fazio, Davide; Ledda, Antonio; Paoli, Francesco | STUDIA LOGICA | - |
| Left Variable Inclusion Logics Associated with Classical Logic | 1-gen-2024 | Paoli, Francesco; Pra Baldi, Michele | NOTRE DAME JOURNAL OF FORMAL LOGIC | - |
| Sequent Calculi for First-order $$\textrm{ST}$$ | 1-gen-2024 | Paoli, Francesco; Přenosil, Adam | JOURNAL OF PHILOSOPHICAL LOGIC | - |
| Editorial Introduction | 1-gen-2024 | Paoli, Francesco; St. John, Gavin | 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 |
| Metainferential Levels and Inferential Networks | 1-gen-2023 | Dicher, Bogdan; Paoli, Francesco | LOGIQUE ET ANALYSE | - |
| Residuated Structures in Algebra and Logic | 1-gen-2023 | Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine | - | American Mathematical Society |
| 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 | - |
| Semiorthomodular BZ*-lattices | 1-gen-2023 | Giuntini, Roberto; Muresan, Claudia; Paoli, Francesco | FUZZY SETS AND SYSTEMS | - |
| 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 | - |
| Logics of variable inclusion | 1-gen-2022 | Bonzio, Stefano; Paoli, Francesco; Pra Baldi, Michele | - | Springer |
| Extensions of Paraconsistent Weak Kleene Logic | 1-gen-2021 | Paoli, Francesco; Pra Baldi, Michele | LOGIC JOURNAL OF THE IGPL | - |
| Logiche intermedie e logica comparativa nelle ricerche di Ettore Casari | 1-gen-2021 | Minari, Pierluigi; Paoli, Francesco | RIVISTA DI FILOSOFIA | - |
| Is multiset consequence trivial? | 1-gen-2021 | Cintula, Petr; Paoli, Francesco | SYNTHESE | - |
| Pure Variable Inclusion Logics | 1-gen-2021 | Paoli, Francesco; Pra Baldi, Michele; Szmuc, Damian | LOGIC AND LOGICAL PHILOSOPHY | - |
| Residuated structures and orthomodular lattices | 1-gen-2021 | Fazio, Davide; Ledda, Antonio; Paoli, Francesco | STUDIA LOGICA | - |
| On PBZ | 1-gen-2021 | Giuntini, Roberto; Muresan, Claudia; Paoli, Francesco | - | Springer |
| The original sin of proof-theoretic semantics | 1-gen-2021 | Paoli, Francesco; Dicher, BOGDAN AUGUSTIN | SYNTHESE | - |
| PBZ*-lattices: ordinal and horizontal sums | 1-gen-2021 | Giuntini, Roberto; Muresan, Claudia; Paoli, Francesco | - | Springer |
| Editorial Introduction | 1-gen-2020 | Fazio, Davide; Ledda, Antonio; Paoli, Francesco | - | Springer |
| PBZ*-lattices: structure theory and subvarieties | 1-gen-2020 | Giuntini, R.; Muresan, C.; Paoli, F. | REPORTS ON MATHEMATICAL LOGIC | - |
| Algebraic perspectives on substructural logics | 1-gen-2020 | Fazio, Davide; Ledda, Antonio; Paoli, Francesco | - | Springer |
| Proof theory of Paraconsistent Weak Kleene Logic | 1-gen-2020 | Paoli, Francesco; PRA BALDI, Michele | STUDIA LOGICA | - |
| Logical pluralism and translation | 1-gen-2019 | Ervas, Francesca; Ledda, Antonio; Paoli, Francesco; Sergioli, Giuseppe | TOPOI | Springer |
| An abstract approach to consequence relations | 1-gen-2019 | Cintula, Petr; GIL FEREZ, Jose'; Moraschini, Tommaso; Paoli, Francesco | THE REVIEW OF SYMBOLIC LOGIC | - |
| Degree theory and the sorites paradox | 1-gen-2019 | Paoli, Francesco | - | Cambridge University Press |
| Educazione matematica e logica matematica | 1-gen-2019 | Dicher, BOGDAN AUGUSTIN; Paoli, Francesco | - | Edizioni Unione Matematica Italiana |
| ST, LP, and tolerant metainferences | 1-gen-2019 | Paoli, Francesco; Dicher, BOGDAN AUGUSTIN | - | Springer |
| C.I. Lewis, E.J. Nelson, and the modern origins of connexive logic | 1-gen-2019 | Mares, EDWIN DAVID; Paoli, Francesco | ORGANON F | - |
| Bilattice logics and demi-negation | 1-gen-2019 | Paoli, Francesco | - | 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 | - |
| Boolean product representations of algebras via binary polynomials | 1-gen-2018 | Salibra, A.; Ledda, Antonio; Paoli, Francesco | - | Springer |
| New horizons for the Archimedean property: new horizons and perspectives | 1-gen-2018 | Paoli, Francesco; Ledda, Antonio; Tsinakis, Constantine | ALGEBRA UNIVERSALIS | - |
| Logica e strumenti formali in filosofia della logica | 1-gen-2017 | Paoli, Francesco | RIVISTA DI FILOSOFIA | - |
| Factor varieties | 1-gen-2017 | Salibra, A; Ledda, Antonio; Paoli, Francesco | SOFT COMPUTING | - |
| On Paraconsistent Weak Kleene Logic: Axiomatisation and algebraic analysis | 1-gen-2017 | Bonzio, Stefano; GIL FEREZ, Jose'; Paoli, Francesco; Peruzzi, Luisa | STUDIA LOGICA | - |
| On some properties of PBZ*-lattices | 1-gen-2017 | Giuntini, Roberto; Ledda, Antonio; Paoli, Francesco | INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS | - |
| New Directions in Logic and the Philosophy of Science | 1-gen-2016 | Felline, L.; Ledda, Antonio; Paoli, Francesco; Rossanese, E. | - | College Publications |
| 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 | - |
| On when a semantics is not a good semantics: The algebraisation of orthomodular logic | 1-gen-2016 | Kowalski, TOMASZ STANISLAW; Paoli, Francesco; Giuntini, Roberto | - | World Scientific |
| A new view of effects in a Hilbert space | 1-gen-2016 | Giuntini, Roberto; Ledda, Antonio; Paoli, Francesco | STUDIA LOGICA | - |
| 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 |
| Lattice-theoretic properties of algebras of logic | 1-gen-2014 | Ledda, Antonio; Paoli, Francesco; Tsinakis, C. | JOURNAL OF PURE AND APPLIED ALGEBRA | - |
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
Università degli Studi di Cagliari