Halldén-completeness in super-intuitionistic predicate logics

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


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.



    Upload a copy of this work     Papers currently archived: 89,311

External links

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

Through your library


Added to PP

33 (#411,978)

6 months
1 (#999,496)

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