Superintuitionistic logics and the projective Beth property (Q2713994)
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: Superintuitionistic logics and the projective Beth property |
scientific article; zbMATH DE number 1603252
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Superintuitionistic logics and the projective Beth property |
scientific article; zbMATH DE number 1603252 |
Statements
10 June 2001
0 references
Beth property
0 references
superintuitionistic logic
0 references
Superintuitionistic logics and the projective Beth property (English)
0 references
The author studies the projective Beth property in superintuitionistic logics. A series of conditions equivalent to this property is proven. In particular, it is shown that the projective Beth property is not equivalent to the Craig interpolation property on this class of logics, although the first property follows from the second one.
0 references
