PAOLI, FRANCESCO

PAOLI, FRANCESCO  

DIPARTIMENTO DI PEDAGOGIA, PSICOLOGIA, FILOSOFIA  

Mostra records
Risultati 1 - 20 di 103 (tempo di esecuzione: 0.036 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
Boolean-Like Algebras of Finite Dimension: From Boolean Products to Semiring Products 1-gen-2024 Bucciarelli, Antonio; Ledda, Antonio; Paoli, Francesco; Salibra, Antonino - Springer
Intuitionistic logic is a connexive logic 1-gen-2024 Fazio, Davide; Ledda, Antonio; Paoli, Francesco STUDIA LOGICA -
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 -
The original sin of proof-theoretic semantics 1-gen-2021 Paoli, Francesco; Dicher, BOGDAN AUGUSTIN SYNTHESE -
Algebraic perspectives on substructural logics 1-gen-2020 Fazio, Davide; Ledda, Antonio; 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 -