A complete many-valued logic with product-conjunction
From MaRDI portal
Publication:1913299
DOI10.1007/BF01268618zbMath0848.03005OpenAlexW2024065710MaRDI QIDQ1913299
Francesc Esteva, Petr Hájek, Lluís Godo
Publication date: 8 July 1996
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01268618
Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Many-valued logic (03B50)
Related Items
1998 European Summer Meeting of the Association for Symbolic Logic ⋮ Formalising PFSQL queries using ŁΠ fuzzy logic ⋮ Neutrosophic logics: Prospects and problems ⋮ Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) ⋮ Means-end relations and a measure of efficacy ⋮ Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results ⋮ A probabilistic approximate logic for neuro-symbolic learning and reasoning ⋮ Fuzzy Time in Linear Temporal Logic ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ On decidability of concept satisfiability in description logic with product semantics ⋮ Mathematical Fuzzy Logics ⋮ An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words ⋮ Density revisited ⋮ Strict core fuzzy logics and quasi-witnessed models ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA ⋮ Introduction ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ Compactness of fuzzy logics. ⋮ Semi-normal forms and functional representation of product fuzzy logic. ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ Amalgamation through quantifier elimination for varieties of commutative residuated lattices ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Formal systems of fuzzy logic and their fragments ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ Extension properties and subdirect representation in abstract algebraic logic ⋮ SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC ⋮ Analytic calculi for product logics ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ Unnamed Item ⋮ Fuzzy sets and formal logics ⋮ Unnamed Item ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ Triangular norm based predicate fuzzy logics ⋮ On expansions of WNM t-norm based logics with truth-constants ⋮ Graded consequence revisited ⋮ XI Latin American Symposium on Mathematical Logic ⋮ Complexity of t-tautologies ⋮ Back-and-forth systems for fuzzy first-order models ⋮ Strong standard completeness for continuous t-norms ⋮ Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences ⋮ Some generalizations of fuzzy structures in quantum computational logic ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ On Standard Completeness for Non-commutative Many-Valued Logics ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ Ordered groups with a conucleus ⋮ Supersound many-valued logics and Dedekind-MacNeille completions ⋮ Filters and ideals in the generalization of pseudo-BL algebras ⋮ Structural completeness in many-valued logics with rational constants ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ A survey on different triangular norm-based fuzzy logics ⋮ Sufficient triangular norms in many-valued logics with standard negation ⋮ Partial algebras for Łukasiewicz logics and its extensions ⋮ A categorical equivalence for product algebras ⋮ Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years ⋮ Propositional calculus under adjointness ⋮ Standard completeness of Hájek basic logic and decompositions of BL-chains
Cites Work
- On some logical connectives for fuzzy sets theory
- Fuzzy inferences and conditional possibility distributions
- Dispositional logic
- Fuzzy logic and fuzzy set theory
- Fuzzy logic and arithmetical hierarchy
- Fragments of Many-Valued Statement Calculi
- Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
- On Fuzzy Logic I Many‐valued rules of inference
- The Uncertain Reasoner's Companion
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A complete many-valued logic with product-conjunction
