Pretopologies and completeness proofs
From MaRDI portal
Publication:4858821
DOI10.2307/2275761zbMath0839.03022OpenAlexW2064315245MaRDI QIDQ4858821
Publication date: 19 June 1996
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275761
Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
A universal Krull-Lindenbaum theorem ⋮ Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics ⋮ A Minimalist Foundation at Work ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A constructive investigation of satisfiability ⋮ Some points in formal topology. ⋮ Local possibilistic logic ⋮ Lindenbaum’s Lemma via Open Induction ⋮ A semantic hierarchy for intuitionistic logic ⋮ Convergence in formal topology: a unifying notion ⋮ An application of constructive completeness ⋮ On some peculiar aspects of the constructive theory of point-free spaces ⋮ Gentzen-type calculi for involutive quantales ⋮ Pretopologies and a uniform presentation of sup-lattices, quantales and frames ⋮ On A neglected path to intuitionism ⋮ A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
Cites Work
