Studia Logica 52 (1):15 - 21 (1993)
The intermediate logics have been classified into slices (cf. Hosoi ), but the detailed structure of slices has been studied only for the first two slices (cf. Hosoi and Ono ). In order to study the structure of slices, we give a method of a finer classification of slices & n (n 3). Here we treat only the third slice as an example, but the method can be extended to other slices in an obvious way. It is proved that each subslice contains continuum of logics. A characterization of logics in each subslice is given in terms of the form of models.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Kripke Completeness of Some Intermediate Predicate Logics with the Axiom of Constant Domain and a Variant of Canonical Formulas.Tatsuya Shimura - 1993 - Studia Logica 52 (1):23 - 40.
Pseudo Two-Valued Evaluation Method for Intermediate Logics.Tsutomu Hosoi - 1986 - Studia Logica 45 (1):3 - 8.
On Maximal Intermediate Predicate Constructive Logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
Counting the Maximal Intermediate Constructive Logics.Mauro Ferrari & Pierangelo Miglioli - 1993 - Journal of Symbolic Logic 58 (4):1365-1401.
The Disjunction Property of Intermediate Propositional Logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
The Simple Substitution Property of Gödel's Intermediate Propositional Logics Sn's.Katsumi Sasaki - 1990 - Studia Logica 49 (4):471 - 481.
On the Existence of Continua of Logics Between Some Intermediate Predicate Logics.D. Skvortsov - 2000 - Studia Logica 64 (2):257-270.
The Simple Substitution Property of the Intermediate Propositional Logics on Finite Slices.Katsumi Sasaki - 1993 - Studia Logica 52 (1):41 - 62.
Added to index2009-01-28
Total downloads18 ( #270,334 of 2,168,526 )
Recent downloads (6 months)1 ( #346,757 of 2,168,526 )
How can I increase my downloads?