Constructive negation defined with a falsity constant for positive logics with the CAP defined with a truth constant

zbMATH Open1107.03019MaRDI QIDQ3367504FDOQ3367504

Authors:

Publication date: 24 January 2006

Recommendations

• Converse Ackermann property and constructive negation defined with a negation connective
• A Routley-Meyer semantics for converse Ackermann property
• Converse Ackermann property and semiclassical negation
• The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant
• scientific article; zbMATH DE number 5316399

zbMATH Keywords

substructural logicsconstructive negationconverse Ackermann property

Mathematics Subject Classification ID

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

Cited In (6)

• A Routley-Meyer semantics for converse Ackermann property
• Sentential constants in R and \(R^{\neg}\)
• Title not available (Why is that?)
• Converse Ackermann property and semiclassical negation
• Title not available (Why is that?)
• Boolean negation and non-conservativity. III: The Ackermann constant

This page was built for publication: Constructive negation defined with a falsity constant for positive logics with the CAP defined with a truth constant

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