Ackermann's Implication for Typefree Logic

DOI10.1093/logcom/11.1.5zbMath0997.03023MaRDI QIDQ2720395

Klaus Robering

Publication date: 11 March 2002

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/11.1.5

zbMATH Keywords

algebraic semantics; substructural logic; partial logic; implicative logic; Ackermann's implication; positive Ackermann lattice; positive fragment; type-free logics

Mathematics Subject Classification ID

03G25: Other algebras related to logic

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

03F03: Proof theory in general (including proof-theoretic semantics)

03B20: Subsystems of classical logic (including intuitionistic logic)

03B40: Combinatory logic and lambda calculus