Ordered sets R and Q as bases of Kripke models (Q1109762)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ordered sets R and Q as bases of Kripke models |
scientific article |
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
