Algebraic semantics for the (↔, ¬¬)-fragment of IPC (Q3117777): 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.1002/malq.201110001
+Normal rank
@@ Property / OpenAlex ID @@
+W2111807398
@@ Property / OpenAlex ID: W2111807398 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329439
@@ Property / cites work: Q3329439 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules in the implication-negation fragment of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q3745828
@@ Property / cites work: Q3745828 / rank @@
+Normal rank
@@ Property / cites work @@
+FREGEAN VARIETIES
@@ Property / cites work: FREGEAN VARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+The commutator in equivalential algebras and Fregean varieties
+Normal rank
@@ Property / cites work @@
+Computations in fragments of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Positive Sugihara monoids
@@ Property / cites work: Positive Sugihara monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Completeness in Substructural Logics
@@ Property / cites work: Structural Completeness in Substructural Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic implication without disjunction
@@ Property / cites work: Intuitionistic implication without disjunction / rank @@
+Normal rank
@@ Property / cites work @@
+A general Glivenko theorem
@@ Property / cites work: A general Glivenko theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141956
@@ Property / cites work: Q3141956 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141960
@@ Property / cites work: Q3141960 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalential algebras. I: Representation
@@ Property / cites work: Equivalential algebras. I: Representation / rank @@
+Normal rank
@@ Property / cites work @@
+Free equivalential algebras
@@ Property / cites work: Free equivalential algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Unification and projectivity in Fregean varieties
@@ Property / cites work: Unification and projectivity in Fregean varieties / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to Glivenko's theorem in algebraizable logics
+Normal rank