scientific article; zbMATH DE number 6863646

zbMATH Open1400.03025MaRDI QIDQ4636036FDOQ4636036

Authors: Michael De, Hitoshi Omori 

Publication date: 23 April 2018

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 859800
• Inverse negation and classical implicative logic
• Subintuitionistic logics and the implications they prove
• `Classical' negation in nonmonotonic reasoning and logic programming
• Contradictoriness, paraconsistent negation and non-intended models of classical logic
• Classical negation and expansions of Belnap-Dunn logic
• scientific article; zbMATH DE number 4121961
• Subintuitionistic logics
• Negation and paraconsistent logics
• Theories in classical propositional logic and the converse of substitution

zbMATH Keywords

intuitionistic logicclassical negationsubintuitionistic logicempirical negation

Mathematics Subject Classification ID

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

Cited In (17)

• Title not available (Why is that?)
• A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
• An Unexpected Feature of Classical Propositional Logic in the Tractatus
• Another combination of classical and intuitionistic conditionals
• Title not available (Why is that?)
• Title not available (Why is that?)
• Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
• Subatomic negation
• More on empirical negation
• A closer look at some subintuitionistic logics
• Negational fragment of intuitionistic control logic
• A predicate logical extension of a subintuitionistic propositional logic
• Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
• On a substructural logic with minimal negation
• Empirical negation, co-negation and contraposition rule. I: Semantical investigations
• Classical and intuitionistic subexponential logics are equally expressive
• Assertion, Denial and Non-classical Theories

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 Q4636036)