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)

Review text

The implication in Ackermann's system of partial logic has a deductive interpretation, viz. \( A \to B\) means that \(B\) is derivable from \(A\). The paper studies the positive fragment of Ackermann's logic and gives a Hilbert-style and a natural deduction formulations for it. Then it is characterized by a hierarchy of deductive systems. Finally, the paper introduces a new algebraic semantics for the positive fragment of Ackermann's system in terms of so-called `positive Ackermann's lattices', and establishes a completeness result with respect to this semantics.

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)