Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World

Fiorino, Guido

doi:10.5591/978-1-57735-516-8/IJCAI11-151

Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World

Guido Fiorino

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 869-873.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-151

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.

Guido Fiorino. 2011. Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 869–873. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-151

@inproceedings{ijcai2011p151,
  title     = {Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World},
  author    = {Fiorino, Guido},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {869--873},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-151},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-151},
}

TY  - CPAPER
TI  - Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World
AU  - Fiorino, Guido
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 869
EP  - 873
DO  - 10.5591/978-1-57735-516-8/IJCAI11-151
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-151
ER  -