Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457)
From MaRDI portal
scientific article; zbMATH DE number 7672616
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Jankov Formulas and Axiomatization Techniques for Intermediate Logics |
scientific article; zbMATH DE number 7672616 |
Statements
Jankov Formulas and Axiomatization Techniques for Intermediate Logics (English)
0 references
5 April 2023
0 references
intuitionistic logic
0 references
intermediate logics
0 references
splittings
0 references
subframe logics
0 references
axiomatization
0 references
finite model property
0 references
