Pages that link to "Item:Q2380337"
From MaRDI portal
The following pages link to Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (Q2380337):
Displayed 12 items.
- Fuzzy inequational logic (Q892182) (← 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)
- A note on axiomatizations of Pavelka-style complete fuzzy logics (Q1697340) (← links)
- Perfect Pavelka logic (Q1697361) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Lindström theorems in graded model theory (Q2220488) (← links)
- On expansions of WNM t-norm based logics with truth-constants (Q2270234) (← links)
- Hyperresolution for Gödel logic with truth constants (Q2328910) (← links)
- A temporal semantics for nilpotent minimum logic (Q2353684) (← links)
- First-order nilpotent minimum logics: first steps (Q2377356) (← links)
- Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable (Q4557171) (← links)