Sfoglia per Autore
Intuitionistic logic is a connexive logic
In corso di stampa Fazio, Davide; Ledda, Antonio; Paoli, Francesco
Residuated Structures in Algebra and Logic
2023-01-01 Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine
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
A substructural Gentzen calculus for orthomodular quantum logic
2023-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco; John, Gavin St.
Logics of variable inclusion
2022-01-01 Bonzio, Stefano; Paoli, Francesco; Pra Baldi, Michele
On PBZ
2021-01-01 Giuntini, Roberto; Muresan, Claudia; Paoli, Francesco
Pure Variable Inclusion Logics
2021-01-01 Paoli, Francesco; Pra Baldi, Michele; Szmuc, Damian
Extensions of Paraconsistent Weak Kleene Logic
2021-01-01 Paoli, Francesco; PRA BALDI, Michele
PBZ*-lattices: ordinal and horizontal sums
2021-01-01 Giuntini, Roberto; Muresan, Claudia; Paoli, Francesco
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
The original sin of proof-theoretic semantics
2021-01-01 Paoli, Francesco; Dicher, BOGDAN AUGUSTIN
Residuated structures and orthomodular lattices
2021-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
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
PBZ*-lattices: structure theory and subvarieties
2020-01-01 Giuntini, R.; Muresan, C.; Paoli, F.
Editorial Introduction
2020-01-01 Fazio, Davide; Ledda, Antonio; Paoli, Francesco
Educazione matematica e logica matematica
2019-01-01 Dicher, BOGDAN AUGUSTIN; Paoli, Francesco
Titolo | Data di pubblicazione | Autore(i) | Rivista | Editore |
---|---|---|---|---|
Intuitionistic logic is a connexive logic | In corso di stampa | Fazio, Davide; Ledda, Antonio; Paoli, Francesco | STUDIA LOGICA | - |
Residuated Structures in Algebra and Logic | 1-gen-2023 | Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine | - | American Mathematical Society |
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 | - |
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 | - |
Logics of variable inclusion | 1-gen-2022 | Bonzio, Stefano; Paoli, Francesco; Pra Baldi, Michele | - | Springer |
On PBZ | 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 | - |
Extensions of Paraconsistent Weak Kleene Logic | 1-gen-2021 | Paoli, Francesco; PRA BALDI, Michele | LOGIC JOURNAL OF THE IGPL | - |
PBZ*-lattices: ordinal and horizontal sums | 1-gen-2021 | Giuntini, Roberto; Muresan, Claudia; Paoli, Francesco | - | Springer |
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 | - |
The original sin of proof-theoretic semantics | 1-gen-2021 | Paoli, Francesco; Dicher, BOGDAN AUGUSTIN | SYNTHESE | - |
Residuated structures and orthomodular lattices | 1-gen-2021 | Fazio, Davide; Ledda, Antonio; Paoli, Francesco | STUDIA LOGICA | - |
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 | - |
PBZ*-lattices: structure theory and subvarieties | 1-gen-2020 | Giuntini, R.; Muresan, C.; Paoli, F. | REPORTS ON MATHEMATICAL LOGIC | - |
Editorial Introduction | 1-gen-2020 | Fazio, Davide; Ledda, Antonio; Paoli, Francesco | - | Springer |
Educazione matematica e logica matematica | 1-gen-2019 | Dicher, BOGDAN AUGUSTIN; Paoli, Francesco | - | Edizioni Unione Matematica Italiana |
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