✦ LIBER ✦

Bases of admissible rules of the logics S4 and Int

✍ Scribed by V. V. Rybakov

Publisher: Springer US
Year: 1985
Tongue: English
Weight: 692 KB
Volume: 24
Category: Article
ISSN: 0002-5232
DOI: 10.1007/bf01978706

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bases of admissible rules in modal logic

Bases of admissible rules in modal logics S4.2 and S4.2Grz

✍ S. V. Babenyshev 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 449 KB

Bases of admissible inference rules for

Bases of admissible inference rules for table modal logics of depth 2

✍ V. V. Rimatskii 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 339 KB

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

Semantic admissibility criteria for dedu

Semantic admissibility criteria for deduction rules in S4 and Int

✍ V. V. Rybakov 📂 Article 📅 1991 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 455 KB

A criterion for admissibility of rules i

A criterion for admissibility of rules in the model system S4 and the intuitionistic logic

✍ V. V. Rybakov 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 975 KB

Construction of an Explicit Basis for Ru

Construction of an Explicit Basis for Rules Admissible in Modal System S4

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