✦ LIBER ✦

A Class of Decidable Intermediate Propositional Logics

✍ Scribed by C. G. McKay

Book ID: 124972093
Publisher: Association for Symbolic Logic
Year: 1971
Tongue: English
Weight: 241 KB
Volume: 36
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2271521

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Two classes of intermediate propositiona

Two classes of intermediate propositional logics without disjunction property

✍ Fabio Bellissima 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 485 KB

On the Decidability of Propositional Alg

On the Decidability of Propositional Algorithmic Logic

✍ Bogdan S. Chlebus 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 802 KB

ON THE DECIDABILITY OF PROPOSITIONAL ALGORITHMIC LOGIC by BOGDAN S. CHLEBIJS in Warsaw (Po1and)l) 0. Introduction Let PAL be a n abbreviation for propositional algorithmic logic. The investigation of PAL is a continuation of earlier works on algorithmic logic (GRABOWSKI [3], KRECZMAR [5], SALWICKI [

A study of intermediate propositional lo

A study of intermediate propositional logics on the third slice

✍ Tsutomu Hosoi; Isao Masuda 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 269 KB

Remark on a finite axiomatization of fin

Remark on a finite axiomatization of finite intermediate propositional logics

✍ Skvortsov, D. 📂 Article 📅 1999 🏛 Editions Lavoisier 🌐 English ⚖ 286 KB

Decidability of Some Classes of Modal Lo

Decidability of Some Classes of Modal Logic

✍ S. Norgėla 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 95 KB

The Decidability of Certain Intermediate

The Decidability of Certain Intermediate Propositional Logicsby C. G. McKay

✍ Review by: T. Umezawa 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 331 KB