Open Access
Translator Disclaimer
2007 A Sound and Complete Proof Theory for Propositional Logical Contingencies
Alexander Hertel, Philipp Hertel, Charles Morgan
Notre Dame J. Formal Logic 48(4): 521-530 (2007). DOI: 10.1305/ndjfl/1193667709

Abstract

There are simple, purely syntactic axiomatic proof systems for both the logical truths and the logical falsehoods of propositional logic. However, to date no such system has been developed for the logical contingencies, that is, formulas that are both satisfiable and falsifiable. This paper formalizes the purely syntactic axiomatic proof systems for the logical contingencies and proves its soundness as well as completeness.

Citation

Download Citation

Alexander Hertel. Philipp Hertel. Charles Morgan. "A Sound and Complete Proof Theory for Propositional Logical Contingencies." Notre Dame J. Formal Logic 48 (4) 521 - 530, 2007. https://doi.org/10.1305/ndjfl/1193667709

Information

Published: 2007
First available in Project Euclid: 29 October 2007

zbMATH: 1142.03007
MathSciNet: MR2357526
Digital Object Identifier: 10.1305/ndjfl/1193667709

Subjects:
Primary: 03B05

Keywords: classical propositional logic , logical contingencies , logically contingent formulas , purely syntactic proof systems

Rights: Copyright © 2007 University of Notre Dame

JOURNAL ARTICLE
10 PAGES


SHARE
Vol.48 • No. 4 • 2007
Back to Top