An infinite class of maximal intermediate propositional logics with the disjunction property |
| |
Authors: | Pierangelo Miglioli |
| |
Affiliation: | (1) Dipartimento di Scienze della Informazione, Università degli Studi di Milano, Via Comelico 39/41, I-20135 Milano, Italy |
| |
Abstract: | Summary Infinitely many intermediate propositional logics with the disjunction property are defined, each logic being characterized both in terms of a finite axiomatization and in terms of a Kripke semantics with the finite model property. The completeness theorems are used to prove that any two logics are constructively incompatible. As a consequence, one deduces that there are infinitely many maximal intermediate propositional logics with the disjunction property. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|