Behavioral algebraization of logics (Q1005974): Difference between revisions

@@ Property / cites work @@
+Q5311061
@@ Property / cites work: Q5311061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3367292
@@ Property / cites work: Q3367292 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4029628
@@ Property / cites work: Q4029628 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Fibring non-truth-functional logics: Completeness preservation
+Normal rank
@@ Property / cites work @@
+On the Algebraization of Many-Sorted Logics
@@ Property / cites work: On the Algebraization of Many-Sorted Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent algebras
@@ Property / cites work: Paraconsistent algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly algebraizable logics
@@ Property / cites work: Weakly algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249028
@@ Property / cites work: Q4249028 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287485
@@ Property / cites work: Q4287485 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Leibniz filters and the strong version of a protoalgebraic logic
+Normal rank
@@ Property / cites work @@
+A hidden agenda
@@ Property / cites work: A hidden agenda / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalential and algebraizable logics
@@ Property / cites work: Equivalential and algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+On extensions of intermediate logics by strong negation
+Normal rank
@@ Property / cites work @@
+\(C_ 1\) is not algebraizable
@@ Property / cites work: \(C_ 1\) is not algebraizable / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties for the class of behavioral models
+Normal rank
@@ Property / cites work @@
+Weakly complete axiomatization of exogenous quantum propositional logic
+Normal rank
@@ Property / cites work @@
+Every quotient algebra for \(C_1\) is trivial
@@ Property / cites work: Every quotient algebra for \(C_1\) is trivial / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+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 @@
+Q4222955
@@ Property / cites work: Q4222955 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral abstraction is hiding information
@@ Property / cites work: Behavioral abstraction is hiding information / rank @@
+Normal rank
@@ Property / cites work @@
+Some investigations of varieties of \({\mathcal N}\)-lattices
+Normal rank
@@ Property / cites work @@
+Nelson algebras through Heyting ones. I
@@ Property / cites work: Nelson algebras through Heyting ones. I / rank @@
+Normal rank
@@ Property / cites work @@
+Fibring of logics as a categorial construction
@@ Property / cites work: Fibring of logics as a categorial construction / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive logic with strong negation is a substructural logic. I
+Normal rank
@@ Property / cites work @@
+Notes on \(\eta\)-lattices and constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank