A procedural interpretation of split negation

zbMATH Open1275.03094MaRDI QIDQ4903809FDOQ4903809

Authors: Sebastian Sequoiah-Grayson 

Publication date: 27 January 2013

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

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)

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)