Pages that link to "Item:Q1694466"

The following pages link to Non-clausal connection calculi for non-classical logics (Q1694466):

Displaying 11 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)
• Connections in nonclassical logics (Q2751374) (← links)
• A Non-clausal Connection Calculus (Q3010371) (← links)
• Использование нефинитных методов в исследовании взаимосвязи форм логического исчисления на основе оценки (Q3119288) (← links)
• Non deterministic classical logic: the $\lambda\mu^{++}$-calculus (Q4530146) (← links)
• T-string unification: Unifying prefixes in non-classical proof methods (Q4645241) (← 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)
• A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)