Upper Bounds for Proof‐Search in a Sequent Calculus for Relational Equations
- 1 January 1982
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 28 (14-18) , 239-246
- https://doi.org/10.1002/malq.19820281408
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A proof system for the first-order relational calculusJournal of Computer and System Sciences, 1980
- Bounds for proof-search and speed-up in the predicate calculusAnnals of Mathematical Logic, 1978
- Resolution Strategies as Decision ProceduresJournal of the ACM, 1976
- On the calculus of relationsThe Journal of Symbolic Logic, 1941
- Über Möglichkeiten im RelativkalkülMathematische Annalen, 1915