Bulletin of the Section of Logic 46 (1/2) (2017)
| Abstract |
We discuss relationships among the existence property, the disjunction property, and their weak variants in the setting of intermediate predicate logics. We deal with the weak and sentential existence properties, and the Z-normality, which is a weak variant of the disjunction property. These weak variants were presented in the author’s previous paper [16]. In the present paper, the Kripke sheaf semantics is used.
|
| Keywords | No keywords specified (fix it) |
| Categories |
No categories specified (categorize this paper) |
| DOI | 10.18778/0138-0680.46.1.2.08 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 69,979
External links
- From the Publisher via CrossRef (no proxy)
- dspace.uni.lodz.pl:8080
(no proxy) - hdl.handle.net (no proxy)
- czasopisma.uni.lodz.pl (no proxy)
- czasopisma.uni.lodz.pl [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (1):11-18.
A Note on the Independence of Premiss Rule.Hajime Ishihara & Takako Nemoto - 2016 - Mathematical Logic Quarterly 62 (1-2):72-76.
A Remark on the Delta Operation and the Kripke Sheaf Semantics in Super-Intuitionistic Predicate Logics'.N. Y. Suzuki - 1996 - Bulletin of the Section of Logic 25 (1):21-28.
View all 6 references / Add more references
Citations of this work BETA
Unification in First-Order Transitive Modal Logic.Wojciech Dzik & Piotr Wojtylak - forthcoming - Logic Journal of the IGPL.
Similar books and articles
Halldén-Completeness in Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113-130.
Halldén-Completeness in Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
On Maximal Intermediate Predicate Constructive Logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
On the Existence of Continua of Logics Between Some Intermediate Predicate Logics.D. Skvortsov - 2000 - Studia Logica 64 (2):257-270.
The Disjunction Property of Intermediate Propositional Logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
Some Syntactical Properties of Intermediate Predicate Logics.Nobu-Yuki Suzuki - 1990 - Notre Dame Journal of Formal Logic 31 (4):548-559.
Some Results on the Kripke Sheaf Semantics for Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics.Nobu-Yuki Suzuki - 1999 - Studia Logica 63 (3):387-416.
On Completeness of Intermediate Predicate Logics with Respect to {K}Ripke Semantics.T. Shimura - 1995 - Bulletin of the Section of Logic 24:41-45.
Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic.Nobu-Yuki Suzuki - 1995 - Studia Logica 54 (2):173 - 198.
On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics.Dmitrij Skvortsov - 1998 - Studia Logica 61 (2):281-292.
Counting the Maximal Intermediate Constructive Logics.Mauro Ferrari & Pierangelo Miglioli - 1993 - Journal of Symbolic Logic 58 (4):1365-1401.
Analytics
Added to PP index
2018-04-25
Total views
13 ( #768,662 of 2,504,875 )
Recent downloads (6 months)
1 ( #417,030 of 2,504,875 )
2018-04-25
Total views
13 ( #768,662 of 2,504,875 )
Recent downloads (6 months)
1 ( #417,030 of 2,504,875 )
How can I increase my downloads?
Downloads
