Converse Ackermann property and semiclassical negation

DOI10.1007/BF00370290zbMath0722.03021MaRDI QIDQ2641293

Yanyan Li

Publication date: 1988

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• A Routley-Meyer semantics for converse Ackermann property
• On conserving positive logics
• Begründung einer strengen Implikation
• Semantics for relevant logics

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