Algebraic perspectives on substructural logics

Algebraic perspectives on substructural logics / Davide Fazio, Antonio Ledda, Francesco Paoli, editors.

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 the Horizon 2020 Project SYS...

Full description

Saved in:

Bibliographic Details
Corporate Author:	AsubL (Workshop)
Other Authors:	Fazio, Davide (Editor), Ledda, Antonio (Editor), Paoli, Francesco (Editor)
Format:	eBook
Language:	English
Published:	Cham, Switzerland : Springer, [2021]
Series:	Trends in logic ; v. 55.
Subjects:	Logic, Symbolic and mathematical. Algebra, Abstract. Algebra, Abstract Logic, Symbolic and mathematical
Online Access:	Click for online access

Similar Items

Logic and implication : an introduction to the general algebraic study of non-classical logics
by: Cintula, Petr, et al.
Published: (2021)

A tour through mathematical logic
by: Wolf, Robert S.
Published: (2005)

Hajnal Andréka and István Németi on unity of science : from computing to relativity theory through algebraic logic
Published: (2021)

A decision method for elementary algebra and geometry,
by: Tarski, Alfred
Published: (1951)

Introduction to model theory and to the metamathematics of algebra.
by: Robinson, Abraham, Ph.D
Published: (1965)

Logic functions and equations : fundamentals and applications using the XBOOLE-Monitor
by: Steinbach, Bernd
Published: (2022)

Logic, Computation, Hierarchies.
Published: (2014)

An algebraic introduction to mathematical logic
by: Barnes, Donald W.
Published: (1975)

An invitation to abstract mathematics
by: Bajnok, Béla, 1961-
Published: (2013)

Ernst Schröder on algebra and logic
by: Schröder, Ernst, 1841-1902
Published: (2022)

Algebraic methods of mathematical logic.
by: Rieger, Ladislav, 1916-1963
Published: (1967)

Universal algebraic logic : dedicated to the unity of science
by: Andréka, H., et al.
Published: (2022)

Levels of abstraction in logic and human action : a theory of discontinuity in the structure of mathematical logic, psychological behaviour, and social organization
Published: (1978)

Introduction to Abstract Algebra
by: Li, Libin, et al.
Published: (2022)

Semigroups underlying first-order logic
by: Craig, William, 1918-
Published: (2006)

Residuated Lattices : an Algebraic Glimpse at Substructural Logics.
by: Galatos, Nikolaos
Published: (2007)

Hiroakira Ono on substructural logic
Published: (2022)

An introduction to abstract algebra
by: Robinson, Derek John Scott
Published: (2003)

Logic and its applications : International Conference on Logic and Its Applications in Algebra and Geometry, April 11-13, 2003, and Workshop on Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture, April 14-15, 2003, University of Michigan, Ann Arbor, Michigan
Published: (2005)

Abstract Algebra : an Introduction with Applications.
by: Robinson, Derek John Scott
Published: (2015)

Logics of variable inclusion
by: Bonzio, Stefano, et al.
Published: (2022)

Algebra, mathematical logic, number theory, topology : collection of survey papers : on the 50th anniversary of the institute
Published: (1986)

Arithmetic and algebraic circuits
by: Llosis Ruiz, Antonio, et al.
Published: (2021)

Polyadic algebraic structures
by: Dupliĭ, Stepan
Published: (2022)

Introduction to Algebra.
by: Cameron, Peter J. (Peter Jephson), 1947-
Published: (2007)

Set theory and its logic
by: Quine, W. V. (Willard Van Orman)
Published: (1969)

Algebra and computer science
Published: (2016)

Categories of algebraic systems : vector and projective spaces, semigroups, rings, and lattices
by: Petrich, Mario
Published: (1976)

A First Graduate Course in Abstract Algebra.
by: Wickless, W. J.
Published: (2004)

Resolution of equations in algebraic structures. Volume 1, Algebraic techniques
Published: (1989)

Substructural Logics: A Primer
by: Paoli, F.
Published: (2002)

Reviews of papers in algebraic and differential topology, topological groups, and homological algebra.
by: Steenrod, Norman Earl, 1910-1971
Published: (1968)

Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
Published: (1975)

Algebra and computer science : joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal : joint Mathematics Meetings, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX : joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel
Published: (2016)

Abstract algebra and famous impossibilities : squaring the circle, doubling the cube, trisecting an angle, and solving quintic equations
by: Morris, Sidney A., 1947-, et al.
Published: (2022)

Logic as algebra
by: Halmos, Paul R. (Paul Richard), 1916-2006
Published: (1998)

Mathematics, logic, and their philosophies : essays in honour of Mohammad Ardeshir
Published: (2021)

Logic With Trees : an Introduction to Symbolic Logic.
by: Howson, Colin
Published: (1997)

In the Light of Logic.
by: Feferman, Solomon
Published: (1999)

Symbolic logic
by: Makridis, Odysseus
Published: (2022)