Pages that link to "Item:Q3520229"
From MaRDI portal
The following pages link to On triangular norm based axiomatic extensions of the weak nilpotent minimum logic (Q3520229):
Displaying 16 items.
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- Normal forms and free algebras for some extensions of MTL (Q835114) (← links)
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties (Q1697331) (← links)
- On deductive interpolation for the weak nilpotent minimum logic (Q1697356) (← links)
- Free weak nilpotent minimum algebras (Q1699733) (← links)
- Finitary extensions of the nilpotent minimum logic and (almost) structural completeness (Q1790605) (← links)
- Poset products as relational models (Q2115284) (← links)
- Rotation logics (Q2219165) (← links)
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics (Q2269796) (← links)
- On expansions of WNM t-norm based logics with truth-constants (Q2270234) (← links)
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (Q2380337) (← links)
- Computational complexities of axiomatic extensions of monoidal t-norm based logic (Q2391235) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Nilpotent Minimum Logic NM and Pretabularity (Q5126202) (← links)