scientific article; zbMATH DE number 4213978

MaRDI QIDQ3360853zbMATH OpenFDO

Authors Barbara Klunder

Publication date 1990

zbMATH Keywords

constructive logic with strong negationinternal Nelson algebratopos-based semanticstopos-theoretic completeness theorem

Mathematics Subject Classification ID

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

Recommendations

• TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
• Remarks on special lattices and related constructive logics with strong negation
• Constructive logic with strong negation is a substructural logic. I
• Constructive logic with strong negation as a substructural logic
• Kripke Completeness of First-Order Constructive Logics with Strong Negation

Cited in

(4)

• TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
• A Topos-Theoretic Approach to Counterfactual Logic
• scientific article; zbMATH DE number 6787689 (Why is no real title available?)
• Remarks on special lattices and related constructive logics with strong negation

This page was built for publication:

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