TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION

DOI10.1002/MALQ.19920380146zbMATH Open0798.03063OpenAlexW1965159569MaRDI QIDQ4295249FDOQ4295249

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

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

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)

Cited In (9)

• Structuring co-constructive logic for proofs and refutations
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• N‐Categories in Logic
• Title not available (Why is that?)
• Connectives in the topos of directed graphs

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)