Modalities in Ackermann's “rigorous implication”
From MaRDI portal
Publication:3262776
DOI10.2307/2964754zbMath0090.00903MaRDI QIDQ3262776
Nuel D. jun. Belnap, A. R. Anderson
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
Related Items
The pleasures of anticipation: Enriching intuitionistic logic, The contraction rule and decision problems for logics without structural rules, Classical relevant logics. I, The semantics of entailment. III, The existence of matrices strongly adequate for E, R and their fragments, Conservative extension in relevant implication, Residuated Structures, Concentric Sums and Finiteness Conditions, The pure calculus of entailment
Cites Work