✦ LIBER ✦

On the rules of intermediate logics

✍ Scribed by Rosalie Iemhoff

Publisher: Springer
Year: 2006
Tongue: English
Weight: 234 KB
Volume: 45
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s00153-006-0320-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Intermediate logics preserving admissibl

Intermediate logics preserving admissible inference rules of heyting calculus

✍ Vladimir V. Rybakov 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 767 KB

## Abstract The aim of this paper is to look from the point of view of admissibility of inference rules at intermediate logics having the finite model property which extend Heyting's intuitionistic propositional logic __H.__ A semantic description for logics with the finite model property preservin

A note on admissible rules and the disju

A note on admissible rules and the disjunction property in intermediate logics

✍ Alexander Citkin 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 262 KB

MULTIPLE FORMS OF GENTZEN'S RULES AND SO

MULTIPLE FORMS OF GENTZEN'S RULES AND SOME INTERMEDIATE LOGICS

✍ Z. Šikić 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 185 KB

On finite linear intermediate predicate

On finite linear intermediate predicate logics

✍ Hiroakira Ono 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 504 KB

On finite approximability of ψ-intermedi

On finite approximability of ψ-intermediate logics

✍ Wiesław Dziobiak 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 432 KB

On maximal intermediate logics with the

On maximal intermediate logics with the disjunction property

✍ Larisa L. Maksimova 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 373 KB