ISSN:
1572-8730
Keywords:
strong completeness
;
strong w-completeness
;
completeness
;
hypercanonicity
;
extensive canonicity
;
canonicity
;
extensive w-canonicity
;
w-canonicity
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Abstract By using algebraic-categorical tools, we establish four criteria in order to disprove canonicity, strong completeness, w-canonicity and strong w-completeness, respectively, of an intermediate propositional logic. We then apply the second criterion in order to get the following result: all the logics defined by extra-intuitionistic one-variable schemata, except four of them, are not strongly complete. We also apply the fourth criterion in order to prove that the Gabbay-de Jongh logic D1 is not strongly w-complete.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1005203020752
Permalink