Tous les livres numériques de la collection "Trends in Logic" - Springer

2 Livre(s)
Télécharger le livre : Algebraic Perspectives on Substructural Logics
Algebraic Perspectives on Substructural Logics
Davide Fazio , Antonio Ledda , Francesco Paoli
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échargement immédiat
Dès validation de votre commande
Télécharger le livre : Advances in Proof-Theoretic Semantics
Advances in Proof-Theoretic Semantics
Thomas Piecha , Peter Schroeder-Heister
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the...

Editeur : Springer
Parution : 2015-10-24
Collection : Trends in Logic PDF, ePub

Gratuit
Téléchargement immédiat
Dès validation de votre commande