Matrix representations for structural strengthenings of a propositional logic (Q1133535): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Subdirect unions in universal algebra
@@ Property / cites work: Subdirect unions in universal algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of maximality of Łukasiewicz-like sentential calculi
+Normal rank
@@ Property / cites work @@
+A strongly finite logic with infinite degree of maximality
+Normal rank
@@ Property / cites work @@
+The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1133535