Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation (Q6111081)
From MaRDI portal
scientific article; zbMATH DE number 7708096
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation |
scientific article; zbMATH DE number 7708096 |
Statements
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation (English)
0 references
6 July 2023
0 references
Heyting algebras
0 references
contrapositionally complemented lattices
0 references
intuitionistic logic
0 references
minimal logic
0 references
compatibility frames
0 references
kite of negations
0 references
