Types of constructive logic
- en coherent logic ➜
- en equational logic ➜
- en intuitionistic logic ➜
- en intuitionistic logic (n) ➜
Related terms
- en logic ➜
- en curry howard correspondence (n) ➜
Word forms
- en constructive logics (n) ➜
Derived from
- en constructive (a) ➜
Links to other resources
- en.wiktionary.org constructive logic