IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Wed, 21 Mar 2018 09:50:14

Jirkuu", P. (1990). On Consequence and Inference Operations. Technical Report LiTH-IDA-R-90-24, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),

Abstract: We compare the concept of logical Consequence operation on an abstract set with its counterpart, inference operation, showing its relevance for various approaches to formal treatment of reasoning so widely discussed now in logical foundations fo AI. Fundamental algebraic properties of these important metamathematical notions are discussed here in Tarskian style, i.e. we consider both operations to be some kind of closure operation.

Goto (at Linköping University): CS Dept TR Overview