Zariski‐type topology for implication algebras

, &
Mathematical Logic Quarterly 56 (3):299-309 (2010)
  Copy   BIBTEX

Abstract

In this work we provide a new topological representation for implication algebras in such a way that its one-point compactification is the topological space given in [1]. Some applications are given thereof

Categories

Keywords

Reprint years

DOI

10.1002/malq.200910012

Links

PhilArchive



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

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

Zariski-type topology for implication algebras.Manuel Abad, Diego Castaño & José Patricio Díaz Varela - 2010 - Mathematical Logic Quarterly 56 (3):299-309.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.M. Campercholi, D. Castaño & J. P. Díaz Varela - 2011 - Studia Logica 98 (1-2):267-283.
Decomposability of free Łukasiewicz implication algebras.Jose Patricio Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
An Analytic Zariski Structure Over a Field.Nick Peatfield - 2006 - Archive for Mathematical Logic 45 (6):739-768.
Logical Connectives on Lattice Effect Algebras.D. J. Foulis & S. Pulmannová - 2012 - Studia Logica 100 (6):1291-1315.
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.Marcelo E. Coniglio & Martín Figallo - 2014 - Studia Logica 102 (3):525-539.
Formal Zariski topology: positivity and points.Peter Schuster - 2006 - Annals of Pure and Applied Logic 137 (1-3):317-359.
O implikacji kauzalnej.Anna Modrzejewska - 2004 - Roczniki Filozoficzne 52 (1):215-224.
Equationally definable implication algebras for orthomodular lattices.G. N. Georgacarakos - 1980 - Studia Logica 39 (1):5 - 18.
A hybrid logic for reasoning about knowledge and topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.

Analytics

Added to PP
2013-12-01

Downloads
27 (#588,051)

6 months
5 (#632,816)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Review: J. C. Abbott, Semi-Boolean Algebra. [REVIEW]G. Gratzer - 1972 - Journal of Symbolic Logic 37 (1):191-191.

Add more references