Intuitionistic logic is a connexive logic (Q6127186)
From MaRDI portal
scientific article; zbMATH DE number 7830165
Language | Label | Description | Also known as |
---|---|---|---|
English | Intuitionistic logic is a connexive logic |
scientific article; zbMATH DE number 7830165 |
Statements
Intuitionistic logic is a connexive logic (English)
0 references
10 April 2024
0 references
connexive logic
0 references
intuitionistic logic
0 references
Heyting algebra
0 references
semi-Heyting algebra
0 references
algebraic logic
0 references
connexive Heyting algebra
0 references
connexive Heyting logic
0 references