Abstract
The paper presents predicate logical extensions of some subintuitionistic logics. Subintuitionistic logics result if conditions of the accessibility relation in Kripke models for intuitionistic logic are dropped. The accessibility relation which interprets implication in models for the propositional base subintuitionistic logic considered here is neither persistent on atoms, nor reflexive, nor transitive. Strongly complete predicate logical extensions are modeled with a second accessibility relation, which is a partial order, for the interpretation of the universal quantifier.
Similar content being viewed by others
References
van Benthem J. (1986) ‘Partiality and Nonmonotonicity in Classical Logic’. Logique et Analyse 29: 226–246
Celani S., Jansana R. (2001) ‘A Closer Look at Some Subintuitionistic Logics’. Notre Dame Journal of Formal Logic 42(4): 225–255
Corsi G. (1987) ‘Weak Logics with Strict Implication’. Zeitschrift fuer Mathematische Logik 33: 389–406
Dosen, K., 1993, ‘Modal Translations in K and D’. in de Rijke, M. (ed.), Diamonds and Defaults, pp. 103–127.
Fitting M.C. (1969) Intuitionistic Logic, Model Theory and Forcing. North-Holland, Amsterdam
Gabbay D. (1981) Semantical Investigations in Heyting’s Intuitionistic Logic. Reidel, Dordrecht
Kripke S.A. (1965) ‘Semantical Analysis of Intuitionistic Logic’. In: Crossley J.N., Dummett M.A.E. (eds) Formal Systems and Recursive Functions. North-Holland, Amsterdam, pp 93–130
Rasiowa H. (1974) An algebraical approach to non-classical logics. North-Holland, Amsterdam
Restall G. (1994) ‘Subintuitionistic Logics’. Notre Dame Journal of Formal Logic 35: 116–129
Ruitenberg W. (1998) ‘Basic Predicate Calculus’. Notre Dame Journal of Formal Logic 39(1): 18–46
Thomason R.H. (1968) ‘Strong Completeness of Intuitionistic Predicate Logic’. Journal of Symbol Logic 33: 1–7
Wansing H. (1997) ‘Displaying as Temporalizing: Sequent systems for subintuitionistic logics’. In: Akama S. (eds) Logic, language and computation. Kluwer, Dordrecht, pp 159–178
Zimmermann, E., 2001, ‘A subintuitionistic predicate logic and some of its methods’. in de Swart, H. (ed.), Relational Methods in Computer Science, pp. 228–240.
Zimmermann E. (2002) ‘A predicate logical extension of a subintuitionistic propositional logic’. Studia Logica 72(3): 401–410
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zimmermann, E. Predicate Logical Extensions of some Subintuitionistic Logics. Stud Logica 91, 131–138 (2009). https://doi.org/10.1007/s11225-009-9166-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-009-9166-5