Abstract
A theorem due to Shoesmith and Smiley that axiomatizes two-valued multiple-conclusion logics is extended to partial logics.
Citation
Fred Johnson. "Rejection and Truth-Value Gaps." Notre Dame J. Formal Logic 40 (4) 574 - 577, Fall 1999. https://doi.org/10.1305/ndjfl/1012429721
Information
Published: Fall 1999
First available in Project Euclid: 30 January 2002
zbMATH: 0989.03021
MathSciNet: MR1858245
Digital Object Identifier: 10.1305/ndjfl/1012429721
Subjects:
Primary:
03C35
Secondary:
03B50
Rights: Copyright © 1999 University of Notre Dame
