Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system
View through CrossRef
On the basis of α-minimal resolution principle, an α-n(t)-ary resolution dynamic automated reasoning method—multi-ary α-ordered linear minimal resolution method is studied in lattice-valued propositional logic system LP(X) and lattice-valued first-order logic system LF(X) based on lattice implication algebra (LIA). Firstly, multi-ary α-ordered linear minimal resolution method is established in LP(X), while its theorems of both soundness and completeness are proved. Then, multi-ary α-ordered linear minimal resolution method is further established in the corresponding lattice-valued first-order logic LF(X), along with its soundness theorem, lifting lemma, and completeness theorem. Then, the validity of multi-ary α-ordered linear minimal resolution based on lattice-valued logic is analyzed. At last, an multi-ary α-ordered linear minimal resolution algorithm in LP(X) is designed, and it is proved to be sound and complete, then it is further extended in the corresponding LF(X). This lays the foundation for the further study on α-n(t)-ary resolution dynamic automated reasoning program.
Title: Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system
Description:
On the basis of α-minimal resolution principle, an α-n(t)-ary resolution dynamic automated reasoning method—multi-ary α-ordered linear minimal resolution method is studied in lattice-valued propositional logic system LP(X) and lattice-valued first-order logic system LF(X) based on lattice implication algebra (LIA).
Firstly, multi-ary α-ordered linear minimal resolution method is established in LP(X), while its theorems of both soundness and completeness are proved.
Then, multi-ary α-ordered linear minimal resolution method is further established in the corresponding lattice-valued first-order logic LF(X), along with its soundness theorem, lifting lemma, and completeness theorem.
Then, the validity of multi-ary α-ordered linear minimal resolution based on lattice-valued logic is analyzed.
At last, an multi-ary α-ordered linear minimal resolution algorithm in LP(X) is designed, and it is proved to be sound and complete, then it is further extended in the corresponding LF(X).
This lays the foundation for the further study on α-n(t)-ary resolution dynamic automated reasoning program.
Related Results
MECHANISMS OF SCHEMATIC MODELING BASED ON VECTOR LOGIC
MECHANISMS OF SCHEMATIC MODELING BASED ON VECTOR LOGIC
Context. This paper addresses issues relevant to the EDA market – reducing the cost and time of testing and verification of digital projects by synthesizing the logic vector of a d...
Almost n-ary Subsemigroups and Fuzzy Almost n-ary Subsemigroups of n-ary Semigroups
Almost n-ary Subsemigroups and Fuzzy Almost n-ary Subsemigroups of n-ary Semigroups
An n-ary semigroup is a non-empty set with an associative n-ary operation. Semi-groups and ternary semigroups are special cases of n-ary semigroups where n = 2 and n = 3,respective...
Logic in the early 20th century
Logic in the early 20th century
The creation of modern logic is one of the most stunning achievements of mathematics and philosophy in the twentieth century. Modern logic – sometimes called logistic, symbolic log...
Single-Valued Neutrosophic Ideal Approximation Spaces
Single-Valued Neutrosophic Ideal Approximation Spaces
In this paper, we defined the basic idea of the single-valued neutrosophic upper (αn)δ, single-valued neutrosophic lower (αn)δ and single-valued neutrosophic boundary sets (αn)B of...
Generalized fuzzy n-ary subhypergroups of a commutative n-ary hypergroup
Generalized fuzzy n-ary subhypergroups of a commutative n-ary hypergroup
Abstract
In this paper, by means of a new idea, the concept of (invertible) (∈,∈∨q)-fuzzy n-ary subhypergroups of a commutative n-ary hypergroup is introduced and so...
Direct and semidirect product of n-ary polygroups via n-ary factor polygroups
Direct and semidirect product of n-ary polygroups via n-ary factor polygroups
In this paper, we define an equivalence relation induced by [Formula: see text]-ary subpolygroups and show that such relation is full conjugation when [Formula: see text]-ary subpo...
THE DISTRIBUTIVE LATTICE OF QUOTIENT LATTICE-VALUED INTUITIONISTIC FUZZY SUB lGROUPS OF TYPE-3
THE DISTRIBUTIVE LATTICE OF QUOTIENT LATTICE-VALUED INTUITIONISTIC FUZZY SUB lGROUPS OF TYPE-3
The study of lattice-ordered groups (-groups), which elegantly unify group and lattice structures, is fundamentally constrained in contexts characterized by multi-dimensional uncer...
Design and control of large-detuned optical lattice based on 87Rb atoms
Design and control of large-detuned optical lattice based on 87Rb atoms
An innovative and practical scheme of building far-detuned optical lattice for 87Rb atoms is proposed.The disposals of aligning the lattice beams,tuning the lattice frequency and c...