- Author
- Diderik Batens (UGent)
- Organization
- Abstract
- This paper concerns a goal directed proof procedure for the propositional fragment of the adaptive logic ACLuN1. At the propositional level, it forms an algorithm for final derivability. If extended to the predicative level, it provides a criterion for final derivability. This is essential in view of the absence of a positive test. The procedure may be generalized to all flat adaptive logics.
Downloads
-
0207090v1.pdf
- full text
- |
- open access
- |
- |
- 226.24 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-152456
- MLA
- Batens, Diderik. “On a Partial Decision Method for Dynamic Proofs.” PCL Proceedings, edited by Hendrik Decker et al., vol. 95, Roskilde University, 2002, pp. 91–108.
- APA
- Batens, D. (2002). On a Partial Decision Method for Dynamic Proofs. In H. Decker, J. Villadsen, & T. Waragai (Eds.), PCL Proceedings (Vol. 95, pp. 91–108). Roskilde, Denmark: Roskilde University.
- Chicago author-date
- Batens, Diderik. 2002. “On a Partial Decision Method for Dynamic Proofs.” In PCL Proceedings, edited by Hendrik Decker, Jorgen Villadsen, and Toshiharu Waragai, 95:91–108. Roskilde, Denmark: Roskilde University.
- Chicago author-date (all authors)
- Batens, Diderik. 2002. “On a Partial Decision Method for Dynamic Proofs.” In PCL Proceedings, ed by. Hendrik Decker, Jorgen Villadsen, and Toshiharu Waragai, 95:91–108. Roskilde, Denmark: Roskilde University.
- Vancouver
- 1.Batens D. On a Partial Decision Method for Dynamic Proofs. In: Decker H, Villadsen J, Waragai T, editors. PCL Proceedings. Roskilde, Denmark: Roskilde University; 2002. p. 91–108.
- IEEE
- [1]D. Batens, “On a Partial Decision Method for Dynamic Proofs,” in PCL Proceedings, Copenhagen, Denmark, 2002, vol. 95, pp. 91–108.
@inproceedings{152456,
abstract = {{This paper concerns a goal directed proof procedure for the propositional fragment of the adaptive logic ACLuN1. At the propositional level, it forms an algorithm for final derivability. If extended to the predicative level, it provides a criterion for final derivability. This is essential in view of the absence of a positive test. The procedure may be generalized to all flat adaptive logics.}},
author = {{Batens, Diderik}},
booktitle = {{PCL Proceedings}},
editor = {{Decker, Hendrik and Villadsen, Jorgen and Waragai, Toshiharu}},
isbn = {{N/A}},
issn = {{N/A}},
language = {{eng}},
location = {{Copenhagen, Denmark}},
pages = {{91--108}},
publisher = {{Roskilde University}},
title = {{On a Partial Decision Method for Dynamic Proofs}},
volume = {{95}},
year = {{2002}},
}