An inadequacy in Kripke-semantics for intuitionistic quantificational logic

Bulletin of the Section of Logic 7 (2):61-65 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

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.
An Investigation into Intuitionistic Logic with Identity.Szymon Chlebowski & Dorota Leszczyńska-Jasion - 2019 - Bulletin of the Section of Logic 48 (4).
On Jaskowski-type semantics for the intuitionistic propositional logic.Stanislaw Surma, Andrzej Wronski & Stanislaw Zachorowski - 1974 - Bulletin of the Section of Logic 3 (2):6-10.
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4.Gemma Robles, Sandra M. López, José M. Blanco, Marcos M. Recio & Jesús R. Paradela - 2016 - Bulletin of the Section of Logic 45 (2).
Kripke semantics for logics with BCK implication.Wendy MacCaull - 1996 - Bulletin of the Section of Logic 25:41-51.
Routley-Meyer ternary relational semantics for intuitionistic-type negations.Gemma Robles & José M. Méndez - 2018 - London, United Kingdom: Elsevier, Academic Press. Edited by José M. Méndez.
A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions.G. Robles & J. M. Mendez - 2015 - Logic Journal of the IGPL 23 (2):174-193.
On combining intuitionistic and S4 modal logic.João Rasga & Cristina Sernadas - forthcoming - Bulletin of the Section of Logic.
Simplified Kripke style semantics for modal logics K45, KB4 and KD45.Andrzej Pietruszczak - 2009 - Bulletin of the Section of Logic 38 (3/4):163-171.
A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\). [REVIEW]Gemma Robles & José M. Méndez - 2022 - Bulletin of the Section of Logic 51 (4):487-505.

Analytics

Added to PP
2014-02-19

Downloads
23 (#160,613)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references