A procedural interpretation of split negation

MaRDI QIDQ4903809zbMATH OpenFDO

Authors Sebastian Sequoiah-Grayson

Publication date 27 January 2013

zbMATH Keywords

linear logicLambek calculusnegative informationnon-commutative logicsplit negationprocedural interpretation

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• DYNAMIC NEGATION AND NEGATIVE INFORMATION
• On split negation, strong negation, information, falsification, and verification
• scientific article; zbMATH DE number 4092826
• The logic of information structures
• Negation and contradiction

Cited in

(2)

• Substructural epistemic logics
• DYNAMIC NEGATION AND NEGATIVE INFORMATION

This page was built for publication: A procedural interpretation of split negation

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