Results 301 to 310 of about 653,229 (328)

Resolution for propositional logic

1990
Abstract Resolution comprises a single inference rule applicable to clausal-form logic. Briefly, from any two clauses having an appropriate form, resolution derives a new clause as their consequence. It is best explained by first showing how it works in the special case of propositional clausal form.
openaire   +1 more source

Resolution in logic programming

1990
Abstract We shall now start bringing together various ideas from the preceding Themes in order to explain how resolution is typically adapted for the purpose of logic programming.
openaire   +1 more source

A resolution theorem prover for intuitionistic logic

1996
We use the general scheme of building resolution calculi (also called the inverse method) originating from S.Maslov and G.Mints to design and implement a resolution theorem prover for intuitionistic logic. A number of search strategies are introduced and proved complete.
openaire   +1 more source

The OI-Resolution of Operator Rough Logic

1998
Based on rough set theory, this paper establishes operator space [ξ*, ξ*]. It is also a subset on truth value interval [0,1]. The operators is put in the front of the formulas to produce the manyvalued logic called operator rough logic(ORL). It defines OI-valid and OI-inconsistent, OI-resolution of the logic, where OI is an abbreviation of Operator ...
openaire   +1 more source

An input signal dependent 8-to-12 bit variable resolution SAR ADC with digitally implemented bit enhancement Logic

AEU - International Journal of Electronics and Communications, 2023
Naveen Kandpal, Anil Singh
exaly  

α-Resolution principle based on lattice-valued propositional logic LP(X)

Information Sciences, 2000
Yang Xu, Jun Liu
exaly  

α-Resolution principle based on first-order lattice-valued logic LF(X)

Information Sciences, 2001
Yang Xu, Jun Liu
exaly  

Multiary α-Resolution Principle for a Lattice-Valued Logic

IEEE Transactions on Fuzzy Systems, 2013
Yang Xu, Jun Liu, Shuwei Chen
exaly  

A resolution-like strategy based on a lattice-valued logic

IEEE Transactions on Fuzzy Systems, 2003
Jun Liu, Yang Xu
exaly  

Determination of α-resolution in lattice-valued first-order logic LF(X)

Information Sciences, 2011
Yang Xu, Jun Liu
exaly