Pages that link to "Item:Q1372359"
From MaRDI portal
The following pages link to Labelled resolution for classical and non-classical logics (Q1372359):
Displaying 3 items.
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic (Q2392565) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
