✦ LIBER ✦

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

✍ Scribed by V. V. Rybakov

Publisher: Springer US
Year: 1984
Tongue: English
Weight: 975 KB
Volume: 23
Category: Article
ISSN: 0002-5232
DOI: 10.1007/bf01982031

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Basis in Semi-Reduced Form for the Adm

A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC

✍ Vladimir V. Rybakov; Mehmet Terziler; Vitaliy Remazki 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 252 KB

Bases of admissible rules of the logics

Bases of admissible rules of the logics S4 and Int

✍ V. V. Rybakov 📂 Article 📅 1985 🏛 Springer US 🌐 English ⚖ 692 KB

The decidability of admissibility proble

The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC

✍ S. V. Babenyshev 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 834 KB

The development of a rule based expert s

The development of a rule based expert system model for fraud alert in consumer credit

✍ Kevin J. Leonard 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 506 KB

Transformation of η1-Nitrosyl to η2-Hydr

Transformation of η1-Nitrosyl to η2-Hydroxylaminyl Ligands in the Reduction of [Mo(NO)2(‘S4’)] to [Mo(η2-NH2O)(NO)(‘S4’)]: A Model Reaction for a Partial Step in the Enzymatic NO→NH3 Conversion

✍ Prof. Dr. Dieter Sellmann; Dipl.-Chem. Bernd Seubert; Dr. Matthias Moll; Dr. Fal 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 228 KB 👁 1 views

A model for separation of spatial and te

A model for separation of spatial and temporal information in the visual system

✍ H. Gafni; Y. Y. Zeevi 📂 Article 📅 1977 🏛 Springer-Verlag 🌐 English ⚖ 919 KB