ML-1994-10: Logic of Proofs with the Strong Provability Operator

ML-1994-10: Nogina, Elena (1994) Logic of Proofs with the Strong Provability Operator. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (84kB)
[thumbnail of Abstract] Text (Abstract)

Download (322B)


Logics with the strong provability operator ``... is true and provable''
together with the proof operators ``p is a proof of...'' are axiomatized.
Kripke­style completeness, decidability and arithmetical completeness of
these logics are established.

Item Type: Report
Report Nr: ML-1994-10
Series Name: Mathematical Logic and Foundations (ML)
Year: 1994
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40

Actions (login required)

View Item View Item