α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems ; volume:8 ; number:1 ; day:1 ; month:12 ; year:2015 ; pages:75-84 ; date:1.2015
International journal of computational intelligence systems ; 8, Heft 1 (1.12.2015), 75-84, 1.2015
- Creator
-
Xu, Weitao
Zhang, Wenqiang
Zhang, Dexian
Xu, Yang
Pan, Xiaodong
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1080/18756891.2015.1129580
- URN
-
urn:nbn:de:101:1-2024031910091225042527
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:54 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Xu, Weitao
- Zhang, Wenqiang
- Zhang, Dexian
- Xu, Yang
- Pan, Xiaodong
- SpringerLink (Online service)
Other Objects (12)
Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X)
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
A Combination Algorithm of Multiple Lattice-Valued Concept Lattices
α-Minimal Resolution Principle For A Lattice-Valued Logic
α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic ℒV(n×2)P(X)
IFI-ideals of lattice implication algebras
The validity degree vectors of formulae in two-valued predicate logic
Immunologische und mikrobiologische Untersuchungen zur Ermittlung des Aflatoxin-Risikos von Reis aus China
Linguistic-Valued Approximate Reasoning With Lattice Ordered Linguistic-Valued Credibility
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
Uncertainty valued horn clauses
Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X)
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
A Combination Algorithm of Multiple Lattice-Valued Concept Lattices
α-Minimal Resolution Principle For A Lattice-Valued Logic
α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic ℒV(n×2)P(X)
IFI-ideals of lattice implication algebras
The validity degree vectors of formulae in two-valued predicate logic
Immunologische und mikrobiologische Untersuchungen zur Ermittlung des Aflatoxin-Risikos von Reis aus China
Linguistic-Valued Approximate Reasoning With Lattice Ordered Linguistic-Valued Credibility
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
Uncertainty valued horn clauses
Determination of 3-Ary α-Resolution in Lattice-valued Propositional Logic LP(X)
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
A Combination Algorithm of Multiple Lattice-Valued Concept Lattices
α-Minimal Resolution Principle For A Lattice-Valued Logic
α-Quasi-Lock Semantic Resolution Method Based on Lattice-Valued Logic
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic ℒV(n×2)P(X)
IFI-ideals of lattice implication algebras
The validity degree vectors of formulae in two-valued predicate logic
Immunologische und mikrobiologische Untersuchungen zur Ermittlung des Aflatoxin-Risikos von Reis aus China
Linguistic-Valued Approximate Reasoning With Lattice Ordered Linguistic-Valued Credibility
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications