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

completenessfirst-order basic linear logicpretopology semantics

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

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

Cited in

(22)

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

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)