✦ LIBER ✦

A completeness theorem for weak equational logic

✍ Scribed by Leszek Rudak

Book ID: 112495515
Publisher: Springer
Year: 1983
Tongue: English
Weight: 306 KB
Volume: 16
Category: Article
ISSN: 0002-5240
DOI: 10.1007/bf01191787

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strong Completeness Theorems for Weak Lo

Strong Completeness Theorems for Weak Logics of Common Belief

✍ Luc Lismont; Philippe Mongin 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 141 KB

A weak form of interpolation in equation

A weak form of interpolation in equational logic

✍ L. L. Maksimova 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 397 KB

An Intuitionistic Completeness Theorem f

An Intuitionistic Completeness Theorem for Classical Predicate Logic

✍ Victor N. Krivtsov 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 177 KB

On Weak Completeness of Intuitionistic P

On Weak Completeness of Intuitionistic Predicate Logic

✍ G. Kreisel 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 625 KB

Deduction theorems for weak implicationa

Deduction theorems for weak implicational logics

✍ M. W. Bunder 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 649 KB

The standard deduction theorem or introduction rule for implication, for classical logic is also valid/or intuitiouistic logic, but just as with predicate logic, other rules of inference have to be restricted if the theorem is ~o ho14 for weaker impli. cational logics. In this paper we look in 4eta

A completeness theorem in second order m

A completeness theorem in second order modal logic

✍ NINO B. COCCHIARELLA 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 880 KB