@techreport{R-90-24, TITLE = {On Consequence and Inference Operations}, AUTHOR = {Petr Jirkuu"}, YEAR = {1990}, NUMBER = {R-90-24}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-90-24+abstr}, 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.}, IDANR = {LiTH-IDA-R-90-24}