On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview (Q6051797)
From MaRDI portal
scientific article; zbMATH DE number 7740647
Language | Label | Description | Also known as |
---|---|---|---|
English | On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview |
scientific article; zbMATH DE number 7740647 |
Statements
On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview (English)
0 references
20 September 2023
0 references
superintuitionistic predicate logics
0 references
hierarchy of slices
0 references
Jankov-style formulas
0 references
splittings
0 references