Double negation semantics for generalisations of Heyting algebras (Q2021570): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-020-09909-y
+Normal rank
@@ Property / OpenAlex ID @@
+W3030011612
@@ Property / OpenAlex ID: W3030011612 / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of hoops
@@ Property / cites work: On the structure of hoops / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of varieties with equationally definable principal congruences. III
+Normal rank
@@ Property / cites work @@
+Varieties of commutative residuated integral pomonoids and their residuation subreducts
+Normal rank
@@ Property / cites work @@
+The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Free algebras in varieties of BL-algebras with a Boolean retract.
+Normal rank
@@ Property / cites work @@
+Glivenko like theorems in natural expansions of BCK-logic
+Normal rank
@@ Property / cites work @@
+The Peirce Translation and the Double Negation Shift
+Normal rank
@@ Property / cites work @@
+Glivenko theorems and negative translations in substructural predicate logics
+Normal rank
@@ Property / cites work @@
+Q4981448
@@ Property / cites work: Q4981448 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3222191
@@ Property / cites work: Q3222191 / rank @@
+Normal rank
@@ Property / cites work @@
+Glivenko theorems for substructural logics over FL
+Normal rank
@@ Property / cites work @@
+Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
+Normal rank
@@ Property / cites work @@
+Glivenko theorems revisited
@@ Property / cites work: Glivenko theorems revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q5441067
@@ Property / cites work: Q5441067 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank