Merging Intuitionistic and De Morgan Logics
We introduce De Morgan Heyting logic for Heyting algebras with De Morgan negation (DH-algebras). The variety <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi mathvariant="script">DH</mi></s...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2024-01-01
|
| Series: | Mathematics |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2227-7390/12/1/146 |