𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Nonfinitely approximable intuitionistic modal logics

✍ Scribed by V. Kh. Sotirov

Publisher
SP MAIK Nauka/Interperiodica
Year
1980
Tongue
English
Weight
237 KB
Volume
27
Category
Article
ISSN
0001-4346

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A general method for proving decidabilit
A general method for proving decidability of intuitionistic modal logics
✍ Natasha Alechina; Dmitry Shkatov πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 152 KB

We generalise the result of [H. Ganzinger, C. Meyer, M. Veanes, The two-variable guarded fragment with transitive relations, in: Proc. 14th IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, 1999, pp. 24-34] on decidability of the two variable monadic guarded fragment of first

Systems of Transfinite Type Theory Based
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics
✍ Kenneth A. Bowen πŸ“‚ Article πŸ“… 1974 πŸ› John Wiley and Sons 🌐 English βš– 953 KB

I n an earlier paper [2], using ZERMELO-FRAENXEL set theory (ZF) as metalanguage, for each ordinal 6 2 1, I introduced a system TTo of transfinite type theory formulated in GENTZEN'S sequentzen style [3]. The notion of sequent and the rules of inference were straightforward generalizations of those