TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION

DOI10.1002/MALQ.19920380146MaRDI QIDQ4295249zbMATH OpenOpenAlexFDO

Authors Barbara Klunder

Publication date 7 November 1994

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19920380146

zbMATH Keywords

Heyting algebraelementary toposNelson algebraconstructive logic with strong negation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Categorical logic, topoi (03G30) Topoi (18B25)

Recommendations

• scientific article; zbMATH DE number 4213978
• Constructive predicate logic with strong negation and model theory
• Constructive logic with strong negation as a substructural logic
• Constructive discursive logic with strong negation
• scientific article; zbMATH DE number 810107
• scientific article; zbMATH DE number 6287598
• scientific article; zbMATH DE number 1765676
• Topological Semantics of Justification Logic
• Semi-intuitionistic logic with strong negation

Cited in

(9)

• Structuring co-constructive logic for proofs and refutations
• scientific article; zbMATH DE number 1537947 (Why is no real title available?)
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
• A Topos-Theoretic Approach to Counterfactual Logic
• The evil twin: the basics of complement-toposes
• scientific article; zbMATH DE number 4152378 (Why is no real title available?)
• N‐Categories in Logic
• Connectives in the topos of directed graphs
• scientific article; zbMATH DE number 6787689 (Why is no real title available?)

This page was built for publication: TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION

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