Logicality of conditional rewrite systems
- Yamada, Toshiyuki
- Avenhaus, Jürgen
- Lorı́a-Sáenz, Carlos
- Middeldorp, Aart
Publication date
April 2000
DOI Publisher
Elsevier Science B.V. ISSN
0304-3975Abstract
AbstractA conditional term rewriting system is called logical if it has the same logical strength as the underlying conditional equational system. In this paper we summarize known logicality results and we present new sufficient conditions for logicality of the important class of oriented conditional term rewriting systems
Add to ORKG