Expanding \(\text{FL}_{ew}\) with a Boolean connective (Q1699735): Difference between revisions

@@ Property / DOI @@
-.1007/s00500-016-2275-y
@@ Property / DOI: 10.1007/s00500-016-2275-y / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2515638598
@@ Property / OpenAlex ID: W2515638598 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01992
@@ Property / arXiv ID: 1612.01992 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5844815
@@ Property / cites work: Q5844815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893133
@@ Property / cites work: Q4893133 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to intuitionistic connectives
+Normal rank
@@ Property / cites work @@
+Modal operators for meet-complemented lattices
@@ Property / cites work: Modal operators for meet-complemented lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean elements in Lukasiewicz algebras, I
@@ Property / cites work: Boolean elements in Lukasiewicz algebras, I / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean elements in Lukasiewicz algebras, II
@@ Property / cites work: Boolean elements in Lukasiewicz algebras, II / rank @@
+Normal rank
@@ Property / cites work @@
+Q2871198
@@ Property / cites work: Q2871198 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5650376
@@ Property / cites work: Q5650376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3705494
@@ Property / cites work: Q3705494 / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
+Normal rank
@@ Property / cites work @@
+The finite model property for various fragments of intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Bi-Heyting algebras, toposes and modalities
@@ Property / cites work: Bi-Heyting algebras, toposes and modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q5799454
@@ Property / cites work: Q5799454 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5635418
@@ Property / cites work: Q5635418 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610396
@@ Property / cites work: Q5610396 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00500-016-2275-Y
@@ Property / DOI: 10.1007/S00500-016-2275-Y / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1699735