On the closure properties of the class of full G-models of a deductive system (Q2433101): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-006-8304-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2086425517
@@ Property / OpenAlex ID: W2086425517 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011710
@@ Property / cites work: Q4011710 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4029628
@@ Property / cites work: Q4029628 / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems on structural consequence operations
+Normal rank
@@ Property / cites work @@
+Q4078023
@@ Property / cites work: Q4078023 / rank @@
+Normal rank
@@ Property / cites work @@
+On elementary equivalence for equality-free logic
@@ Property / cites work: On elementary equivalence for equality-free logic / 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 @@
+Equivalential logics. I
@@ Property / cites work: Equivalential logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Filter distributive logics
@@ Property / cites work: Filter distributive logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic aspects of deduction theorems
@@ Property / cites work: Algebraic aspects of deduction theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Local deductions theorems
@@ Property / cites work: Local deductions theorems / rank @@
+Normal rank
@@ Property / cites work @@
+A deduction theorem schema for deductive systems of propositional logics
+Normal rank
@@ Property / cites work @@
+Q2707243
@@ Property / cites work: Q2707243 / 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 @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Some characterization theorems for infinitary universal Horn logic without equality
+Normal rank
@@ Property / cites work @@
+Characterizing classes defined with equality
@@ Property / cites work: Characterizing classes defined with equality / rank @@
+Normal rank
@@ Property / cites work @@
+Definability of Leibniz equality
@@ Property / cites work: Definability of Leibniz equality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273420
@@ Property / cites work: Q4273420 / rank @@
+Normal rank
@@ Property / cites work @@
+Belnap's Four-Valued Logic and De Morgan Lattices
@@ Property / cites work: Belnap's Four-Valued Logic and De Morgan Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+Leibniz filters and the strong version of a protoalgebraic logic
+Normal rank
@@ Property / cites work @@
+Q2772907
@@ Property / cites work: Q2772907 / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract algebraic logic approach to tetravalent modal logics
+Normal rank
@@ Property / cites work @@
+Note on algebraic models for relevance logic
@@ Property / cites work: Note on algebraic models for relevance logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic study of two deductive systems of relevance logic
+Normal rank
@@ Property / cites work @@
+A first approach to abstract modal logics
@@ Property / cites work: A first approach to abstract modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+A complete many-valued logic with product-conjunction
+Normal rank
@@ Property / cites work @@
+Q4271951
@@ Property / cites work: Q4271951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4889848
@@ Property / cites work: Q4889848 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalential and algebraizable logics
@@ Property / cites work: Equivalential and algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing equivalential and algebraizable logics by the Leibniz operator
+Normal rank
@@ Property / cites work @@
+Varieties with equationally definable principal congruences
+Normal rank
@@ Property / cites work @@
+The deduction theorem for Lukasiewicz many-valued propositional calculi
+Normal rank
@@ Property / cites work @@
+Q5328153
@@ Property / cites work: Q5328153 / 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 @@
+The independence of connectives
@@ Property / cites work: The independence of connectives / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction theorems for RM and its extensions
@@ Property / cites work: Deduction theorems for RM and its extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596220
@@ Property / cites work: Q5596220 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix approach in methodology of sentential calculi
+Normal rank