Pages that link to "Item:Q287283"

The following pages link to The higher-order prover \textsc{Leo}-II (Q287283):

Displaying 19 items.

• Computer-assisted analysis of the Anderson-Hájek ontological controversy (Q523303) (← links)
• \((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic (Q778417) (← links)
• A Knuth-Bendix-like ordering for orienting combinator equations (Q2096451) (← links)
• A combinator-based superposition calculus for higher-order logic (Q2096452) (← links)
• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
• Automating free logic in HOL, with an experimental application in category theory (Q2303232) (← links)
• Limited second-order functionality in a first-order setting (Q2303245) (← links)
• Extending SMT solvers to higher-order logic (Q2305406) (← links)
• Cut-elimination for quantified conditional logic (Q2363418) (← links)
• Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
• Extracting Higher-Order Goals from the Mizar Mathematical Library (Q2817297) (← links)
• Effective Normalization Techniques for HOL (Q2817937) (← links)
• Agent-Based HOL Reasoning (Q2819202) (← links)
• Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments (Q3305694) (← links)
• Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)
• Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument (Q5126209) (← links)
• Complexity of translations from resolution to sequent calculus (Q5236549) (← links)
• Superposition with lambdas (Q5918381) (← links)
• Superposition with lambdas (Q5919500) (← links)