Pages that link to "Item:Q869112"
From MaRDI portal
The following pages link to T-norm-based logics with an independent involutive negation (Q869112):
Displayed 9 items.
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893) (← links)
- Possibilistic conditioning framed in fuzzy logics (Q855816) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- Commutative integral bounded residuated lattices with an added involution (Q1035650) (← links)
- Simple characterization of strict residuated lattices with an involutive negation (Q1955481) (← links)
- Fuzzy logics with an additional involutive negation (Q2270236) (← links)
- On the representation of fuzzy rules (Q2270417) (← links)
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms (Q3638206) (← links)