Converse Ackermann property and constructive negation defined with a negation connective

DOI10.12775/LLP.2006.007MaRDI QIDQ5437781zbMATH OpenFDO

Authors

Publication date 28 January 2008

Published in Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

relevance logicsconstructive negationconverse Ackermann propertyrelational ternary semantics

Mathematics Subject Classification ID

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

Recommendations

• A constructive negation defined with a negation connective for logics including Bp\(_+\)
• Constructive negations and paraconsistency
• Negation as cancellation, and connexive logic
• Négation constructive et axiomatique interne
• scientific article; zbMATH DE number 4193621
• Constructive negation under the well-founded semantics
• Constructive negation, implication, and co-implication
• Axiomatic extensions of the constructive logic with strong negation and the disjunction property
• scientific article; zbMATH DE number 6287559
• Converse Ackermann property and semiclassical negation

Cited in

(4)

• A Routley-Meyer semantics for converse Ackermann property
• Current trends in substructural logics
• Constructive negation defined with a falsity constant for positive logics with the CAP defined with a truth constant
• Converse Ackermann property and semiclassical negation

This page was built for publication: Converse Ackermann property and constructive negation defined with a negation connective

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