Behavioral algebraization of da Costa's <i>C</i>-systems (Q3647293): Difference between revisions

@@ Property / author @@
-Carlos Caleiro
@@ Property / author: Carlos Caleiro / rank @@
-Normal rank
@@ Property / author @@
-Ricardo Gonçalves
@@ Property / author: Ricardo Gonçalves / rank @@
-Normal rank
@@ Property / author @@
+Carlos Caleiro
@@ Property / author: Carlos Caleiro / rank @@
+Normal rank
@@ Property / author @@
+Ricardo Gonçalves
@@ Property / author: Ricardo Gonçalves / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Fibring non-truth-functional logics: Completeness preservation
+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 @@
+Q4287778
@@ Property / cites work: Q4287778 / 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 @@
+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 @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A hidden agenda
@@ Property / cites work: A hidden agenda / 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 @@
+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 @@
+Behavioral abstraction is hiding information
@@ Property / cites work: Behavioral abstraction is hiding information / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3647293