Double negation semantics for generalisations of Heyting algebras

DOI10.1007/s11225-020-09909-yOpenAlexW3030011612MaRDI QIDQ2021570

Rob Arthan, Paulo Oliva

Publication date: 27 April 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-020-09909-y

zbMATH Keywords

algebraic semanticsdouble negation translationnegative translationhoopsinvolutive coreinvolutive replicapocrims

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
• Glivenko theorems revisited
• On the structure of varieties with equationally definable principal congruences. III
• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• Free algebras in varieties of BL-algebras with a Boolean retract.
• On the structure of hoops
• Glivenko theorems and negative translations in substructural predicate logics
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Glivenko theorems for substructural logics over FL
• The Peirce Translation and the Double Negation Shift
• Glivenko like theorems in natural expansions of BCK-logic
• Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik