Sciweavers

Share
CSR
2010
Springer

Prehistoric Phenomena and Self-referentiality

9 years 8 months ago
Prehistoric Phenomena and Self-referentiality
By terms-allowed-in-types capacity, the Logic of Proofs LP includes formulas of the form t : ϕ(t), which have self-referential meanings. In this paper, “prehistoric phenomena” in a Gentzen-style formulation of modal logic S4 are defined. A special phenomenon, i.e., “left prehistoric loop”, is then shown to be necessary for self-referentiality in S4-LP realization.
Junhua Yu
Added 19 Jul 2010
Updated 19 Jul 2010
Type Conference
Year 2010
Where CSR
Authors Junhua Yu
Comments (0)
books