Modalities in Ackermann's “rigorous implication”

DOI10.2307/2964754zbMath0090.00903OpenAlexW2081209067MaRDI QIDQ3262776

A. R. Anderson, Nuel D. jun. Belnap

Publication date: 1959

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2964754

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (13)

Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ Non-Boolean classical relevant logics. I ⋮ Contextual deduction theorems ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ The contraction rule and decision problems for logics without structural rules ⋮ The pure calculus of entailment ⋮ Conservative extension in relevant implication ⋮ Classical relevant logics. I ⋮ The semantics of entailment. III ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ The existence of matrices strongly adequate for E, R and their fragments ⋮ Tarskian Classical Relevant Logic

Cites Work

• An essay in modal logic
• Begründung einer strengen Implikation
• Modalities in the Survey system of strict implication

This page was built for publication: Modalities in Ackermann's “rigorous implication”