A simple treatment of truth functions

DOI10.2307/2963898zbMath0096.24204OpenAlexW2004265682MaRDI QIDQ3274967

Ross Alan 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/2963898

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

On the classical propositional calculus of A. R. Anderson and N. D. Belnap, Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors, First degree entailments, From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics, On the existence of a modal antinomy

Cites Work

• Begründung einer strengen Implikation
• The permutability of rules in the classical inferential calculus