Lattices of resolution logics

Name: Lattices of resolution logics
Creator: Zbigniew Stachniak
Keywords: 0102 computer and information sciences, 0101 mathematics, 01 natural sciences

descriptionPublicationkeyboard_double_arrow_right Article 17 Dec 2002Publisher:IEEE Comput. Soc. PressJournal:Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)

Authors: Zbigniew Stachniak;

doi: 10.1109/ismvl.1994.302214

Lattices of resolution logics

- Summary
- Metrics

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. >

Related Organizations

York University
Canada

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Fields of Science (3) View all

Fields of Science

Upload OA version

Are you the author of this publication? Upload your Open Access version to Zenodo!

It’s fast and easy, just two clicks!

uploadUpload now