Ordered sets R and Q as bases of Kripke models (Q1109762)
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: Ordered sets R and Q as bases of Kripke models |
scientific article; zbMATH DE number 4070870
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ordered sets R and Q as bases of Kripke models |
scientific article; zbMATH DE number 4070870 |
Statements
Ordered sets R and Q as bases of Kripke models (English)
0 references
1987
0 references
The author gives axiomatizations to the constant domain intermediate logics that are defined by the ordered set of real numbers and by the ordered set of rational numbers, respectively, as the bases of their constant domain Kripke models. Some results are also proved to show the interrelation between such logics.
0 references
axiomatizations
0 references
constant domain intermediate logics
0 references
ordered set of real numbers
0 references
ordered set of rational numbers
0 references
Kripke models
0 references
