Pages that link to "Item:Q2391235"

The following pages link to Computational complexities of axiomatic extensions of monoidal t-norm based logic (Q2391235):

Displaying 9 items.

• Trakhtenbrot theorem and first-order axiomatic extensions of MTL (Q897476) (← links)
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic (Q1612690) (← links)
• Minimally many-valued extensions of the monoidal t-norm based logic MTL (Q1629954) (← links)
• MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
• A temporal semantics for nilpotent minimum logic (Q2353684) (← links)
• First-order nilpotent minimum logics: first steps (Q2377356) (← links)
• Decidability of Cancellative Extension of Monoidal T-norm Based Logic (Q3424131) (← links)
• (Q4329354) (← links)
• Axiomatic Extensions of Hohle's Monoidal Logic (Q4902373) (← links)