全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
Mathematics  2011 

A Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics

Full-Text   Cite this paper   Add to My Lib

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.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133