Converse Ackermann property and constructive negation defined with a negation connective

DOI10.12775/LLP.2006.007zbMATH Open1134.03015MaRDI QIDQ5437781FDOQ5437781

Authors:

Publication date: 28 January 2008

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

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

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)

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)