Pages that link to "Item:Q884950"
From MaRDI portal
The following pages link to Provability in predicate product logic (Q884950):
Displaying 7 items.
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- Strict core fuzzy logics and quasi-witnessed models (Q634776) (← links)
- On the lattice of deductive systems of a BL-algebra (Q1407188) (← links)
- On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← links)
- On elementary equivalence in fuzzy predicate logics (Q1935367) (← links)
- On witnessed models in fuzzy logic (Q3423151) (← links)
- On decidability of concept satisfiability in description logic with product semantics (Q6079414) (← links)
