V. Yankov’s Contributions to Propositional Logic (Q5886455)
From MaRDI portal
scientific article; zbMATH DE number 7672614
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | V. Yankov’s Contributions to Propositional Logic |
scientific article; zbMATH DE number 7672614 |
Statements
V. Yankov’s Contributions to Propositional Logic (English)
0 references
5 April 2023
0 references
Yankov's formula
0 references
characteristic formula
0 references
intermediate logic
0 references
implicative lattice
0 references
weak law of excluded middle
0 references
Yankov's logic
0 references
positive logic
0 references
logic of realizability
0 references
Heyting algebra
0 references
