
doi: 10.1007/bf01058394
In two papers of the author [Inf. Comput. 96, No. 2, 225-244 (1992; Zbl 0755.03006), J. Exp. Theor. Artif. Intell. 3, 17-32 (1991; Zbl 0723.03004)] the term `resolution logic' is introduced to denote a logical system for which a refutationally complete resolution proof system can be comstructed or, putting it differently, to denote a logical calculus whose refutational properties can be expressed in terms of the resolution principle. In a series of papers of the author, a substantial amount of space is devoted to the construction of an algebraic methodological framework to capture and study the properties of resolution logics and their resolution counterparts. In these papers (as well as in the majority of works on resolution), the pursuit of purely technical issues left almost no space for the discussion of the nature and the meaning of the resolution principle. This paper intends to depart from the technical direction and it aims at a possible interpretation of the principle in the context of nonclassical logics.
resolution logics, Mechanization of proofs and logical operations, Complexity of computation (including implicit computational complexity), refutationally complete resolution proof system, matrix semantics, nonclassical logics, propositional logic, resolution principle, consequence operations
resolution logics, Mechanization of proofs and logical operations, Complexity of computation (including implicit computational complexity), refutationally complete resolution proof system, matrix semantics, nonclassical logics, propositional logic, resolution principle, consequence operations
| 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). | 2 | |
| 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 |
