The lattice of strengthenings of a strongly finite consequence operation (Q1161517): Difference between revisions

@@ Property / cites work @@
+A representation theorem for the lattice of standard consequence operations
+Normal rank
@@ Property / cites work @@
+Quasivarieties of algebraic systems
@@ Property / cites work: Quasivarieties of algebraic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956998
@@ Property / cites work: Q3956998 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduced products of logical matrices
@@ Property / cites work: Reduced products of logical matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4194937
@@ Property / cites work: Q4194937 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3048814
@@ Property / cites work: Q3048814 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on the Implicational Class Generated by a Class of Structures
+Normal rank
@@ Property / cites work @@
+The Finite Model Property and Subsystems of Classical Propositional Calculus
+Normal rank
@@ Property / cites work @@
+Q3268305
@@ Property / cites work: Q3268305 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133631
@@ Property / cites work: Q4133631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856744
@@ Property / cites work: Q3856744 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of maximality of Łukasiewicz-like sentential calculi
+Normal rank
@@ Property / cites work @@
+Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
+Normal rank
@@ Property / cites work @@
+A theorem about infinite-valued sentential logic
@@ Property / cites work: A theorem about infinite-valued sentential logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5534915
@@ Property / cites work: Q5534915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175722
@@ Property / cites work: Q4175722 / rank @@
+Normal rank
@@ Property / cites work @@
+Connections between some notions of completeness of structural propositional calculi
+Normal rank
@@ Property / cites work @@
+A strongly finite logic with infinite degree of maximality
+Normal rank
@@ Property / cites work @@
+On structural completeness of many-valued logics
@@ Property / cites work: On structural completeness of many-valued logics / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix representations for structural strengthenings of a propositional logic
+Normal rank
@@ Property / cites work @@
+Q4196408
@@ Property / cites work: Q4196408 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix approach in methodology of sentential calculi
+Normal rank
@@ Property / cites work @@
+Some remarks on the consequence operation in sentential logics
+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
@@ Property / cites work @@
+On finitely based consequence operations
@@ Property / cites work: On finitely based consequence operations / rank @@
+Normal rank
@@ Property / cites work @@
+A note on direct products and ultraproducts of logical matrices
+Normal rank