Algebraic Analysis of the Topological Logic L(I)

Mathematical Logic Quarterly 28 (27‐32):447-454 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19820282706

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Topological elementary equivalence of closed semi-algebraic sets in the real plane.Bart Kuijpers, Jan Paredaens & Jan Van den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530-1555.
Topological Elementary Equivalence of Closed Semi-Algebraic Sets in the Real Plane.Bart Kuijpers, Jan Paredaens & Jan Van Den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530 - 1555.
Hyperalgebraic primitive elements for relational algebraic and topological algebraic models.Matt Insall - 1996 - Studia Logica 57 (2-3):409 - 418.
Dynamic topological logic.S. Artemov - unknown
Review: J. Paul Roth, Two Logical Minimization Problems; J. Paul Roth, Algebraic Topological Methods for the Synthesis of Switching Systems. II; J. Paul Roth, E. G. Wagner, Algebraic Topological Methods for the Synthesis of Switching Systems. III. Minimization of Nonsingular Boolean Trees. [REVIEW]Thomas H. Mott - 1960 - Journal of Symbolic Logic 25 (4):370-373.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Menger and Nöbeling on Pointless Topology.Mathieu Bélanger & Jean-Pierre Marquis - 2013 - Logic and Logical Philosophy 22 (2):145-165.
On Finite Approximations of Topological Algebraic Systems.L. Yu Glebsky, E. I. Gordon & C. Ward Hensen - 2007 - Journal of Symbolic Logic 72 (1):1 - 25.
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.
Dynamical algebraic structures, pointfree topological spaces and Hilbert's program.Henri Lombardi - 2006 - Annals of Pure and Applied Logic 137 (1-3):256-290.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.

Analytics

Added to PP
2013-12-01

Downloads
9 (#1,154,504)

6 months
1 (#1,346,405)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

Add more references