AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925): Difference between revisions

@@ Property / DOI @@
-.1017/bsl.2022.36
@@ Property / DOI: 10.1017/bsl.2022.36 / rank @@
-Normal rank
@@ Property / cites work @@
+The strong version of a sentential logic
@@ Property / cites work: The strong version of a sentential logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3469089
@@ Property / cites work: Q3469089 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344178
@@ Property / cites work: Q5344178 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093852
@@ Property / cites work: Q3093852 / 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 @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+ASSERTIONALLY EQUIVALENT QUASIVARIETIES
@@ Property / cites work: ASSERTIONALLY EQUIVALENT QUASIVARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for deductive systems
@@ Property / cites work: Algebraic semantics for deductive systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3435238
@@ Property / cites work: Q3435238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912851
@@ Property / cites work: Q3912851 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral algebraization of da Costa's <i>C</i>-systems
+Normal rank
@@ Property / cites work @@
+Behavioral algebraization of logics
@@ Property / cites work: Behavioral algebraization of logics / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent algebras
@@ Property / cites work: Paraconsistent algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Limits for paraconsistent calculi
@@ Property / cites work: Limits for paraconsistent calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440555
@@ Property / cites work: Q4440555 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of Formal Inconsistency
@@ Property / cites work: Logics of Formal Inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q5728439
@@ Property / cites work: Q5728439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519113
@@ Property / cites work: Q5519113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536623
@@ Property / cites work: Q5536623 / rank @@
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111534
@@ Property / cites work: Q4111534 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantical analysis of the calculi \(C_n\)
@@ Property / cites work: A semantical analysis of the calculi \(C_n\) / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of Paraconsistent Logic
@@ Property / cites work: Aspects of Paraconsistent Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344180
@@ Property / cites work: Q5344180 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5575534
@@ Property / cites work: Q5575534 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalential logics. I
@@ Property / cites work: Equivalential logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly algebraizable logics
@@ Property / cites work: Weakly algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4156414
@@ Property / cites work: Q4156414 / rank @@
+Normal rank
@@ Property / cites work @@
+The simplest protoalgebraic logic
@@ Property / cites work: The simplest protoalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 14
@@ Property / cites work: Handbook of philosophical logic. Vol. 14 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220413
@@ Property / cites work: Q4220413 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalential and algebraizable logics
@@ Property / cites work: Equivalential and algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Willem Blok's contribution to abstract algebraic logic
+Normal rank
@@ Property / cites work @@
+Q5202993
@@ Property / cites work: Q5202993 / rank @@
+Normal rank
@@ Property / cites work @@
+\(C_ 1\) is not algebraizable
@@ Property / cites work: \(C_ 1\) is not algebraizable / rank @@
+Normal rank
@@ Property / cites work @@
+P1 algebras
@@ Property / cites work: P1 algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235351
@@ Property / cites work: Q3235351 / rank @@
+Normal rank
@@ Property / cites work @@
+ON EQUATIONAL COMPLETENESS THEOREMS
@@ Property / cites work: ON EQUATIONAL COMPLETENESS THEOREMS / rank @@
+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 @@
+Q4692665
@@ Property / cites work: Q4692665 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic study of Sette's maximal paraconsistent logic
+Normal rank
@@ Property / cites work @@
+Q5441554
@@ Property / cites work: Q5441554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4032844
@@ Property / cites work: Q4032844 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4777260
@@ Property / cites work: Q4777260 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistency and the C-systems of da Costa
@@ Property / cites work: Paraconsistency and the C-systems of da Costa / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank
@@ Property / DOI @@
+.1017/BSL.2022.36
@@ Property / DOI: 10.1017/BSL.2022.36 / rank @@
+Normal rank