- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Post Completeness and Free Algebras
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (22-24):343-347 (1980)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Post Completeness and Free Algebras.G. Sambin & S. Valentini - 1980 - Mathematical Logic Quarterly 26 (22‐24):343-347.
Strong Completeness of a Pure Free Logic.Ermanno Bencivenga - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (1-6):35-38.
The Completeness of Presupposition‐Free Tense Logic.Robert F. Barnes & Raymond D. Gumb - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13‐18):193-208.
Post Completeness and Ultrafilters.David Makinson & Krister Segerberg - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):385-388.
Squares of Primal Algebras.Klaus Denecke - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):69-77.
Boolean algebras in ast.Klaus Schumacher - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):373-382.
Hyperidentities of Dyadic Algebras.Klaus Denecke - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):303-310.
Consistency in Categorical Languages for Algebras.Ahmad Shafaat - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (13):205-207.
Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):131-136.
An Axiomatization of Topological Boolean Algebras.Joel Kagan - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (7):103-106.
Analytics
Added to PP
2015-12-02
Downloads
29 (#538,959)
6 months
4 (#1,006,062)
2015-12-02
Downloads
29 (#538,959)
6 months
4 (#1,006,062)
Historical graph of downloads
Citations of this work
Algebraic semantics for quasi-classical modal logics.W. J. Blok & P. Köhler - 1983 - Journal of Symbolic Logic 48 (4):941-964.
Post complete and 0-axiomatizable modal logics.Fabio Bellissima - 1990 - Annals of Pure and Applied Logic 47 (2):121-144.
References found in this work
The Unprovability of Consistency. An Essay in Modal Logic.C. Smoryński - 1979 - Journal of Symbolic Logic 46 (4):871-873.
George Grätzer. Universal algebra. D. Van Nostrand Company, Inc., Princeton etc. 1968, xvi + 368 pp. [REVIEW]Kirby A. Baker - 1973 - Journal of Symbolic Logic 38 (4):643-644.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-ktvwr uwo