✦ LIBER ✦

Referential logic of proofs

✍ Scribed by Vladimir N. Krupski

Book ID: 108281195
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 377 KB
Volume: 357
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.03.016

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Referential Opacity and Epistemic Logic

✍ Saloua Chatti 📂 Article 📅 2011 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 239 KB

Logic of proofs with substitution

✍ N. M. Rubtsova 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 581 KB

Logic of proofs and provability

✍ Tatiana Yavorskaya (Sidon) 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 216 KB

In the paper the joint Logic of Proofs and Provability LPP is presented that incorporates both the modality for provability (Israel J. Math. 25 (1976) 287-304) and the proof operator <t=F representing the proof predicate "t is a proof of F " (Technical Report No. CFIS 95-29, Cornell University, 1995

The logic of proofs, semantically

✍ Melvin Fitting 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 284 KB

Intuitionistic Hypothetical Logic of Pro

Intuitionistic Hypothetical Logic of Proofs

✍ Steren, Gabriela; Bonelli, Eduardo 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 290 KB

Self-Referential Justifications in Epist

Self-Referential Justifications in Epistemic Logic

✍ Roman Kuznets 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 588 KB