Independence in higher-order subclassical logic (Q1091385)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Independence in higher-order subclassical logic |
scientific article; zbMATH DE number 4010494
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Independence in higher-order subclassical logic |
scientific article; zbMATH DE number 4010494 |
Statements
Independence in higher-order subclassical logic (English)
0 references
1985
0 references
The author uses semantic structures consisting of a partially ordered set underlying a complete Heyting lattice and a designated member of the set to establish the following independence results for higher order intuitionistic and intermediate logics: (1) the conditional and the universal quantifier are not definable; (2) any definition of negation, disjunction, conjunction or existential quantification requires both the conditional and the universal quantifier.
0 references
intuitionistic logic
0 references
independence of connectives
0 references
intermediate logics
0 references
semantic structures
0 references
complete Heyting lattice
0 references
