Ackermann's Implication for Typefree Logic

DOI10.1093/LOGCOM/11.1.5zbMath0997.03023OpenAlexW2062688887MaRDI 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 semanticssubstructural logicpartial logicimplicative logicAckermann's implicationpositive Ackermann latticepositive fragmenttype-free logics

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (2)

A Sequent Systems without Improper Derivations ⋮ A Classification of Improper Inference Rules

This page was built for publication: Ackermann's Implication for Typefree Logic