Fuzzy sets and formal logics (Q2014418): Difference between revisions

@@ Property / DOI @@
-.1016/j.fss.2015.06.021
@@ Property / DOI: 10.1016/j.fss.2015.06.021 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W826290144
@@ Property / OpenAlex ID: W826290144 / rank @@
+Normal rank
@@ Property / cites work @@
+Basic Propositional Calculus I
@@ Property / cites work: Basic Propositional Calculus I / rank @@
+Normal rank
@@ Property / cites work @@
+On the continuity of residuals of triangular norms
+Normal rank
@@ Property / cites work @@
+Relations in fuzzy class theory: initial steps
@@ Property / cites work: Relations in fuzzy class theory: initial steps / rank @@
+Normal rank
@@ Property / cites work @@
+Graded dominance and related graded properties of fuzzy connectives
+Normal rank
@@ Property / cites work @@
+Fuzzy class theory
@@ Property / cites work: Fuzzy class theory / rank @@
+Normal rank
@@ Property / cites work @@
+From fuzzy logic to fuzzy mathematics: a methodological manifesto
+Normal rank
@@ Property / cites work @@
+Q5406032
@@ Property / cites work: Q5406032 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational compositions in fuzzy class theory
@@ Property / cites work: Relational compositions in fuzzy class theory / rank @@
+Normal rank
@@ Property / cites work @@
+Topology in Fuzzy Class Theory: Basic Notions
@@ Property / cites work: Topology in Fuzzy Class Theory: Basic Notions / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the independence of axioms in BL and MTL
@@ Property / cites work: On the independence of axioms in BL and MTL / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly implicative (fuzzy) logics. I: Basic properties
+Normal rank
@@ Property / cites work @@
+A note on axiomatizations of Pavelka-style complete fuzzy logics
+Normal rank
@@ Property / cites work @@
+On theories and models in fuzzy predicate logics
@@ Property / cites work: On theories and models in fuzzy predicate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated logics based on strict triangular norms with an involutive negation
+Normal rank
@@ Property / cites work @@
+Triangular norm based predicate fuzzy logics
@@ Property / cites work: Triangular norm based predicate fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5406033
@@ Property / cites work: Q5406033 / rank @@
+Normal rank
@@ Property / cites work @@
+NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
+Normal rank
@@ Property / cites work @@
+The Quest for the Basic Fuzzy Logic
@@ Property / cites work: The Quest for the Basic Fuzzy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Implicational (semilinear) logics. I: A new hierarchy
+Normal rank
@@ Property / cites work @@
+Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
+Normal rank
@@ Property / cites work @@
+Q3922616
@@ Property / cites work: Q3922616 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal theories and linguistic descriptions.
@@ Property / cites work: Formal theories and linguistic descriptions. / rank @@
+Normal rank
@@ Property / cites work @@
+Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Q4450449
@@ Property / cites work: Q4450449 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated fuzzy logics with an involutive negation
+Normal rank
@@ Property / cites work @@
+Equational characterization of the subvarieties of BL generated by t-norm algebras
+Normal rank
@@ Property / cites work @@
+Q3508715
@@ Property / cites work: Q3508715 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
+Normal rank
@@ Property / cites work @@
+From games to truth functions: a generalization of Giles's game
+Normal rank
@@ Property / cites work @@
+Giles's game and the proof theory of Łukasiewicz logic
+Normal rank
@@ Property / cites work @@
+Q3620029
@@ Property / cites work: Q3620029 / rank @@
+Normal rank
@@ Property / cites work @@
+Dialogue games for many-valued logics -- an overview
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about the probability of fuzzy events
+Normal rank
@@ Property / cites work @@
+Logics for belief functions on MV-algebras
@@ Property / cites work: Logics for belief functions on MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
+Normal rank
@@ Property / cites work @@
+Models for Many-Valued Probabilistic Reasoning
@@ Property / cites work: Models for Many-Valued Probabilistic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+T-norm-based logics with an independent involutive negation
+Normal rank
@@ Property / cites work @@
+Pseudo-t-norms and pseudo-BL algebras
@@ Property / cites work: Pseudo-t-norms and pseudo-BL algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Q4542634
@@ Property / cites work: Q4542634 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic. Mathematical tools for approximate reasoning
+Normal rank
@@ Property / cites work @@
+A non-classical logic for physics
@@ Property / cites work: A non-classical logic for physics / rank @@
+Normal rank
@@ Property / cites work @@
+Łukasiewicz logic and fuzzy set theory
@@ Property / cites work: Łukasiewicz logic and fuzzy set theory / rank @@
+Normal rank
@@ Property / cites work @@
+A formal system for fuzzy reasoning
@@ Property / cites work: A formal system for fuzzy reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+The concept of grade of membership
@@ Property / cites work: The concept of grade of membership / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy Inference as Deduction
@@ Property / cites work: Fuzzy Inference as Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4460673
@@ Property / cites work: Q4460673 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of inexact concepts
@@ Property / cites work: The logic of inexact concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Mehrwertige Anordnungsrelationen in klassischen Mengen
+Normal rank
@@ Property / cites work @@
+Untersuchungen zur Mehrwertigen Mengenlehre. III
@@ Property / cites work: Untersuchungen zur Mehrwertigen Mengenlehre. III / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy uniqueness of fuzzy mappings
@@ Property / cites work: Fuzzy uniqueness of fuzzy mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3220563
@@ Property / cites work: Q3220563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3726107
@@ Property / cites work: Q3726107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3135091
@@ Property / cites work: Q3135091 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757760
@@ Property / cites work: Q2757760 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680307
@@ Property / cites work: Q4680307 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy Logics with Noncommutative Conjuctions
@@ Property / cites work: Fuzzy Logics with Noncommutative Conjuctions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692887
@@ Property / cites work: Q5692887 / rank @@
+Normal rank
@@ Property / cites work @@
+Making fuzzy description logic more general
@@ Property / cites work: Making fuzzy description logic more general / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of fuzzy probability logics. II
@@ Property / cites work: Complexity of fuzzy probability logics. II / rank @@
+Normal rank
@@ Property / cites work @@
+On equality and natural numbers in Cantor-Lukasiewicz set theory
+Normal rank
@@ Property / cites work @@
+A complete many-valued logic with product-conjunction
+Normal rank
@@ Property / cites work @@
+Q4450450
@@ Property / cites work: Q4450450 / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
+Normal rank
@@ Property / cites work @@
+Q2711325
@@ Property / cites work: Q2711325 / rank @@
+Normal rank
@@ Property / cites work @@
+Expanding basic fuzzy logic with truth constants for component delimiters
+Normal rank
@@ Property / cites work @@
+Varieties generated by standard BL-algebras
@@ Property / cites work: Varieties generated by standard BL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836218
@@ Property / cites work: Q4836218 / rank @@
+Normal rank
@@ Property / cites work @@
+On the fundamentals of fuzzy set theory
@@ Property / cites work: On the fundamentals of fuzzy set theory / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of standard completeness for Esteva and Godo's logic MTL
+Normal rank
@@ Property / cites work @@
+A general method for constructing left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Q5534933
@@ Property / cites work: Q5534933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5534934
@@ Property / cites work: Q5534934 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5553267
@@ Property / cites work: Q5553267 / rank @@
+Normal rank
@@ Property / cites work @@
+Ein Ansatz zur mehrwertigen Mengenlehre
@@ Property / cites work: Ein Ansatz zur mehrwertigen Mengenlehre / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of fuzzy sigma-algebras using triangular norms
+Normal rank
@@ Property / cites work @@
+Triangular norms
@@ Property / cites work: Triangular norms / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logics from substructural perspective
@@ Property / cites work: Fuzzy logics from substructural perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Q5804543
@@ Property / cites work: Q5804543 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for fuzzy logics
@@ Property / cites work: Proof theory for fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5406034
@@ Property / cites work: Q5406034 / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural fuzzy logics
@@ Property / cites work: Substructural fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
+Normal rank
@@ Property / cites work @@
+On fuzzy type theory
@@ Property / cites work: On fuzzy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic with countable evaluated syntax revisited
+Normal rank
@@ Property / cites work @@
+Logical structure of fuzzy IF-THEN rules
@@ Property / cites work: Logical structure of fuzzy IF-THEN rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269081
@@ Property / cites work: Q4269081 / rank @@
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic I Many‐valued rules of inference
@@ Property / cites work: On Fuzzy Logic I Many‐valued rules of inference / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Basic predicate calculus
@@ Property / cites work: Basic predicate calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On Product Logic with Truth-constants
@@ Property / cites work: On Product Logic with Truth-constants / rank @@
+Normal rank
@@ Property / cites work @@
+Q3944486
@@ Property / cites work: Q3944486 / rank @@
+Normal rank
@@ Property / cites work @@
+A general concept of fuzzy connectives, negations and implications based on t-norms and t-conorms
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.FSS.2015.06.021
@@ Property / DOI: 10.1016/J.FSS.2015.06.021 / rank @@
+Normal rank