Halldén-completeness in super-intuitionistic predicate logics
Studia Logica 73 (1):113 - 130 (2003)
| Abstract |
One criterion of constructive logics is the disjunction, property (DP). The Halldén-completeness is a weak DP, and is related to the relevance principle and variable separation. This concept is well-understood in the case of propositional logics. We extend this notion to predicate logics. Then three counterparts naturally arise. We discuss relationships between these properties and meet-irreducibility in the lattice of logics.
|
| Keywords | Philosophy Logic Mathematical Logic and Foundations Computational Linguistics |
| Categories | (categorize this paper) |
| Reprint years | 2004 |
| DOI | 10.1023/A:1022941407162 |
| Options |
Save to my reading list
Follow the author(s)
My bibliography
Export citation
Edit this record
Mark as duplicate
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Definability and Interpolation in Non-Classical Logics.Larisa Maksimova - 2006 - Studia Logica 82 (2):271-291.
Similar books and articlesOn Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics.Dmitrij Skvortsov - 1998 - Studia Logica 61 (2):281-292.
Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic.Nobu-Yuki Suzuki - 1995 - Studia Logica 54 (2):173 - 198.
Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics.Nobu-Yuki Suzuki - 1999 - Studia Logica 63 (3):387-416.
An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
On Variable Separation in Modal and Superintuitionistic Logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
The Disjunction Property of Intermediate Propositional Logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
On Maximal Intermediate Predicate Constructive Logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
Some Results on the Kripke Sheaf Semantics for Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Monthly downloads
Added to index
2009-01-28Total downloads
14 ( #336,952 of 2,178,232 )Recent downloads (6 months)
1 ( #316,504 of 2,178,232 )How can I increase my downloads?
My notes
Discussion
Nothing in this forum yet.
