A strict implication calculus for compact Hausdorff spaces

, , &
Annals of Pure and Applied Logic 170 (11):102714 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2019.06.003

Links

PhilArchive



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

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

The Modal Logic of Stone Spaces: Diamond as Derivative.Guram Bezhanishvili - 2010 - Review of Symbolic Logic 3 (1):26-40.
On modal logics arising from scattered locally compact Hausdorff spaces.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2019 - Annals of Pure and Applied Logic 170 (5):558-577.
On Countable Products of Finite Hausdorff Spaces.Horst Herrlich & Kyriakos Keremedis - 2000 - Mathematical Logic Quarterly 46 (4):537-542.
Reduced coproducts of compact hausdorff spaces.Paul Bankston - 1987 - Journal of Symbolic Logic 52 (2):404-424.
Dual-Context Sequent Calculus and Strict Implication.Kentaro Kikuchi - 2002 - Mathematical Logic Quarterly 48 (1):87-92.
On ultracoproducts of compact hausdorff spaces.R. Gurevič - 1988 - Journal of Symbolic Logic 53 (1):294-300.
Ockham’s Calculus of Strict Implication.Wolfgang Lenzen - 2015 - Logica Universalis 9 (2):181-191.
S-Spaces and L-Spaces under Martin's AxiomOn Compact Hausdorff Spaces of Countable Tightness.Piotr Koszmider, Z. Szentmiklossy, A. Csaszar & Zoltan Balogh - 2002 - Bulletin of Symbolic Logic 8 (2):306.
Quasi-Polish spaces.Matthew de Brecht - 2013 - Annals of Pure and Applied Logic 164 (3):356-381.
Haar measure and integral logic.Karim Khanaki & Massoud Amini - 2012 - Mathematical Logic Quarterly 58 (4):294-302.
Strict conditionals: A negative result.Jan Heylen & Leon Horsten - 2006 - Philosophical Quarterly 56 (225):536–549.
Elementary equivalence of cσ(k) spaces for totally disconnected, compact hausdorff K.S. Heinrich, C. Ward Henson & L. C. Moore - 1986 - Journal of Symbolic Logic 51 (1):135 - 146.
Products of sequential CLP-compact spaces are CLP-compact.Juris Steprāns - 2006 - Annals of Pure and Applied Logic 143 (1-3):155-157.
Products of compact spaces and the axiom of choice II.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2003 - Mathematical Logic Quarterly 49 (1):57-71.
Three-space type Hahn-Banach properties.Marianne Morillon - 2017 - Mathematical Logic Quarterly 63 (5):320-333.

Analytics

Added to PP
2019-07-03

Downloads
23 (#644,212)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Nick Bezhanishvili
University of Amsterdam
Yde Venema
University of Amsterdam

Citations of this work

Beth definability and the Stone-Weierstrass Theorem.Luca Reggio - 2021 - Annals of Pure and Applied Logic 172 (8):102990.
Contact semilattices.Paolo Lipparini - forthcoming - Logic Journal of the IGPL.
A variety of algebras closely related to subordination algebras.Sergio Celani & Ramon Jansana - 2022 - Journal of Applied Non-Classical Logics 32 (2):200-238.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Decidability for branching time.John P. Burgess - 1980 - Studia Logica 39 (2-3):203-218.

Add more references