PAOLI, FRANCESCO
PAOLI, FRANCESCO
DIPARTIMENTO DI PEDAGOGIA, PSICOLOGIA, FILOSOFIA
Edwin Mares, The Logic of Entailment and its History, Cambridge University Press, 2024, pp. 282; ISBN: 9781009375313 (Hardcover) 85£, ISBN: 9781009375290 (eBook) 110$
In corso di stampa Paoli, Francesco
The higher dimensional propositional calculus
In corso di stampa Bucciarelli, A; Curien, P-L; Ledda, A; Paoli, F; Salibra, A
Boolean-Like Algebras of Finite Dimension: From Boolean Products to Semiring Products
2024-01-01 Bucciarelli, Antonio; Ledda, Antonio; Paoli, Francesco; Salibra, Antonino
Editorial Introduction
2024-01-01 Paoli, Francesco; St. John, Gavin
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
A substructural Gentzen calculus for orthomodular quantum logic
2023-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco; John, Gavin St.
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
Residuated Structures in Algebra and Logic
2023-01-01 Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine
Semiorthomodular BZ*-lattices
2023-01-01 Giuntini, Roberto; Muresan, Claudia; Paoli, Francesco
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
Is multiset consequence trivial?
2021-01-01 Cintula, Petr; Paoli, Francesco
Logiche intermedie e logica comparativa nelle ricerche di Ettore Casari
2021-01-01 Minari, Pierluigi; Paoli, Francesco
On PBZ
2021-01-01 Giuntini, Roberto; Muresan, Claudia; Paoli, Francesco
PBZ*-lattices: ordinal and horizontal sums
2021-01-01 Giuntini, Roberto; Muresan, Claudia; 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
| Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
|---|---|---|---|---|
| Edwin Mares, The Logic of Entailment and its History, Cambridge University Press, 2024, pp. 282; ISBN: 9781009375313 (Hardcover) 85£, ISBN: 9781009375290 (eBook) 110$ | In corso di stampa | Paoli, Francesco | STUDIA LOGICA | - |
| 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 | - |
| Boolean-Like Algebras of Finite Dimension: From Boolean Products to Semiring Products | 1-gen-2024 | Bucciarelli, Antonio; Ledda, Antonio; Paoli, Francesco; Salibra, Antonino | - | Springer |
| Editorial Introduction | 1-gen-2024 | Paoli, Francesco; St. John, Gavin | 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 | - |
| 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 | - |
| 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 | - |
| Residuated Structures in Algebra and Logic | 1-gen-2023 | Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine | - | American Mathematical Society |
| Semiorthomodular BZ*-lattices | 1-gen-2023 | Giuntini, Roberto; Muresan, Claudia; Paoli, Francesco | FUZZY SETS AND SYSTEMS | - |
| 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 | - |
| Is multiset consequence trivial? | 1-gen-2021 | Cintula, Petr; Paoli, Francesco | SYNTHESE | - |
| Logiche intermedie e logica comparativa nelle ricerche di Ettore Casari | 1-gen-2021 | Minari, Pierluigi; Paoli, Francesco | RIVISTA DI FILOSOFIA | - |
| On PBZ | 1-gen-2021 | Giuntini, Roberto; Muresan, Claudia; Paoli, Francesco | - | Springer |
| PBZ*-lattices: ordinal and horizontal sums | 1-gen-2021 | Giuntini, Roberto; Muresan, Claudia; Paoli, Francesco | - | Springer |
| 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 | - |