An algebraic approach to non-classical logics.
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam : New York :
North-Holland Pub. Co.; American Elsevier Pub. Co.,
1974.
|
| Series: | Studies in logic and the foundations of mathematics ;
v. 78. |
| Subjects: |
Similar Items
An algebraic approach to non-classical logics /
by: Rasiowa, Helena
Published: (1974)
by: Rasiowa, Helena
Published: (1974)
Algebraic logic /
by: Gindikin, S. G. (Semen Grigorʹevich)
Published: (1985)
by: Gindikin, S. G. (Semen Grigorʹevich)
Published: (1985)
Algebraic logic /
Published: (1991)
Published: (1991)
Logic and algebra /
Published: (1996)
Published: (1996)
Studies in algebraic logic /
Published: (1974)
Published: (1974)
Residuated structures in algebra and logic /
by: Metcalfe, George, et al.
Published: (2023)
by: Metcalfe, George, et al.
Published: (2023)
A general algebraic semantics for sentenial logics /
by: Font, Josep Maria, 1954-
Published: (1996)
by: Font, Josep Maria, 1954-
Published: (1996)
Logic in algebraic form. : Three languages and theories.
by: Craig, William
Published: (1974)
by: Craig, William
Published: (1974)
Boolean algebra for computer logic /
by: Ennes, Harold E., 1911-
Published: (1978)
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)
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)
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)
by: Hailperin, Theodore
Published: (1986)
Protoalgebraic logics /
by: Czelakowski, Janusz
Published: (2001)
by: Czelakowski, Janusz
Published: (2001)
BCC-Algebras.
by: Thomys, Janus
Published: (2022)
by: Thomys, Janus
Published: (2022)
Sentential probability logic : origins, development, current status, and technical applications /
by: Hailperin, Theodore
Published: (1996)
by: Hailperin, Theodore
Published: (1996)
Logic in algebraic form : Three languages and theories /
by: Craig, William, 1918-
Published: (1974)
by: Craig, William, 1918-
Published: (1974)
A primer of probability logic /
by: Adams, Ernest W. (Ernest Wilcox), 1926-
Published: (1998)
by: Adams, Ernest W. (Ernest Wilcox), 1926-
Published: (1998)
Countable Boolean algebras and decidability /
by: Goncharov, S. S.
Published: (1997)
by: Goncharov, S. S.
Published: (1997)
Residuated lattices : an algebraic glimpse at substructural logics /
Published: (2007)
Published: (2007)
A peircean reduction thesis : the foundations of topological logic /
by: Burch, Robert W.
Published: (1991)
by: Burch, Robert W.
Published: (1991)
Residuated lattices : an algebraic glimpse at substructural logics /
Published: (2007)
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)
by: Hailperin, Theodore
Published: (1986)
Ordinal algebras
by: Tarski, Alfred
Published: (1956)
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)
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)
Published: (2005)
Geometry of state spaces of operator algebras /
by: Alfsen, Erik M. (Erik Magnus), 1930-
Published: (2003)
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)
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)
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)
Published: (2008)
Cafe : an industrial-strength algebraic formal method /
Published: (2000)
Published: (2000)
Stochastic coalgebraic logic /
by: Doberkat, Ernst-Erich
Published: (2010)
by: Doberkat, Ernst-Erich
Published: (2010)
Communication complexity /
by: Kushilevitz, Eyal
Published: (1997)
by: Kushilevitz, Eyal
Published: (1997)
Sentential probability logic : origins, development, current status, and technical applications /
by: Hailperin, Theodore
Published: (1996)
by: Hailperin, Theodore
Published: (1996)
Relation algebras /
by: Maddux, R. D. (Roger D.), 1948-
Published: (2006)
by: Maddux, R. D. (Roger D.), 1948-
Published: (2006)
Communication complexity : a new approach to circuit depth /
by: Karchmer, Mauricio
Published: (1989)
by: Karchmer, Mauricio
Published: (1989)
Incline algebra and applications /
by: Cao, Z.-Q. (Zhi-Qiang)
Published: (1984)
by: Cao, Z.-Q. (Zhi-Qiang)
Published: (1984)