Pretopologies and completeness proofs

DOI10.2307/2275761MaRDI QIDQ4858821zbMATH OpenOpenAlexFDO

Authors Giovanni Sambin

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

zbMATH Keywords

completenesspretopology semanticsfirst-order basic linear logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• scientific article; zbMATH DE number 4108721
• Pretopology semantics for bimodal intuitionistic linear logic
• scientific article; zbMATH DE number 6302891
• scientific article; zbMATH DE number 2152683
• Formal topologies on the set of first-order formulae

Cites work

• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• Constructivism in mathematics. An introduction. Volume I
• Linear logic
• Logics without the contraction rule

Cited in

(22)

• On some peculiar aspects of the constructive theory of point-free spaces
• On A neglected path to intuitionism
• A universal Krull-Lindenbaum theorem
• A semantic hierarchy for intuitionistic logic
• Local possibilistic logic
• The semi-precompactness axiom
• Convergence in formal topology: a unifying notion
• A constructive investigation of satisfiability
• A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
• Some points in formal topology.
• scientific article; zbMATH DE number 4108721 (Why is no real title available?)
• Lindenbaum's lemma via open induction
• Duality and definability in first order logic
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
• Gentzen-type calculi for involutive quantales
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• scientific article; zbMATH DE number 6131567 (Why is no real title available?)
• An application of constructive completeness
• scientific article; zbMATH DE number 2152683 (Why is no real title available?)
• A minimalist foundation at work
• scientific article; zbMATH DE number 4061469 (Why is no real title available?)

This page was built for publication: Pretopologies and completeness proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4858821)