Halldén-Completeness in Super-Intuitionistic Predicate Logics

Studia Logica 73 (1):113-130 (2003)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1022941407162

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Halldén-completeness in super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
Algebraic Kripke sheaf semantics for non-classical predicate logics.Nobu-Yuki Suzuki - 1999 - Studia Logica 63 (3):387-416.
On 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.
On the existence of continua of logics between some intermediate predicate logics.D. Skvortsov - 2000 - Studia Logica 64 (2):257-270.
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.Nobu-Yuki Suzuki - 1993 - Studia Logica 52 (1):73 - 94.
A translation of intuitionistic predicate logic into basic predicate logic.Mohammad Ardeshir - 1999 - Studia Logica 62 (3):341-352.
Glivenko type theorems for intuitionistic modal logics.Guram Bezhanishvili - 2001 - Studia Logica 67 (1):89-109.
Embedding logics into product logic.Matthias Baaz, Petr Hájek, David Švejda & Jan Krajíček - 1998 - Studia Logica 61 (1):35-47.
Combining possibilities and negations.Greg Restall - 1997 - Studia Logica 59 (1):121-141.
Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster.Tatsuya Shimura - 2000 - Studia Logica 65 (2):237-247.
Completeness and incompleteness for intuitionistic logic.Charles Mccarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
A remark on super-intuitionistic predicate logics having the same propositional fragment.Nobu-Yuki Suzuki - 1999 - Bulletin of the Section of Logic 28 (2):107-115.
A map of common knowledge logics.Mamoru Kaneko, Takashi Nagashima, Nobu-Yuki Suzuki & Yoshihito Tanaka - 2002 - Studia Logica 71 (1):57-86.
Cut-free tableau calculi for some intuitionistic modal logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.

Analytics

Added to PP
2016-02-14

Downloads
8 (#1,249,165)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references