Clausal intuitionistic logic I. fixed-point semantics (Q3787973)
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: Clausal intuitionistic logic I. fixed-point semantics |
scientific article; zbMATH DE number 4051561
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Clausal intuitionistic logic I. fixed-point semantics |
scientific article; zbMATH DE number 4051561 |
Statements
Clausal intuitionistic logic I. fixed-point semantics (English)
0 references
1988
0 references
intuitionistic logic
0 references
extension of Horn clause logic
0 references
intuitionistic semantics
0 references
fixed point semantics
0 references
model intersection property
0 references
0.8208816
0 references
0.81208545
0 references
0.7949662
0 references
0 references
0.7831248
0 references
0.7823394
0 references
0.7796776
0 references
0 references
