Cover Image

Algebraic logic /

Bibliographic Details
Main Author:	Gindikin, S. G. (Semen Grigorʹevich)
Format:	Book
Language:	English Russian
Published:	New York : Springer-Verlag, [1985]
Series:	Problem books in mathematics.
Subjects:	Algebraic logic.

Similar Items

Algebraic logic /
Published: (1991)

Logic and algebra /
Published: (1996)

Studies in algebraic logic /
Published: (1974)

Residuated structures in algebra and logic /
by: Metcalfe, George, et al.
Published: (2023)

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

An algebraic approach to non-classical logics.
by: Rasiowa, Helena
Published: (1974)

A general algebraic semantics for sentenial logics /
by: Font, Josep Maria, 1954-
Published: (1996)

Logic in algebraic form. : Three languages and theories.
by: Craig, William
Published: (1974)

Boolean algebra for computer logic /
by: Ennes, Harold E., 1911-
Published: (1978)

Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings /
Published: (1990)

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

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

Protoalgebraic logics /
by: Czelakowski, Janusz
Published: (2001)

BCC-Algebras.
by: Thomys, Janus
Published: (2022)

Sentential probability logic : origins, development, current status, and technical applications /
by: Hailperin, Theodore
Published: (1996)

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

A primer of probability logic /
by: Adams, Ernest W. (Ernest Wilcox), 1926-
Published: (1998)

Countable Boolean algebras and decidability /
by: Goncharov, S. S.
Published: (1997)

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

A peircean reduction thesis : the foundations of topological logic /
by: Burch, Robert W.
Published: (1991)

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

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

Ordinal algebras
by: Tarski, Alfred
Published: (1956)

Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings /
Published: (2006)

Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey /
Published: (2005)

Geometry of state spaces of operator algebras /
by: Alfsen, Erik M. (Erik Magnus), 1930-
Published: (2003)

Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers /
Published: (2004)

Relations and kleene algebra in computer science : 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings /
Published: (2009)

Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings /
Published: (2008)

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

Stochastic coalgebraic logic /
by: Doberkat, Ernst-Erich
Published: (2010)

Communication complexity /
by: Kushilevitz, Eyal
Published: (1997)

Sentential probability logic : origins, development, current status, and technical applications /
by: Hailperin, Theodore
Published: (1996)

Relation algebras /
by: Maddux, R. D. (Roger D.), 1948-
Published: (2006)

Incline algebra and applications /
by: Cao, Z.-Q. (Zhi-Qiang)
Published: (1984)

Relation algebras by games /
by: Hirsch, R. (Robin)
Published: (2002)

Lukasiewicz-Moisil algebras /
Published: (1991)

Relation algebras /
by: Maddux, R. D. (Roger D.), 1948-
Published: (2006)

Geometry of state spaces of operator algebras /
by: Alfsen, Erik M. (Erik Magnus), 1930-
Published: (2003)

Communication complexity : a new approach to circuit depth /
by: Karchmer, Mauricio
Published: (1989)