Pages that link to "Item:Q4528037"
From MaRDI portal
The following pages link to Reflection principles in computational logic (Q4528037):
Displaying 11 items.
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- On the complexity of the reflected logic of proofs (Q2500485) (← links)
- (Q3024916) (← links)
- Logics with definitional reflection rules (Q3133173) (← links)
- (Q4223000) (← links)
- Computational reflection via mechanized logical deduction (Q4884066) (← links)
- A Logic for Reflective ASMs (Q5040368) (← links)
- In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming (Q5108530) (← links)
- Adding Metalogic Features to Knowledge Representation Languages* (Q5158659) (← links)
- (Q5195548) (← links)