Bi-intuitionistic implication structures

DOI10.1080/11663081.2018.1448636MaRDI QIDQ5375872zbMATH OpenOpenAlexWikidataFDO

Authors Daniel Skurt

Publication date 17 September 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2018.1448636

zbMATH Keywords

bi-intuitionistic logicco-implicationco-negationdual intuitionistic logicimplication structures

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
• Relating sequent calculi for bi-intuitionistic propositional logic
• Natural deduction for bi-intuitionistic logic
• Semantic characterization of intuitionistic logical connectives
• A Cut-Free Sequent Calculus for Bi-intuitionistic Logic

Cites work

• A formalization of the propositional calculus of H-B logic
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• Analytic cut and interpolation for bi-intuitionistic logic
• Applications of Kripke models to Heyting-Brouwer logic
• Bi-simulating in bi-intuitionistic logic
• Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic
• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• scientific article; zbMATH DE number 709086 (Why is no real title available?)
• scientific article; zbMATH DE number 3997784 (Why is no real title available?)
• scientific article; zbMATH DE number 2239772 (Why is no real title available?)
• Partial algebras, meaning categories and algebraization
• Structuralist logic: implications, inferences, and consequences
• Structuralist modals and the combination of logics
• The connectives
• The modality and non-extensionality of the quantifiers

Cited in

(5)

• Bi-inductive structural semantics
• Bi-Abduction with Pure Properties for Specification Inference
• scientific article; zbMATH DE number 7440178 (Why is no real title available?)
• BI-INTERPRETATION IN WEAK SET THEORIES
• scientific article; zbMATH DE number 6302921 (Why is no real title available?)

This page was built for publication: Bi-intuitionistic implication structures

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