Pages that link to "Item:Q1181707"
From MaRDI portal
The following pages link to Algorithms for finding matrix models of propositional calculi (Q1181707):
Displaying 4 items.
- Opportunistic algorithms for eliminating supersets (Q758205) (← links)
- Automated reasoning and exhaustive search: Quasigroup existence problems (Q1343395) (← links)
- A uniform procedure for converting matrix proofs into sequent-style systems (Q1854382) (← links)
- MATRIX REPRESENTATION OF BELIEF STATES: AN ALGEBRAIC SEMANTICS FOR BELIEF LOGICS (Q4673679) (← links)