A Calculus of Inconsistency I: Sentential Logic

Simple item page
dc.creatorSeabold, Dan
dc.creatorWaner, Stefan
dc.creatorWarner, Steve
dc.date2004-09-02
dc.date.accessioned2026-07-07T05:11:45Z
dc.date.available2026-07-07T05:11:45Z
dc.descriptionWe describe a graph-theoretic syntax for self-referential formulas as well as a four-valued logic to include contradictory and independent formulas. We then explore the degree to which generalized truth tables can be realized in our theory, and go on to describe a model theory for sentential calculus, wherein models are allowed to include contradictions (such as the ``Liar'') and formulas that result from them as an integral part of their structure. This sets the groundwork for a sequel in which we construct models of set theory that include contradictions.
dc.identifierhttps://arxiv.org/abs/math/0409034
dc.identifierhttp://arxiv.org/abs/math/0409034
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/72349
dc.subjectLogic
dc.titleA Calculus of Inconsistency I: Sentential Logic
dc.typetext

Files

Collections

arXiv