Pages that link to "Item:Q5426008"
From MaRDI portal
The following pages link to Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions (Q5426008):
Displaying 7 items.
- A note on axiomatizations of Pavelka-style complete fuzzy logics (Q1697340) (← links)
- An expansion of basic logic with fixed points (Q1699729) (← links)
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738) (← links)
- Towards a probability theory for product logic: states, integral representation and reasoning (Q1726388) (← links)
- Strong standard completeness for continuous t-norms (Q1795210) (← links)
- Hyperresolution for Gödel logic with truth constants (Q2328910) (← links)
- The Differential Semantics of Łukasiewicz Syntactic Consequence (Q2948587) (← links)
