Taming Paraconsistent (and Other) Logics (Q2946751): Difference between revisions

@@ Property / cites work @@
+Q3007244
@@ Property / cites work: Q3007244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3112289
@@ Property / cites work: Q3112289 / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
+Normal rank
@@ Property / cites work @@
+Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
+Normal rank
@@ Property / cites work @@
+Cut-free sequent calculi for C-systems with generalized finite-valued semantics
+Normal rank
@@ Property / cites work @@
+Non-deterministic Multiple-valued Structures
@@ Property / cites work: Non-deterministic Multiple-valued Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5446288
@@ Property / cites work: Q5446288 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-valued semantics for canonical labelled calculi
+Normal rank
@@ Property / cites work @@
+Bounded Proofs and Step Frames
@@ Property / cites work: Bounded Proofs and Step Frames / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215630
@@ Property / cites work: Q4215630 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of Formal Inconsistency
@@ Property / cites work: Logics of Formal Inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4440555
@@ Property / cites work: Q4440555 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic proof theory for substructural logics: cut-elimination and completions
+Normal rank
@@ Property / cites work @@
+Automated Support for the Investigation of Paraconsistent and Other Logics
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for distributive modal logic
+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 @@
+Proof systems combining classical and paraconsistent negations
+Normal rank
@@ Property / cites work @@
+A hierarchy of weak double negations
@@ Property / cites work: A hierarchy of weak double negations / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-Based Decision Procedure for Analytic Pure Sequent Calculi
+Normal rank
@@ Property / cites work @@
+Cut Elimination for Shallow Modal Logics
@@ Property / cites work: Cut Elimination for Shallow Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q4877443
@@ Property / cites work: Q4877443 / rank @@
+Normal rank
@@ Property / cites work @@
+The Isabelle Framework
@@ Property / cites work: The Isabelle Framework / rank @@
+Normal rank