✦ LIBER ✦

A Cut-Free Calculus For Dummett's LC Quantified

✍ Scribed by Giovanna Corsi

Publisher: John Wiley and Sons
Year: 1989
Tongue: English
Weight: 527 KB
Volume: 35
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19890350402

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Completeness theorem for dummett's LC qu

Completeness theorem for dummett's LC quantified and some of its extensions

✍ Giovanna Corsi 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 873 KB

Dummett's logic LC quantified, Q-LC, is shown to be characterized by the extended frame (Q+, <,D), where Q+ is the set of non-negative rational numbers, \_< is the numerical relation "less or equal then" and D is the domain function such that for all v, w E Q+, D~ r ~ and if v < w, then Do C Dw. Mor

Cut-free formulations for a quantified l

Cut-free formulations for a quantified logic of here and there

✍ Grigori Mints 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 217 KB

Quantified propositional calculus and a

Quantified propositional calculus and a second-order theory for NC1

✍ Stephen Cook; Tsuyoshi Morioka 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 374 KB

Completeness of a cut-free calculus with

Completeness of a cut-free calculus with equality and function constants

✍ Takano, Mitio 📂 Article 📅 1985 🏛 Springer-Verlag ⚖ 174 KB

Cut elimination for a calculus with cont

Cut elimination for a calculus with context-dependent rules

✍ Birgit Elbl 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 157 KB

Infinitary calculus for a restricted fir

Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas

✍ R. Pliuškevičius 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 967 KB