• DocumentCode
    1938554
  • Title

    Lattices of resolution logics

  • Author

    Stachniak, Zbigniew

  • Author_Institution
    Dept. of Comput. Sci., York Univ., Ont., Canada
  • fYear
    1994
  • fDate
    25-27 May 1994
  • Firstpage
    108
  • Lastpage
    114
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1994. Proceedings., Twenty-Fourth International Symposium on
  • Conference_Location
    Boston, MA
  • Print_ISBN
    0-8186-5650-6
  • Type

    conf

  • DOI
    10.1109/ISMVL.1994.302214
  • Filename
    302214
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1938554