Pages that link to "Item:Q1913299"
From MaRDI portal
The following pages link to A complete many-valued logic with product-conjunction (Q1913299):
Displaying 50 items.
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion (Q465578) (← links)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Strict core fuzzy logics and quasi-witnessed models (Q634776) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Filters and ideals in the generalization of pseudo-BL algebras (Q780271) (← links)
- Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years (Q812585) (← links)
- Standard completeness of Hájek basic logic and decompositions of BL-chains (Q816859) (← links)
- Neutrosophic logics: Prospects and problems (Q835186) (← links)
- Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) (Q835272) (← links)
- Means-end relations and a measure of efficacy (Q853789) (← links)
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491) (← links)
- An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words (Q903641) (← links)
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- Graded consequence revisited (Q983060) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
- Ordered groups with a conucleus (Q1035670) (← links)
- Supersound many-valued logics and Dedekind-MacNeille completions (Q1042436) (← links)
- A survey on different triangular norm-based fuzzy logics (Q1299619) (← links)
- Compactness of fuzzy logics. (Q1428674) (← links)
- Semi-normal forms and functional representation of product fuzzy logic. (Q1428676) (← links)
- Density revisited (Q1699744) (← links)
- Extension properties and subdirect representation in abstract algebraic logic (Q1756591) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- Back-and-forth systems for fuzzy first-order models (Q1795203) (← links)
- Strong standard completeness for continuous t-norms (Q1795210) (← links)
- Propositional calculus under adjointness (Q1867660) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics (Q2269796) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- On expansions of WNM t-norm based logics with truth-constants (Q2270234) (← links)
- A categorical equivalence for product algebras (Q2352457) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Basic hoops: an algebraic study of continuous t-norms (Q2462673) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Mathematical fuzzy logic as a tool for the treatment of vague information (Q2568251) (← links)
- Sufficient triangular norms in many-valued logics with standard negation (Q2573723) (← links)
- Partial algebras for Łukasiewicz logics and its extensions (Q2573729) (← links)
- A probabilistic approximate logic for neuro-symbolic learning and reasoning (Q2667187) (← links)
- Projectivity and unification in substructural logics of generalized rotations (Q2677856) (← links)
- On Standard Completeness for Non-commutative Many-Valued Logics (Q2829669) (← links)
- Formalising PFSQL queries using ŁΠ fuzzy logic (Q2888858) (← links)
- Fuzzy Time in Linear Temporal Logic (Q2946742) (← links)
- A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA (Q2974674) (← links)
- Some generalizations of fuzzy structures in quantum computational logic (Q3086370) (← links)
- (Q3143796) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
