The following pages link to (Q3995436):
Displaying 6 items.
- An experimental logic based on the fundamental deduction principle (Q580998) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- Deduction system. Mechanizing of logical operations (Q3992431) (← links)
- (Q4692618) (← links)
- Mechanizing Mathematical Reasoning (Q5717443) (← links)
- A resolution principle for clauses with constraints (Q6488530) (← links)