Q5091146 (Q5091146): Difference between revisions

@@ Property / DOI @@
-.4230/LIPIcs.TYPES.2018.5
@@ Property / DOI: 10.4230/LIPIcs.TYPES.2018.5 / rank @@
-Normal rank
@@ Property / cites work @@
+Towards paraconsistent engineering
@@ Property / cites work: Towards paraconsistent engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding and automating conditional logics in classical higher-order logic
+Normal rank
@@ Property / cites work @@
+Quantified multimodal logics in simple type theory
+Normal rank
@@ Property / cites work @@
+Higher-Order Modal Logics: Automation and Applications
+Normal rank
@@ Property / cites work @@
+Logics of Formal Inconsistency
@@ Property / cites work: Logics of Formal Inconsistency / rank @@
+Normal rank
@@ Property / cites work @@
+Functional analysis
@@ Property / cites work: Functional analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Self-verification of HOL Light
@@ Property / cites work: Towards Self-verification of HOL Light / rank @@
+Normal rank
@@ Property / cites work @@
+Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation
+Normal rank
@@ Property / cites work @@
+Formalization of the resolution calculus for first-order logic
+Normal rank
@@ Property / cites work @@
+Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
+Normal rank
@@ Property / cites work @@
+Q4547855
@@ Property / cites work: Q4547855 / rank @@
+Normal rank
@@ Property / cites work @@
+Artificial Intelligence and Symbolic Computation
@@ Property / cites work: Artificial Intelligence and Symbolic Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Supra-logic: using transfinite type theory with type variables for paraconsistency
+Normal rank
@@ Property / cites work @@
+MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.TYPES.2018.5
@@ Property / DOI: 10.4230/LIPICS.TYPES.2018.5 / rank @@
+Normal rank