Halldén-completeness in super-intuitionistic predicate logics (Q1868242)
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: Halldén-completeness in super-intuitionistic predicate logics |
scientific article; zbMATH DE number 1901327
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Halldén-completeness in super-intuitionistic predicate logics |
scientific article; zbMATH DE number 1901327 |
Statements
Halldén-completeness in super-intuitionistic predicate logics (English)
0 references
27 April 2003
0 references
Halldén-completeness
0 references
super-intuitionistic predicate logics
0 references
Kripke sheaf semantics
0 references
0.91923684
0 references
0.9108003
0 references
0.90342146
0 references
