Weakly implicative (fuzzy) logics. I: Basic properties
From MaRDI portal
The author presents two classes of propositional logics (understood as a consequence relation). First he generalizes the well-known class of implicative logics of Rasiowa and introduces the class of weakly implicative logics. This class is broad enough to contain many usual logics, yet easily manageable with nice logical properties. Then he introduce a subclass -- the class of weakly implicative fuzzy logics. It contains the majority of logics studied in the literature under the name of fuzzy logic. Also, the author presents many general theorems for both classes, demonstrating their usefulness and importance.
Recommendations
- WEAK FUZZY IMPLICATIONS ALGEBRAS AND INDUCED STRUCTURES
- On Weakly Cancellative Fuzzy Logics
- scientific article; zbMATH DE number 2020844
- Weak implication and fuzzy inclusion
- Fuzzy weak filters in lattice implication algebra
- scientific article; zbMATH DE number 6954613
- Properties of basic fuzzy implication algebra
- Implications in fuzzy logic: properties and a new class
- An algebraic structure of fuzzy logics with weakly associative conjunctors
- scientific article; zbMATH DE number 800831
Cites work
- A note to the definition of the Ł\(\Pi\)-algebras
- A survey of abstract algebraic logic
- Algebraic methods in philosophical logic
- Algebraizable logics
- An algebraic approach to non-classical logics
- Fuzzy logics as the logics of chains
- scientific article; zbMATH DE number 922613 (Why is no real title available?)
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- Linearization of the BCK-logic
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Protoalgebraic logics
Cited in
(66)- On vagueness, truth values and fuzzy logics
- Commutative basic algebras and non-associative fuzzy logics
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Weakening-free, non-associative fuzzy logics: micanorm-based logics
- Involutive basic substructural core fuzzy logics: involutive mianorm-based logics
- Fuzzy sets and formal logics
- Implicational tonoid logics: algebraic and relational semantics
- Implicational partial Galois logics: relational semantics
- Logics of order and related notions
- Fuzzy relational modalities admitting truth-valueless propositions
- Triangular norm based predicate fuzzy logics
- Fuzzy logics with an additional involutive negation
- A new hierarchy of infinitary logics in abstract algebraic logic
- Fuzzy class theory
- Weakening-free fuzzy logics with the connective \(\Delta\)
- On three implication-less fragments of t-norm based fuzzy logics
- Formal systems of fuzzy logic and their fragments
- Fuzzy logics as the logics of chains
- Beyond Rasiowa's algebraic approach to non-classical logics
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Note on deduction theorems in contraction-free logics
- Complex fuzzy sets and complex fuzzy logic an overview of theory and applications
- Weak implication and fuzzy inclusion
- A new interpretation of complex membership grade
- On Weakly Cancellative Fuzzy Logics
- Mathematical Fuzzy Logics
- An algebraic structure of fuzzy logics with weakly associative conjunctors
- On n-contractive fuzzy logics: first results
- On good EQ-algebras
- On an axiomatic system for the logic of linearly ordered BCI-matrices
- Reasoning about mathematical fuzzy logic and its future
- Weakly algebraizable logics
- Partially undetermined many-valued events and their conditional probability
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
- A survey of fuzzy implication algebras and their axiomatization
- Algebraic Kripke-style semantics for relevance logics
- scientific article; zbMATH DE number 7564775 (Why is no real title available?)
- Nilpotent Minimum Logic NM and Pretabularity
- WEAK FUZZY IMPLICATIONS ALGEBRAS AND INDUCED STRUCTURES
- Residuated logics based on strict triangular norms with an involutive negation
- scientific article; zbMATH DE number 7536428 (Why is no real title available?)
- Multi-adjoint lattice logic and truth-stressing hedges
- Book review of: P. Cintula, C. Noguera, Logic and implication. An introduction to the general algebraic study of non-classical logics
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics
- Conservative expansions of substructural logics
- Completeness with respect to a chain and universal models in fuzzy logic
- Admissible rules in the implication-negation fragment of intuitionistic logic
- Linear abelian modal logic
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics
- Ordered BCI-algebras, Y-kernels and (ordered) functions
- Implicational tonoids and their representations
- Homomorphisms of OBCI-algebras
- Superabelian logics
- Implicational (dual) residuated semilinear gaggle logics
- Fuzzy Horn logic. II. Implicationally defined classes.
- On the difference between traditional and deductive fuzzy logic
- Functional completeness of bounded structures of fuzzy logic with wvt-operators
- Solutions to Cintula's open problems
- T-norm-based logics with an independent involutive negation
- Fuzzy logics based on \([0,1)\)-continuous uninorms
- The propositional logic induced by means of basic algebras
- Logics with disjunction and proof by cases
- Implication structures, fuzzy subsets, and enriched categories
- Implicational (semilinear) logics. I: A new hierarchy
- Fuzzy description logics and \(t\)-norm based fuzzy logics
This page was built for publication: Weakly implicative (fuzzy) logics. I: Basic properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2505501)
