Algebraic Perspectives on Substructural Logics

Algebraic Perspectives on Substructural Logics

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Fazio, Davide (Editor), Ledda, Antonio (Editor), Paoli, Francesco (Editor)
Summary:	X, 193 p. 25 illus. text
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:	1st ed. 2021.
Series:	Trends in Logic, Studia Logica Library, 55
Subjects:	Logic. Algebra. Proof theory. Proof Theory and Constructive Mathematics.
Online Access:	https://doi.org/10.1007/978-3-030-52163-9
Format:	Electronic Book

Similar Items

Structures Mères: Semantics, Mathematics, and Cognitive Science
Published: (2020)

Proof Technology in Mathematics Research and Teaching
Published: (2019)

Proof Theory and Algebra in Logic
by: Ono, Hiroakira
Published: (2019)

Hiroakira Ono on Substructural Logics
Published: (2022)

Ernst Schröder on Algebra and Logic
Published: (2022)

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Published: (2022)

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Published: (2018)

Iconicity and Abduction
by: Caterina, Gianluca, et al.
Published: (2016)

Philosophical and Mathematical Logic
by: de Swart, Harrie
Published: (2018)

Structural Analysis of Non-Classical Logics The Proceedings of the Second Taiwan Philosophical Logic Colloquium /
Published: (2016)

New Essays on Belnap-Dunn Logic
Published: (2019)

Rohit Parikh on Logic, Language and Society
Published: (2017)

J. Michael Dunn on Information Based Logics
Published: (2016)

Philosophical Logic: Current Trends in Asia Proceedings of AWPL-TPLC 2016 /
Published: (2017)

Proof of Concept Center - A Promising Tool for Innovative Development at Entrepreneurial Universities
by: Baydali S. A. Sergey Anatolievich
Published: (2015)

The Logical Legacy of Nikolai Vasiliev and Modern Logic
Published: (2017)

A Protocol-theoretic Framework for the Logic of Epistemic Norms
by: Jenkins, Ralph
Published: (2022)

Hajnal Andréka and István Németi on Unity of Science From Computing to Relativity Theory Through Algebraic Logic /
Published: (2021)

British Versions of Book II of Euclid’s Elements: Geometry, Arithmetic, Algebra (1550–1750)
by: Corry, Leo
Published: (2022)

Ewa Orłowska on Relational Methods in Logic and Computer Science
Published: (2018)

Philosophy's Loss of Logic to Mathematics An Inadequately Understood Take-Over /
by: Park, Woosuk
Published: (2018)

Nonclassical Logics and Their Applications Post-proceedings of the 8th International Workshop on Logic and Cognition /
Published: (2020)

The Logic, Philosophy, and History of the Lambda-Calculus Theory and Applications /
by: Zerpa, Levis
Published: (2024)

Linear Algebra Based Controllers Design and Applications /
by: Scaglia, Gustavo, et al.
Published: (2020)

Knowledge, Proof and Dynamics The Fourth Asian Workshop on Philosophical Logic /
Published: (2020)

Blockchain-Aided Edge Computing Market: Smart Contract and Consensus Mechanisms
Published: (2022)

Basic Mathematical Programming Theory
by: Giorgi, Giorgio, et al.
Published: (2023)

Теории, гипотезы гидротермального породо-рудообразования и реальность: факты и аргументы
by: Кучеренко И. В. Игорь Васильевич
Published: (2015)

The Design, Modeling and Experimental Investigation of a Micro-G Microoptoelectromechanical Accelerometer with an Optical Tunneling Measuring Transducer
Published: (2024)

Riemannian Optimization and Its Applications
by: Sato, Hiroyuki
Published: (2021)

Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
Published: (2024)

Improved phase stability of the metastable K2GeF6:Mn4+ phosphors with high thermal stability and water-proof property by cation substitution
Published: (2020)

Geometric Algebra Applications Vol. III Integral Transforms, Machine Learning, and Quantum Computing /
by: Bayro-Corrochano, Eduardo
Published: (2024)

Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Published: (2018)

Immanent Reasoning or Equality in Action A Plaidoyer for the Play Level /
by: Rahman, Shahid, et al.
Published: (2018)

Graham Priest on Dialetheism and Paraconsistency
Published: (2019)

Mathesis Universalis, Computability and Proof
Published: (2019)

Intuitionistic Proof Versus Classical Truth The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics /
by: Martino, Enrico
Published: (2018)

Mathematical Topics on Representations of Ordered Structures and Utility Theory Essays in Honor of Professor Ghanshyam B. Mehta /
Published: (2020)

Constructive Semantics Meaning in Between Phenomenology and Constructivism /
Published: (2019)