Fuzzy sets and formal logics
type: Item
instance of: scholarly article
title: Fuzzy sets and formal logics
zbMATH Open document ID: 1368.03029
author: Lluís Godo
author: Siegfried J. Gottwald
published in: Fuzzy Sets and Systems
publication date: 2017-08-11T00:00:00Z
full work available at URL: http://hdl.handle.net/10261/131111
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03E72
zbMATH DE Number: 6759832
zbMATH Keywords: mathematical fuzzy logics
zbMATH Keywords: fuzzy sets
zbMATH Keywords: graded membership
zbMATH Keywords: graded entailment
zbMATH Keywords: monoidal logic
zbMATH Keywords: basic fuzzy logic
zbMATH Keywords: monoidal fuzzy logic
zbMATH Keywords: R-implications
MaRDI profile type: Publication
OpenAlex ID: W826290144
cites work: Basic Propositional Calculus I
cites work: On the continuity of residuals of triangular norms
cites work: Relations in fuzzy class theory: initial steps
cites work: Graded dominance and related graded properties of fuzzy connectives
cites work: Fuzzy class theory
cites work: From fuzzy logic to fuzzy mathematics: a methodological manifesto
cites work: Q5406032
cites work: Relational compositions in fuzzy class theory
cites work: Topology in Fuzzy Class Theory: Basic Notions
cites work: Algebraizable logics
cites work: On the independence of axioms in BL and MTL
cites work: Weakly implicative (fuzzy) logics. I: Basic properties
cites work: A note on axiomatizations of Pavelka-style complete fuzzy logics
cites work: On theories and models in fuzzy predicate logics
cites work: Residuated logics based on strict triangular norms with an involutive negation
cites work: Triangular norm based predicate fuzzy logics
cites work: Q5406033
cites work: NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
cites work: The Quest for the Basic Fuzzy Logic
cites work: Implicational (semilinear) logics. I: A new hierarchy
cites work: Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
cites work: Q3922616
cites work: Formal theories and linguistic descriptions.
cites work: Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
cites work: Q4450449
cites work: Residuated fuzzy logics with an involutive negation
cites work: Equational characterization of the subvarieties of BL generated by t-norm algebras
cites work: Q3508715
cites work: First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
cites work: From games to truth functions: a generalization of Giles's game
cites work: Giles's game and the proof theory of Łukasiewicz logic
cites work: Q3620029
cites work: Dialogue games for many-valued logics -- an overview
cites work: A logic for reasoning about the probability of fuzzy events
cites work: Logics for belief functions on MV-algebras
cites work: On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events
cites work: Models for Many-Valued Probabilistic Reasoning
cites work: T-norm-based logics with an independent involutive negation
cites work: Pseudo-t-norms and pseudo-BL algebras
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Q4542634
cites work: Fuzzy logic. Mathematical tools for approximate reasoning
cites work: A non-classical logic for physics
cites work: Łukasiewicz logic and fuzzy set theory
cites work: A formal system for fuzzy reasoning
cites work: The concept of grade of membership
cites work: Linear logic
cites work: Fuzzy Inference as Deduction
cites work: Q4460673
cites work: The logic of inexact concepts
cites work: Mehrwertige Anordnungsrelationen in klassischen Mengen
cites work: Untersuchungen zur Mehrwertigen Mengenlehre. III
cites work: Fuzzy uniqueness of fuzzy mappings
cites work: Q3220563
cites work: Q3726107
cites work: Q3135091
cites work: A treatise on many-valued logics

Fuzzy sets and formal logics (cites work)
cites work: Metamathematics of fuzzy logic

Fuzzy sets and formal logics (cites work)
cites work: Q4680307

Fuzzy sets and formal logics (cites work)
cites work: Fuzzy Logics with Noncommutative Conjuctions

Fuzzy sets and formal logics (cites work)
cites work: Q5692887

Fuzzy sets and formal logics (cites work)
cites work: Making fuzzy description logic more general

Fuzzy sets and formal logics (cites work)
cites work: Complexity of fuzzy probability logics. II

Fuzzy sets and formal logics (cites work)
cites work: On equality and natural numbers in Cantor-Lukasiewicz set theory

Fuzzy sets and formal logics (cites work)
cites work: A complete many-valued logic with product-conjunction

Fuzzy sets and formal logics (cites work)
cites work: Q4450450

Fuzzy sets and formal logics (cites work)
cites work: Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic

Fuzzy sets and formal logics (cites work)
cites work: Complexity of fuzzy probability logics

Fuzzy sets and formal logics (cites work)
cites work: Expanding basic fuzzy logic with truth constants for component delimiters

Fuzzy sets and formal logics (cites work)
cites work: Varieties generated by standard BL-algebras

Fuzzy sets and formal logics (cites work)
cites work: Q4836218

Fuzzy sets and formal logics (cites work)
cites work: On the fundamentals of fuzzy set theory

Fuzzy sets and formal logics (cites work)
cites work: A proof of standard completeness for Esteva and Godo's logic MTL

Fuzzy sets and formal logics (cites work)
cites work: A general method for constructing left-continuous t-norms

Fuzzy sets and formal logics (cites work)
cites work: Q5534933

Fuzzy sets and formal logics (cites work)
cites work: Q5534934

Fuzzy sets and formal logics (cites work)
cites work: Q5553267

Fuzzy sets and formal logics (cites work)
cites work: Ein Ansatz zur mehrwertigen Mengenlehre

Fuzzy sets and formal logics (cites work)
cites work: Q5812175

Fuzzy sets and formal logics (cites work)
cites work: Construction of fuzzy sigma-algebras using triangular norms

Fuzzy sets and formal logics (cites work)
cites work: Triangular norms

Fuzzy sets and formal logics (cites work)
cites work: Fuzzy logics from substructural perspective

Fuzzy sets and formal logics (cites work)
cites work: Q5804543

Fuzzy sets and formal logics (cites work)
cites work: Proof theory for fuzzy logics

Fuzzy sets and formal logics (cites work)
cites work: Q5406034

Fuzzy sets and formal logics (cites work)
cites work: Substructural fuzzy logics

Fuzzy sets and formal logics (cites work)
cites work: Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)

Fuzzy sets and formal logics (cites work)
cites work: On fuzzy type theory

Fuzzy sets and formal logics (cites work)
cites work: Fuzzy logic with countable evaluated syntax revisited

Fuzzy sets and formal logics (cites work)
cites work: Logical structure of fuzzy IF-THEN rules

Fuzzy sets and formal logics (cites work)
cites work: Q4269081

Fuzzy sets and formal logics (cites work)
cites work: On Fuzzy Logic I Many‐valued rules of inference

Fuzzy sets and formal logics (cites work)
cites work: An algebraic approach to non-classical logics

Fuzzy sets and formal logics (cites work)
cites work: Basic predicate calculus

Fuzzy sets and formal logics (cites work)
cites work: On Product Logic with Truth-constants

Fuzzy sets and formal logics (cites work)
cites work: Q3944486

Fuzzy sets and formal logics (cites work)
cites work: A general concept of fuzzy connectives, negations and implications based on t-norms and t-conorms

Fuzzy sets and formal logics (cites work)
cites work: Theory of logical calculi. Basic theory of consequence operations

Fuzzy sets and formal logics (cites work)
cites work: Fuzzy sets

Fuzzy sets and formal logics (DOI)
DOI: 10.1016/J.FSS.2015.06.021