Pages that link to "Item:Q3249762"
From MaRDI portal
The following pages link to A theory of restricted quantification I (Q3249762):
Displaying 5 items.
- Subject-predicate calculus free from existential import (Q800907) (← links)
- A mechanical solution of Schubert's steamroller by many-sorted resolution (Q1060859) (← links)
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- A resolution principle for constrained logics (Q1327159) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
