The sentential calculus using rule of inference Re

DOI10.2307/2964209zbMath0105.24701OpenAlexW1970080349MaRDI QIDQ3290718

Richard Bradshaw Angell

Publication date: 1960

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

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

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Algebraic formulation of propositional calculi with general detachment rule ⋮ Replacement in logic

This page was built for publication: The sentential calculus using rule of inference R_e