Pages that link to "Item:Q2505501"
From MaRDI portal
The following pages link to Weakly implicative (fuzzy) logics. I: Basic properties (Q2505501):
Displaying 48 items.
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
- On good EQ-algebras (Q409738) (← links)
- On an axiomatic system for the logic of linearly ordered BCI-matrices (Q412072) (← links)
- Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
- Partially undetermined many-valued events and their conditional probability (Q452350) (← links)
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- A survey of fuzzy implication algebras and their axiomatization (Q459041) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics (Q679802) (← links)
- On the difference between traditional and deductive fuzzy logic (Q835115) (← links)
- Functional completeness of bounded structures of fuzzy logic with wvt-operators (Q835282) (← links)
- Solutions to Cintula's open problems (Q853472) (← links)
- T-norm-based logics with an independent involutive negation (Q869112) (← links)
- Fuzzy logics based on \([0,1)\)-continuous uninorms (Q884954) (← links)
- The propositional logic induced by means of basic algebras (Q904478) (← links)
- Logics with disjunction and proof by cases (Q938238) (← links)
- Implication structures, fuzzy subsets, and enriched categories (Q969578) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← links)
- On vagueness, truth values and fuzzy logics (Q1015491) (← links)
- Commutative basic algebras and non-associative fuzzy logics (Q1016506) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- Weakening-free, non-associative fuzzy logics: micanorm-based logics (Q1677042) (← links)
- Involutive basic substructural core fuzzy logics: involutive mianorm-based logics (Q1697513) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- Implicational tonoid logics: algebraic and relational semantics (Q2070425) (← links)
- Implicational partial Galois logics: relational semantics (Q2070426) (← links)
- Fuzzy relational modalities admitting truth-valueless propositions (Q2219167) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Fuzzy logics with an additional involutive negation (Q2270236) (← links)
- A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← links)
- Fuzzy class theory (Q2386239) (← links)
- Weakening-free fuzzy logics with the connective \(\Delta\) (Q2391677) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Fuzzy logics as the logics of chains (Q2492309) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Note on Deduction Theorems in contraction-free logics (Q2888635) (← links)
- Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications (Q2971600) (← links)
- A new interpretation of complex membership grade (Q3168945) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- Nilpotent Minimum Logic NM and Pretabularity (Q5126202) (← links)
- Residuated logics based on strict triangular norms with an involutive negation (Q5485400) (← links)
- (Q5863756) (← links)
- Multi-adjoint lattice logic and truth-stressing hedges (Q6079416) (← links)
- Book review of: P. Cintula, C. Noguera, Logic and implication. An introduction to the general algebraic study of non-classical logics (Q6115856) (← links)
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics (Q6161952) (← links)