A Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics
Logic
2012-01-04 v8
Abstract
This paper will develop a single framework for unifying, simplifying and extending our prior results about axiom systems that retain a partial knowledge of their own consistency, via an axiomatic declaration of self-consistency. Its perhaps single most surprising new result will be its exploration of a viable alternative to conventional reflection principles.
Keywords
Cite
@article{arxiv.1108.6330,
title = {A Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics},
author = {Dan E. Willard},
journal= {arXiv preprint arXiv:1108.6330},
year = {2012}
}
Comments
64 pages