An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi

Mathematical Logic Quarterly 15 (16‐18):259-288 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19690151603

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

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 propositional logic with explicit fixed points.Albert Visser - 1981 - Studia Logica 40 (2):155 - 175.
A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
Completeness theorems for some intermediate predicate calculi.Pierluigi Minari - 1983 - Studia Logica 42 (4):431 - 441.
On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.
A Kripke semantics for the logic of Gelfand quantales.Gerard Allwein & Wendy MacCaull - 2001 - Studia Logica 68 (2):173-228.
Completeness theorem for propositional probabilistic models whose measures have only finite ranges.Radosav Dordević, Miodrag Rašković & Zoran Ognjanović - 2004 - Archive for Mathematical Logic 43 (4):557-563.
Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Applications of weak Kripke semantics to intermediate consequences.Wolfgang Rautenberg - 1986 - Studia Logica 45 (1):119 - 134.
A predicate logical extension of a subintuitionistic propositional logic.Ernst Zimmermann - 2002 - Studia Logica 72 (3):401-410.
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
Advances in Modal Logic, Volume.F. Wolter, H. Wansing, M. de Rijke & M. Zakharyaschev - unknown

Analytics

Added to PP
2013-11-24

Downloads
10 (#1,195,881)

6 months
6 (#524,433)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Admissible Rules of ${{mathsf{BD}_{2}}}$ and ${mathsf{GSc}}$.Jeroen P. Goudsmit - 2018 - Notre Dame Journal of Formal Logic 59 (3):325-353.
Jankov‐theorems for some implicational calculi.Biswambhar Pahi - 1975 - Mathematical Logic Quarterly 21 (1):193-198.

Add more citations

References found in this work

Finite limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.

Add more references