✦ LIBER ✦

Logic of proofs with substitution

✍ Scribed by N. M. Rubtsova

Book ID: 110149259
Publisher: SP MAIK Nauka/Interperiodica
Year: 2007
Tongue: English
Weight: 581 KB
Volume: 82
Category: Article
ISSN: 0001-4346
DOI: 10.1134/s0001434607110260

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Referential logic of proofs

✍ Vladimir N. Krupski 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 377 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

The number of lines in Frege proofs with

The number of lines in Frege proofs with substitution

✍ Alasdair Urquhart 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 74 KB

The Basic Intuitionistic Logic of Proofs

✍ Sergei Artemov and Rosalie Iemhoff 📂 Article 📅 2007 🏛 Association for Symbolic Logic 🌐 English ⚖ 993 KB