3 résultat(s)
Télécharger le livre : Logics of Variable Inclusion
Stefano Bonzio , Francesco Paoli , Michele Pra Baldi
Logics of Variable Inclusion
This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and the concept of analyticity in formal logic can profitably interact. By extending the technique of Plonka sums from...
Editeur : Springer
Parution : 2022-06-09
Collection : Trends in Logic
Format(s) : PDF
105,49 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Algebraic Perspectives on Substructural Logics
Davide Fazio , Antonio Ledda , Francesco Paoli
Algebraic Perspectives on Substructural Logics
This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of...
Editeur : Springer
Parution : 2020-11-07
Collection : Trends in Logic
Format(s) : PDF, ePub
105,49 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Paraconsistency: Logic and Applications
Francesco Berto , Edwin Mares , Francesco Paoli , Koji Tanaka
Paraconsistency: Logic and Applications
A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary...
Editeur : Springer
Parution : 2012-07-26
Collection : Logic, Epistemology, and the Unity of Science
Format(s) : ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande