Télécharger le livre :  Logics of Variable Inclusion
Ajouter à ma liste d'envies
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
PDF

105,49
Télécharger le livre :  Algebraic Perspectives on Substructural Logics
Ajouter à ma liste d'envies
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
PDF, ePub

105,49
Télécharger le livre :  Paraconsistency: Logic and Applications
Ajouter à ma liste d'envies
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
ePub

94,94