scientific article; zbMATH DE number 1749144

zbMath1002.03519MaRDI QIDQ4532130

Klaus Robering

Publication date: 23 July 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic semanticssubstructural logicpartial logictype-free logicimplicative logicAckermann's implicationpositive Ackermann latticepositive fragment

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)

This page was built for publication: