On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic (Q1933772): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00500-011-0779-z
+Normal rank
@@ Property / OpenAlex ID @@
+W1976475080
@@ Property / OpenAlex ID: W1976475080 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution-based theorem proving for many-valued logics
+Normal rank
@@ Property / cites work @@
+Extracting the resolution algorithm from a completeness proof for the propositional calculus
+Normal rank
@@ Property / cites work @@
+Stratified resolution
@@ Property / cites work: Stratified resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751377
@@ Property / cites work: Q2751377 / rank @@
+Normal rank
@@ Property / cites work @@
+Connection methods in linear logic and proof nets construction
+Normal rank
@@ Property / cites work @@
+On  -satisfiability and its  -lock resolution in a finite lattice-valued propositional logic
+Normal rank
@@ Property / cites work @@
+Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra
+Normal rank
@@ Property / cites work @@
+Linear semi-look resolution
@@ Property / cites work: Linear semi-look resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
+Normal rank
@@ Property / cites work @@
+A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making
+Normal rank
@@ Property / cites work @@
+Q3543594
@@ Property / cites work: Q3543594 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution and model building in the infinite-valued calculus of Łukasiewicz
+Normal rank
@@ Property / cites work @@
+Q4306528
@@ Property / cites work: Q4306528 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Using resolution for deciding solvable classes and building finite models
+Normal rank
@@ Property / cites work @@
+Proof strategies in linear logic
@@ Property / cites work: Proof strategies in linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693586
@@ Property / cites work: Q4693586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4311753
@@ Property / cites work: Q4311753 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
+Normal rank
@@ Property / cites work @@
+\(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
+Normal rank
@@ Property / cites work @@
+Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
+Normal rank
@@ Property / cites work @@
+On the consistency of rule bases based on lattice-valued first-order logic LF(X)
+Normal rank
@@ Property / cites work @@
+Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
+Normal rank
@@ Property / cites work @@
+Approximate reasoning based on linguistic truth value with \(\alpha\)-operator
+Normal rank
@@ Property / cites work @@
+The concept of a linguistic variable and its application to approximate reasoning. I
+Normal rank
@@ Property / cites work @@
+The concept of a linguistic variable and its application to approximate reasoning. II
+Normal rank
@@ Property / cites work @@
+The concept of a linguistic variable and its application to approximate reasoning. III
+Normal rank
@@ Property / cites work @@
+Computing with words in information/intelligent systems 1. Foundations
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1933772