✦ LIBER ✦

The number of finitely axiomatizable completions

✍ Scribed by S. S. Zaurbekov

Publisher: SP MAIK Nauka/Interperiodica
Year: 1991
Tongue: English
Weight: 453 KB
Volume: 32
Category: Article
ISSN: 0037-4466
DOI: 10.1007/bf00970173

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Finitely axiomatizable quasivarieties of

Finitely axiomatizable quasivarieties of graphs

✍ X. Caicedo 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 432 KB

Hereditarily finitely axiomatizable exte

Hereditarily finitely axiomatizable extensions of logic S4

✍ V. V. Rybakov 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 775 KB

A finitely axiomatizable complete theory

A finitely axiomatizable complete theory with atomlessF 1(T)

✍ Ehrenfeucht, A. ;Fuhrken, G. 📂 Article 📅 1971 🏛 Springer-Verlag ⚖ 275 KB

All Finitely Axiomatizable Normal Extens

All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable

✍ Michael Zakharyaschevm; Alexander Alekseev 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 546 KB

We use the apparatus of the canonical formulas introduced by Zakharyaschev [lo] to prove that all finitely axiomatizable normal modal logics containing K4.3 are decidable, though possibly not characterized by classes of finite frames. Our method is purely frame-theoretic. Roughly, given a normal log

Axiomatizability and model completeness

Axiomatizability and model completeness of the class of regular polygons

✍ A. A. Stepanova 📂 Article 📅 1994 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 672 KB

Finite axiomatizability of locally tabul

Finite axiomatizability of locally tabular superintuitionistic logics

✍ A. I. Tsitkin 📂 Article 📅 1986 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 310 KB