On proofs of some axioms with Sheffer functor ‘D’

DOI10.3792/PJA/1195520939zbMath0182.31405OpenAlexW1995343097WikidataQ114576085 ScholiaQ114576085MaRDI QIDQ5572296

Shotaro Tanaka

Publication date: 1968

Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3792/pja/1195520939

zbMATH Keywords

general logic

Cites Work

• Unnamed Item
• Axiomatization of propositional calculus with Sheffer functors
• An Extension of “Fitch's rules”

This page was built for publication: On proofs of some axioms with Sheffer functor ‘D’