Cargando…

Semigroups underlying first-order logic /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Craig, William, 1918-
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Providence, R.I. : American Mathematical Society, 2006.
Colección:	Memoirs of the American Mathematical Society ; no. 866.
Temas:	Algebraic logic. First-order logic. Semigroups. Logique algébrique. Logique du premier ordre. Semi-groupes. MATHEMATICS > General. Algebraic logic First-order logic Semigroups
Acceso en línea:	Texto completo

Ejemplares similares

Lógica matemática /
por: Mora Espinosa, Carlos Fernando, et al.
Publicado: (2019)

Dependence logic : a new approach to independence friendly logic /
por: Väänänen, J. (Jouko), 1950-
Publicado: (2007)

Duality and definability in first order logic /
por: Makkai, Mihály, 1939-
Publicado: (1993)

A general algebraic semantics for sentential logics /
por: Font, Josep Maria, 1954-, et al.
Publicado: (2017)

Simple Theories and Hyperimaginaries.
por: Casanovas, Enrique, 1957-
Publicado: (2011)

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 /
Publicado: (2005)

Calcul en logique du premier ordre /
por: Bouchard, Yves, 1963-
Publicado: (2016)

Independence-friendly logic : a game-theoretic approach /
por: Mann, Allen L. (Allen Lawrence)
Publicado: (2011)

Simple theories and hyperimaginaries /
por: Casanovas, Enrique, 1957-
Publicado: (2011)

A lattice of chapters of mathematics : interpretations between theorems /
por: Mycielski, Jan, 1932-
Publicado: (1990)

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

Cafe : an industrial-strength algebraic formal method /
Publicado: (2000)

Integer Points in Polyhedra-Geometry, Number Theory, Representation Theory, Algebra, Optimization, Statistics
por: Beck, Matthias
Publicado: (2008)

Semigroups and automata : selecta, Uno Kaljulaid (1941-1999) /
por: Kaljulaid, U. (Uno)
Publicado: (2006)

An algebraic approach to non-classical logics /
por: Rasiowa, Helena
Publicado: (1974)

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

Lógica matemática /
por: Mora Espinosa, Carlos Fernando, et al.
Publicado: (2019)

Semigroups in algebra, geometry, and analysis /
Publicado: (1995)

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

Algebraic theories : a categorical introduction to general algebra /
por: Adámek, Jiří, 1947-
Publicado: (2011)

Semigroups /
por: Hall, T. E. (Thomas Eric), et al.
Publicado: (1980)

Semigroups and automata : selecta, Uno Kaljulaid (1941-1999) /
por: Kaljulaid, U. (Uno)
Publicado: (2006)

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

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

Banach algebras on semigroups and on their compactifications /
por: Dales, H. G. (Harold G.), 1944-
Publicado: (2010)

Continuous semigroups in Banach algebras /
por: Sinclair, Allan M.
Publicado: (1982)

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

Proof Theory for Fuzzy Logics
por: Metcalfe, George, et al.
Publicado: (2009)

Logic in algebraic form : Three languages and theories /
por: Craig, William, 1918-
Publicado: (1974)

The theory of finitely generated commutative semigroups /
por: R�edei, L. (L�aszl�o), 1900-
Publicado: (1965)

Semigroup theory and its applications : proceedings of the 1994 conference commemorating the work of Alfred H. Clifford /
Publicado: (1996)

Structure of regular semigroups /
por: Nambooripad, K. S. S.
Publicado: (1979)

Algebraizable logics /
por: Blok, W. J., 1947-
Publicado: (1989)

Residuated lattices : an algebraic glimpse at substructural logics /
Publicado: (2007)

Ordered Sets An Introduction with Connections from Combinatorics to Topology /
por: Schröder, Bernd
Publicado: (2016)

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

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
Publicado: (2016)

Cardinal Invariants on Boolean Algebras Second Revised Edition /
por: Monk, J. Donald
Publicado: (2014)

Introduction to Boolean Algebras
por: Givant, Steven, et al.
Publicado: (2009)

Logic, Computation, Hierarchies.
Publicado: (2014)

Cannot write session to /tmp/vufind_sessions/sess_6lvv429g2mang7hoej486se0lu