A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613)
From MaRDI portal
scientific article; zbMATH DE number 6607492
Language | Label | Description | Also known as |
---|---|---|---|
English | A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC |
scientific article; zbMATH DE number 6607492 |
Statements
A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (English)
0 references
29 July 2016
0 references
dual intuitionistic logic
0 references
intuitionistic logic
0 references
S4
0 references
Goedel translation
0 references
0 references