Pages that link to "Item:Q1694466"
From MaRDI portal
The following pages link to Non-clausal connection calculi for non-classical logics (Q1694466):
Displayed 5 items.
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- The \textsf{nanoCoP 2.0} connection provers for classical, intuitionistic and modal logics (Q2142078) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- From Schütte’s Formal Systems to Modern Automated Deduction (Q5013905) (← links)
- The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9 (Q5145447) (← links)