scientific article; zbMATH DE number 1749144

MaRDI QIDQ4532130zbMATH OpenFDO

Authors Klaus Robering

Publication date 23 July 2002

zbMATH Keywords

Ackermann's implicationalgebraic semanticsimplicative logicpartial logicpositive Ackermann latticepositive fragmentsubstructural logictype-free logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) 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)