Title :
Lattices of resolution logics
Author :
Stachniak, Zbigniew
Author_Institution :
Dept. of Comput. Sci., York Univ., Ont., Canada
Abstract :
We study classes of logical calculi which have the same inconsistent sets of formulas. We investigate the algebraic structure of these classes as well as general properties of logical calculi in these classes in the context of the search for efficient resolution based automated reasoning methods
Keywords :
formal languages; formal logic; inference mechanisms; algebraic structure; automated reasoning methods; lattices; logical calculi; resolution logics; Algebra; Computer science; Councils; Lattices; Logic functions;
Conference_Titel :
Multiple-Valued Logic, 1994. Proceedings., Twenty-Fourth International Symposium on
Conference_Location :
Boston, MA
Print_ISBN :
0-8186-5650-6
DOI :
10.1109/ISMVL.1994.302214
