scientific article; zbMATH DE number 1749144

zbMATH Open1002.03519MaRDI QIDQ4532130FDOQ4532130

Klaus Robering

Publication date: 23 July 2002

Title of this publication is not available (Why is that?)

zbMATH Keywords

substructural logicalgebraic semanticspartial logictype-free logicimplicative logicAckermann's implicationpositive Ackermann latticepositive fragment

Mathematics Subject Classification ID

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) Other algebras related to logic (03G25)

Cited In (1)

• Type-free property theory, exemplification and Russell's paradox

This page was built for publication:

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