Ackermann's implication for typefree logic

DOI10.1093/LOGCOM/11.1.5MaRDI QIDQ2720395zbMATH OpenOpenAlexFDO

Authors 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

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

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)

Recommendations

• A Routley-Meyer semantics for Ackermann's logics of ``strenge Implikation
• A Routley-Meyer semantics for converse Ackermann property
• Publication:4206709
• On structural features of the implication fragment of Frege's \textit{Grundgesetze}
• Begründung einer strengen Implikation

Cited in

(5)

• Type-free property theory, exemplification and Russell's paradox
• A Routley-Meyer semantics for Ackermann's logics of ``strenge Implikation
• Axiomatic System, Deduction and Implication
• A Sequent Systems without Improper Derivations
• A Classification of Improper Inference Rules

This page was built for publication: Ackermann's implication for typefree logic

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