A System of Mutually Contradictory n Abstractions Whose Proper Sub-Systems Are all Mutually Consistent

DOI10.1017/S0027763000026805zbMath0165.01301MaRDI QIDQ5549793

Minolu Ohta, Katuzi Ono

Publication date: 1968

Published in: Nagoya Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

general logic

Cites Work

• Mutual Contradiction of Two Self-Consistent Abstractions
• On Systems of Self-Consistent Abstractions
• New Foundations for Mathematical Logic

This page was built for publication: A System of Mutually Contradictory n Abstractions Whose Proper Sub-Systems Are all Mutually Consistent