Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287): Difference between revisions

@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5437780
@@ Property / cites work: Q5437780 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke-type semantics for \(\mathrm{CG}_3'\)
@@ Property / cites work: Kripke-type semantics for \(\mathrm{CG}_3'\) / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent logic: consistency, contradiction and negation
+Normal rank
@@ Property / cites work @@
+ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
+Normal rank
@@ Property / cites work @@
+Paraconsistency and Sette’s calculus P1
@@ Property / cites work: Paraconsistency and Sette’s calculus P1 / rank @@
+Normal rank
@@ Property / cites work @@
+Sette’s calculus P1 and some hierarchies of paraconsistent systems
+Normal rank
@@ Property / cites work @@
+On the system CB1 and a lattice of the paraconsistent calculi
+Normal rank
@@ Property / cites work @@
+Q5039189
@@ Property / cites work: Q5039189 / 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 @@
+Q3724303
@@ Property / cites work: Q3724303 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability and quantifier elimination for \(J_ 3\)-theories
+Normal rank
@@ Property / cites work @@
+Q4156414
@@ Property / cites work: Q4156414 / rank @@
+Normal rank
@@ Property / cites work @@
+Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
+Normal rank
@@ Property / cites work @@
+Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028982
@@ Property / cites work: Q3028982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5320764
@@ Property / cites work: Q5320764 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3705494
@@ Property / cites work: Q3705494 / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination of Quantifiers on Łukasiewicz Logics
@@ Property / cites work: Elimination of Quantifiers on Łukasiewicz Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Semantics for Paraconsistent Nelson's Logic
+Normal rank
@@ Property / cites work @@
+Brief study of G'<sub>3</sub> logic
@@ Property / cites work: Brief study of G'<sub>3</sub> logic / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting \(\mathbb Z\)
@@ Property / cites work: Revisiting \(\mathbb Z\) / rank @@
+Normal rank
@@ Property / cites work @@
+A family of genuine and non-algebraisable C-systems
+Normal rank
@@ Property / cites work @@
+Logics with Common Weak Completions
@@ Property / cites work: Logics with Common Weak Completions / rank @@
+Normal rank
@@ Property / cites work @@
+Stable inference as intuitionistic validity
@@ Property / cites work: Stable inference as intuitionistic validity / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to <b>CG</b>′3 logic
@@ Property / cites work: An axiomatic approach to <b>CG</b>′3 logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791124
@@ Property / cites work: Q3791124 / rank @@
+Normal rank