Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus

DOI10.1016/J.INS.2010.06.004zbMATH Open1202.03026OpenAlexW1991500340MaRDI QIDQ991900FDOQ991900

Guido Fiorino

Publication date: 8 September 2010

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2010.06.004

zbMATH Keywords

tableau calculiautomated theorem proving[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel+logic&go=Go G��del logic]intermediate logicsDummett logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Intermediate logics (03B55)

Cites Work

• Title not available (Why is that?)
• Metamathematics of fuzzy logic
• Title not available (Why is that?)
• Automated Reasoning
• Semantical investigations in Heyting's intuitionistic logic
• Is there a need for fuzzy logic?
• Quantitative logic
• Title not available (Why is that?)
• Hypersequent Calculi for Godel Logics -- a Survey
• Title not available (Why is that?)
• Hypersequents, logical consequence and intermediate logics for concurrency
• Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
• Graph-based decision for Gödel-Dummett logics
• A deterministic terminating sequent calculus for Godel-Dummett logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decomposition proof systems for Gödel-Dummett logics
• The ILTP problem library for intuitionistic logic
• Consistency of the Continuum Hypothesis. (AM-3)
• Optimization techniques for propositional intuitionistic logic and their implementation
• An \(O(n\log n)\)-SPACE decision procedure for the propositional Dummett logic

Cited In (2)

• An \(O(n\log n)\)-SPACE decision procedure for the propositional Dummett logic
• Title not available (Why is that?)

Uses Software

• ILTP

   Recommendations

• An \(O(n\log n)\)-SPACE decision procedure for the propositional Dummett logic 👍 👎
• Terminating calculi for propositional Dummett logic with subformula property 👍 👎
• Title not available (Why is that?) 👍 👎
• Graph-based decision for Gödel-Dummett logics 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q991900)