{"type":"ScholarlyArticle","title":"Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World","authors":[{"name":"Guido Fiorino","slug":"guido-fiorino","given":"Guido","family":"Fiorino","affiliation":""}],"abstract":"In this paper we use the Kripke semantics characterization of Dummett logic to introduce a new way of handling non-forced formulas in tableau proof systems. We pursue the aim of reducing the search space by strictly increasing the number of forced propositional variables after the application of non-invertible rules. The focus of the paper is on a new tableau system for Dummett logic, for which we have an implementation.","doi":"10.5591/978-1-57735-516-8/IJCAI11-151","url":"https://ijcai.org/proceedings/2011/151","pdf":"https://ijcai.org/proceedings/2011/0151.pdf","markdown":"https://ijcai.org/proceedings/2011/151.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/151","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":151,"pages":{"first":869,"last":873},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}