On finitely based consequence operations (Q1245930): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems on structural consequence operations
+Normal rank
@@ Property / cites work @@
+A representation theorem for the lattice of standard consequence operations
+Normal rank
@@ Property / cites work @@
+Q3268305
@@ Property / cites work: Q3268305 / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
+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