Semigroups underlying first-order logic

Semigroups underlying first-order logic / William Craig.

Saved in:

Bibliographic Details
Main Author:	Craig, William, 1918-
Format:	Book
Language:	English
Published:	Providence, R.I. : American Mathematical Society, c2006.
Series:	Memoirs of the American Mathematical Society, no. 866
Subjects:	Algebraic logic. First-order logic. Semigroups.

Similar Items

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

Algebraizable logics
by: Blok, W. J., 1947-
Published: (1989)

Studies in algebraic logic
Published: (1974)

Logic and algebra
Published: (1996)

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
by: Hailperin, Theodore
Published: (1986)

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
by: Hailperin, Theodore
Published: (1976)

Logic and its applications
Published: (2005)

Fragments of first-order logic
by: Pratt-Hartmann, Ian
Published: (2023)

Decision problems for equational theories of relation algebras
by: Andréka, H.
Published: (1997)

A philosophical companion to first-order logic
Published: (1993)

Duality and definability in first order logic
by: Makkai, Mihály, 1939-
Published: (1993)

Duality and definability in first order logic
by: Makkai, Michael, 1939-
Published: (1993)

Metalogic: an introduction to the metatheory of standard first order logic.
by: Hunter, Geoffrey
Published: (1971)

Advances in the theory of varieties of semigroups
by: Lee, Edmond W. H. (Edmond Wing Hong), 1973-
Published: (2023)

Decidability of logical theories and their combination
by: Rasga, João
Published: (2020)

Independence-friendly logic : a game-theoretic approach
by: Mann, Allen L. (Allen Lawrence)
Published: (2011)

Semicrossed products of operator algebras by semigroups
by: Davidson, Kenneth R., et al.
Published: (2017)

Semigroups and automata : selecta, Uno Kaljulaid (1941-1999)
by: Kaljulaid, U. (Uno)
Published: (2006)

One-parameter semigroups of positive operators
Published: (1986)

Logic, language-games and information: Kantian themes in the philosophy of logic,
by: Hintikka, Jaakko, 1929-
Published: (1973)

Continuous semigroups in Banach algebras
by: Sinclair, Allan M.
Published: (1982)

Semigroups and Their Subsemigroup Lattices
by: Shevrin, L.N, et al.
Published: (1996)

Simple Theories and Hyperimaginaries.
by: Casanovas, Enrique, 1957-
Published: (2011)

Semigroups in algebra, geometry, and analysis
Published: (1995)

The structure of relation algebras generated by relativizations
by: Givant, Steven R.
Published: (1994)

Cylindric set algebras.
Published: (1981)

The q-theory of Finite Semigroups
by: Rhodes, John, et al.
Published: (2009)

Banach algebras on semigroups and on their compactifications
by: Dales, H. G. (Harold G.), 1944-
Published: (2010)

The analytical and topological theory of semigroups : trend and developments
Published: (1990)

A lattice of chapters of mathematics : interpretations between theorems
by: Mycielski, Jan, 1932-
Published: (1990)

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

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

Groupoids, inverse semigroups, and their operator algebras
by: Paterson, Alan L. T., 1944-
Published: (1998)

Semigroups in Complete Lattices Quantales, Modules and Related Topics
by: Eklund, Patrik, et al.
Published: (2018)

Structure of regular semigroups
by: Nambooripad, K. S. S.
Published: (1979)

Ordered algebraic structures and related topics : International Conference on Ordered Algebraic Structures and Related Topics, October 12-16, 2015, Centre International de Rencontres Mathématiques (CIRM), Luminy, France
Published: (2017)

Non-Classical Logics and their Applications to Fuzzy Subsets A Handbook of the Mathematical Foundations of Fuzzy Set Theory
Published: (1995)

Maximality properties in numerical semigroups and applications to one-dimensional analytically irreducible local domains
by: Barucci, Valentina, 1950-, et al.
Published: (1997)

Proof Theory for Fuzzy Logics
by: Metcalfe, George, et al.
Published: (2009)

Tensor products and regularity properties of Cuntz semigroups
by: Antoine, Ramon, 1973-, et al.
Published: (2018)