scientific article; zbMATH DE number 7325813

MaRDI QIDQ5855500zbMATH OpenFDO

Authors Arnon Avron

Publication date 18 March 2021

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• scientific article; zbMATH DE number 5181720
• Semi-implication: a chapter in universal logic
• Semi-intuitionistic logic with strong negation
• A remark on negation in dependence logic
• A note on conditional implication
• scientific article; zbMATH DE number 4158594
• Negation and Implication in Quasi-Nelson Logic
• scientific article; zbMATH DE number 3935011
• scientific article; zbMATH DE number 908155
• A semantics for conditionals with default negation

Cited in

(6)

• A note on conditional implication
• scientific article; zbMATH DE number 3935011 (Why is no real title available?)
• scientific article; zbMATH DE number 859801 (Why is no real title available?)
• Implication, Equivalence, and Negation
• Semi-implication: a chapter in universal logic
• scientific article; zbMATH DE number 5181720 (Why is no real title available?)

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