A Kripke Semantics for Hajek's BL (Q6196499): Difference between revisions

@@ Property / cites work @@
+The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
+Normal rank
@@ Property / cites work @@
+Poset product and BL-chains
@@ Property / cites work: Poset product and BL-chains / rank @@
+Normal rank
@@ Property / cites work @@
+Poset products as relational models
@@ Property / cites work: Poset products as relational models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Semi De Morgan logic properly displayed
@@ Property / cites work: Semi De Morgan logic properly displayed / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding theorems for classes of GBL-algebras
@@ Property / cites work: Embedding theorems for classes of GBL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke semantics for intuitionistic Łukasiewicz logic
+Normal rank
@@ Property / cites work @@
+Generating the variety of BL-algebras
@@ Property / cites work: Generating the variety of BL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Analysis
@@ Property / cites work: Proof Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518425
@@ Property / cites work: Q3518425 / rank @@
+Normal rank