Converse Ackermann property and semiclassical negation

DOI10.1007/BF00370290MaRDI QIDQ2641293zbMATH OpenFDO

Authors Yanyan Li

Publication date 1988

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00370290

zbMATH Keywords

Converse Ackermann Propertypositive systems plus semiclassical negationRelational Routley-Meyer type semantics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other nonclassical logic (03B60)

Recommendations

• A Routley-Meyer semantics for converse Ackermann property
• Converse Ackermann property and constructive negation defined with a negation connective
• Constructive negation defined with a falsity constant for positive logics with the CAP defined with a truth constant
• Publication:4206709
• Routley-Meyer ternary relational semantics for intuitionistic-type negations

Cites work

• A Routley-Meyer semantics for converse Ackermann property
• Begründung einer strengen Implikation
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• On conserving positive logics
• Semantics for relevant logics

Cited in

(4)

• A Routley-Meyer semantics for converse Ackermann property
• Constructive negation defined with a falsity constant for positive logics with the CAP defined with a truth constant
• scientific article; zbMATH DE number 4127173 (Why is no real title available?)
• Converse Ackermann property and constructive negation defined with a negation connective

This page was built for publication: Converse Ackermann property and semiclassical negation

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