- The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.details
|
|
Varieties of complex algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.details
|
|
Cylindric Algebras. Part I.Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski - 1985 - Journal of Symbolic Logic 50 (1):234-237.details
|
|
Finite axiomatizability using additional predicates.W. Craig & R. L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):289-308.details
|
|
Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.details
|
|
Algebraic Logic.Paul Richard Halmos - 2014 - New York, NY, USA: Chelsea.details
|
|
Nonfinitizability of classes of representable cylindric algebras.J. Donald Monk - 1969 - Journal of Symbolic Logic 34 (3):331-343.details
|
|
(1 other version)The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.details
|
|
Quantifiers as modal operators.Steven T. Kuhn - 1980 - Studia Logica 39 (2-3):145 - 158.details
|
|
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.details
|
|
Modal definability in enriched languages.Valentin Goranko - 1989 - Notre Dame Journal of Formal Logic 31 (1):81-105.details
|
|
Abstract.[author unknown] - 1998 - Studies in History and Philosophy of Science Part A 29 (2):299-303.details
|
|
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.details
|
|
Nonfinitizability of classes of representable polyadic algebras.James S. Johnson - 1969 - Journal of Symbolic Logic 34 (3):344-352.details
|
|
The Craig interpolation theorem for prepositional logics with strong negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.details
|
|
A sequent calculus for relation algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.details
|
|
An axiomatization of predicate functor logic.Steven T. Kuhn - 1983 - Notre Dame Journal of Formal Logic 24 (2):233-241.details
|
|
Non-finite-axiomatizability results in algebraic logic.Balázs Biró - 1992 - Journal of Symbolic Logic 57 (3):832 - 843.details
|
|
(1 other version)On universal algebraic constructions of logics.H. Andréka, T. Gergely & I. Németi - 1977 - Studia Logica 36 (1-2):9 - 47.details
|
|
Predicate functors revisited.W. V. Quine - 1981 - Journal of Symbolic Logic 46 (3):649-652.details
|
|
Local definability theory.Gonzalo E. Reyes - 1970 - Annals of Mathematical Logic 1 (1):95-137.details
|
|
(1 other version)Finitary Algebraic Logic.Roger D. Maddux - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):321-332.details
|
|
(1 other version)Finitary Algebraic Logic.Roger D. Maddux - 1989 - Mathematical Logic Quarterly 35 (4):321-332.details
|
|
(1 other version)A first approach to abstract modal logics.Josep M. Font & Ventura Verdú - 1989 - Journal of Symbolic Logic 54 (3):1042-1062.details
|
|
(1 other version)Über eine natürliche Erweiterung des Relationenkalkuls.Paul Bernays - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 1--14.details
|
|
On varieties of cylindric algebras with applications to logic.I. Németi - 1987 - Annals of Pure and Applied Logic 36:235-277.details
|
|
2.W. V. Quine - 1968 - In W. V. O. Quine (ed.), Ontological relativity. New York,Columbia University Press. pp. 26--68.details
|
|
Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.details
|
|
The completeness of a predicate-functor logic.John Bacon - 1985 - Journal of Symbolic Logic 50 (4):903-926.details
|
|
An algebraic study of well-foundedness.Robert Goldblatt - 1985 - Studia Logica 44 (4):423 - 437.details
|
|
Peirce, frege, the logic of relations, and church's theorem.Randall R. Dipert - 1984 - History and Philosophy of Logic 5 (1):49-66.details
|
|
(1 other version)Isomorphic but not lower base-isomorphic cylindric set algebras.B. Biró & S. Shelah - 1988 - Journal of Symbolic Logic 53 (3):846-853.details
|
|
Axiomatizing logics closely related to varieties.W. Rautenberg - 1991 - Studia Logica 50 (3-4):607 - 622.details
|
|
Universal Algebra.P. M. Cohn - 1969 - Journal of Symbolic Logic 34 (1):113-114.details
|
|
Cylindric algebras with terms.Norman Feldman - 1990 - Journal of Symbolic Logic 55 (2):854-866.details
|
|
Axiom systems for first order logic with finitely many variables.James S. Johnson - 1973 - Journal of Symbolic Logic 38 (4):576-578.details
|
|
Topological duality for diagonalizable algebras.Claudio Bernardi & Paola D'Aquino - 1988 - Notre Dame Journal of Formal Logic 29 (3):345-364.details
|
|
(1 other version)Algebraic Analysis of the Topological Logic L(I).George Georgescu - 1982 - Mathematical Logic Quarterly 28 (27‐32):447-454.details
|
|
(1 other version)Algebraic Analysis of the Topological Logic L.George Georgescu - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (27-32):447-454.details
|
|
(1 other version)Toward a calculus of concepts.W. V. Quine - 1936 - Journal of Symbolic Logic 1 (1):2-25.details
|
|
R⌝-algebras and r⌝-model structures as power constructs.Chris Brink - 1989 - Studia Logica 48 (1):85 - 109.details
|
|
A simple algebra of first order logic.Charles C. Pinter - 1973 - Notre Dame Journal of Formal Logic 14 (3):361-366.details
|
|
Topological representations of post algebras of order ω+ and open theories based on ω+-valued post logic.Helena Rasiowa - 1985 - Studia Logica 44 (4):353 - 368.details
|
|
Copeland algebras.Daniel B. Demaree - 1972 - Journal of Symbolic Logic 37 (4):646-656.details
|
|
Algebraic logic with generalized quantifiers.Charles C. Pinter - 1975 - Notre Dame Journal of Formal Logic 16 (4):511-516.details
|
|
(1 other version)Algebraic Semantics for Modal Predicate Logic.James B. Freeman - 1976 - Mathematical Logic Quarterly 22 (1):523-552.details
|
|
(1 other version)Algebraic Semantics for Modal Predicate Logic.James B. Freeman - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):523-552.details
|
|
Near-equational and equational systems of logic for partial functions. I.William Craig - 1989 - Journal of Symbolic Logic 54 (3):795-827.details
|
|
Dynamic logic with program specifications and its relational proof system.Ewa Orlowska - 1993 - Journal of Applied Non-Classical Logics 3 (2):147-171.details
|
|
Q-ultrafilters and normal ultrafilters in b-algebras.Bronis?aw Tembrowski - 1986 - Studia Logica 45 (2):167 - 179.details
|
|