Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus (Q991900): Difference between revisions

@@ Property / describes a project that uses @@
+ILTP
@@ Property / describes a project that uses: ILTP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ins.2010.06.004
+Normal rank
@@ Property / OpenAlex ID @@
+W1991500340
@@ Property / OpenAlex ID: W1991500340 / rank @@
+Normal rank
@@ Property / cites work @@
+Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
+Normal rank
@@ Property / cites work @@
+Optimization techniques for propositional intuitionistic logic and their implementation
+Normal rank
@@ Property / cites work @@
+Hypersequents, logical consequence and intermediate logics for concurrency
+Normal rank
@@ Property / cites work @@
+Q2721190
@@ Property / cites work: Q2721190 / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition proof systems for Gödel-Dummett logics
+Normal rank
@@ Property / cites work @@
+Q4263005
@@ Property / cites work: Q4263005 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypersequent Calculi for Godel Logics -- a Survey
@@ Property / cites work: Hypersequent Calculi for Godel Logics -- a Survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+A deterministic terminating sequent calculus for Godel-Dummett logic
+Normal rank
@@ Property / cites work @@
+An \(O(n\log n)\)-SPACE decision procedure for the propositional Dummett logic
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Consistency of the Continuum Hypothesis. (AM-3)
@@ Property / cites work: Consistency of the Continuum Hypothesis. (AM-3) / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809045
@@ Property / cites work: Q4809045 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-based decision for Gödel-Dummett logics
@@ Property / cites work: Graph-based decision for Gödel-Dummett logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838815
@@ Property / cites work: Q3838815 / rank @@
+Normal rank
@@ Property / cites work @@
+The ILTP problem library for intuitionistic logic
@@ Property / cites work: The ILTP problem library for intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative logic
@@ Property / cites work: Quantitative logic / rank @@
+Normal rank
@@ Property / cites work @@
+Is there a need for fuzzy logic?
@@ Property / cites work: Is there a need for fuzzy logic? / rank @@
+Normal rank