Pages that link to "Item:Q5881278"

The following pages link to Proof by consistency in conditional equational theories (Q5881278):

Displaying 20 items.

• Conditional equational theories and complete sets of transformations (Q918541) (← links)
• Proof by consistency (Q1094888) (← links)
• Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977) (← links)
• The equational part of proofs by structural induction (Q1317862) (← links)
• Extending Bachmair's method for proof by consistency to the final algebra (Q1336767) (← links)
• A formalisation of consistent consequence for Boolean equation systems (Q1687766) (← links)
• Induction = I-axiomatization + first-order consistency. (Q1854350) (← links)
• Implicit induction in conditional theories (Q1891255) (← links)
• An algebraic characterization of inductive soundness in proof by consistency (Q1894333) (← links)
• Proof-irrelevant model of CC with predicative induction and judgmental equality (Q3224695) (← links)
• Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366) (← links)
• Equation solving in conditional AC-theories (Q5096202) (← links)
• Induction using term orderings (Q5210765) (← links)
• On the connection between narrowing and proof by consistency (Q5210767) (← links)
• On notions of inductive validity for first-order equational clauses (Q5210769) (← links)
• (Q5441554) (← links)
• Inductive theorem proving by consistency for first-order clauses (Q5881188) (← links)
• A calculus for conditional inductive theorem proving (Q5881199) (← links)
• A general framework to build contextual cover set induction provers (Q5950934) (← links)
• Higher-order proof by consistency (Q6567778) (← links)