A tableau method for inconsistency-adaptive logics
- Author
- Diderik Batens (UGent) and Joke Meheus (UGent)
- Organization
- Abstract
- We present a tableau method for inconsistency-adaptive logics and illustrate it in terms of the two best studied systems. The method is new in that adaptive logics require a more complex structure of the tableaus and of some rules and conditions. As there is no positive test for derivability in inconsistency-adaptive logics, the tableau method is important for providing criteria for derivability.
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-321514
- MLA
- Batens, Diderik, and Joke Meheus. “A Tableau Method for Inconsistency-Adaptive Logics.” LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, edited by R Dyckhoff, vol. 1847, Springer, 2000, pp. 127–42.
- APA
- Batens, D., & Meheus, J. (2000). A tableau method for inconsistency-adaptive logics. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1847, 127–142.
- Chicago author-date
- Batens, Diderik, and Joke Meheus. 2000. “A Tableau Method for Inconsistency-Adaptive Logics.” Edited by R Dyckhoff. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 1847: 127–42.
- Chicago author-date (all authors)
- Batens, Diderik, and Joke Meheus. 2000. “A Tableau Method for Inconsistency-Adaptive Logics.” Ed by. R Dyckhoff. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 1847: 127–142.
- Vancouver
- 1.Batens D, Meheus J. A tableau method for inconsistency-adaptive logics. Dyckhoff R, editor. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. 2000;1847:127–42.
- IEEE
- [1]D. Batens and J. Meheus, “A tableau method for inconsistency-adaptive logics,” LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, vol. 1847, pp. 127–142, 2000.
@article{321514, abstract = {{We present a tableau method for inconsistency-adaptive logics and illustrate it in terms of the two best studied systems. The method is new in that adaptive logics require a more complex structure of the tableaus and of some rules and conditions. As there is no positive test for derivability in inconsistency-adaptive logics, the tableau method is important for providing criteria for derivability.}}, author = {{Batens, Diderik and Meheus, Joke}}, editor = {{Dyckhoff, R}}, isbn = {{3-540-67697-X}}, issn = {{0302-9743}}, journal = {{LECTURE NOTES IN ARTIFICIAL INTELLIGENCE}}, language = {{eng}}, location = {{St Andrews, Scotland, UK}}, pages = {{127--142}}, publisher = {{Springer}}, title = {{A tableau method for inconsistency-adaptive logics}}, volume = {{1847}}, year = {{2000}}, }