Weakly implicative (fuzzy) logics. I: Basic properties

DOI10.1007/s00153-006-0011-5zbMath1101.03015OpenAlexW2029541175MaRDI QIDQ2505501

Publication date: 26 September 2006

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-006-0011-5

zbMATH Keywords

fuzzy logic consequence relation matrix semantics propositional logics implicative logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) BCK-algebras, BCI-algebras (06F35) Algebraic logic (03G99) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22)

Related Items

A new hierarchy of infinitary logics in abstract algebraic logic ⋮ Note on Deduction Theorems in contraction-free logics ⋮ Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity ⋮ On the difference between traditional and deductive fuzzy logic ⋮ Functional completeness of bounded structures of fuzzy logic with wvt-operators ⋮ A new interpretation of complex membership grade ⋮ Solutions to Cintula's open problems ⋮ Fuzzy class theory ⋮ Weakening-free fuzzy logics with the connective \(\Delta\) ⋮ T-norm-based logics with an independent involutive negation ⋮ Weakening-free, non-associative fuzzy logics: micanorm-based logics ⋮ Fuzzy logics based on \([0,1)\)-continuous uninorms ⋮ Unnamed Item ⋮ Multi-adjoint lattice logic and truth-stressing hedges ⋮ Mathematical Fuzzy Logics ⋮ On good EQ-algebras ⋮ On an axiomatic system for the logic of linearly ordered BCI-matrices ⋮ Book review of: P. Cintula, C. Noguera, Logic and implication. An introduction to the general algebraic study of non-classical logics ⋮ Completeness with respect to a chain and universal models in fuzzy logic ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ Birkhoff's and Mal'cev's theorems for implicational tonoid logics ⋮ Involutive basic substructural core fuzzy logics: involutive mianorm-based logics ⋮ The propositional logic induced by means of basic algebras ⋮ Conservative expansions of substructural logics ⋮ Admissible rules in the implication-negation fragment of intuitionistic logic ⋮ Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications ⋮ Nilpotent Minimum Logic NM and Pretabularity ⋮ 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 ⋮ Fuzzy relational modalities admitting truth-valueless propositions ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Logics with disjunction and proof by cases ⋮ Formal systems of fuzzy logic and their fragments ⋮ Basic substructural core fuzzy logics and their extensions: mianorm-based logics ⋮ Implication structures, fuzzy subsets, and enriched categories ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ Fuzzy logics as the logics of chains ⋮ Fuzzy sets and formal logics ⋮ Triangular norm based predicate fuzzy logics ⋮ Fuzzy logics with an additional involutive negation ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ 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 ⋮ Residuated logics based on strict triangular norms with an involutive negation ⋮ Implicational tonoid logics: algebraic and relational semantics ⋮ Implicational partial Galois logics: relational semantics

Cites Work