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
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...
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...
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...
Extensions of n-ary prime hyperideals via an n-ary multiplicative subset in a Krasner (m,n)-hyperring
Extensions of n-ary prime hyperideals via an n-ary multiplicative subset in a Krasner (m,n)-hyperring
Let R be a Krasner (m, n)-hyperring and S be an n-ary multiplicative subset
of R. The purpose of this paper is to introduce the notion of n-ary S-prime
hyperideals as a new e...
Computational vademecums for lattice materials using algebraic PGD
Computational vademecums for lattice materials using algebraic PGD
This dissertation is motivated by the concept of materials by design. Focusing on structures, this states that the properties in a mechanical component are not only inherited by it...
Diagnosing of a complex technical object in four-valued logic
Diagnosing of a complex technical object in four-valued logic
This paper presents the essence of an investigation of a complex technical object with the use of four-valued logic. To this end, an intelligent diagnostic system (DIAG 2) is descr...
Many Valued Logic of Gödel and Łukasiewicz
Many Valued Logic of Gödel and Łukasiewicz
Gödel and Łukasiewicz proposed the three-valued logic by adding the third logical situation, which includes uncertainty and ambiguity, to the classical two logical values, true or ...
Effect of lattice mismatch stress on magnetic domain of epitaxial single crystal (BiTm)3(GaFe)5O12 film
Effect of lattice mismatch stress on magnetic domain of epitaxial single crystal (BiTm)3(GaFe)5O12 film
Yttrium iron garnet (YIG) film is a kind of magnetic film and has been investigated extensively because of its excellent magnetic properties and various applications in different f...