Balbiani, Philippe and Gencer, Çiğdem (2020) Contact logic is finitary for unification with constants. In: Ju, Shier and Palmigiano, Alessandra and Ma, Minghui, (eds.) Nonclassical Logics and Their Applications: Post-proceedings of the 8th International Workshop on Logic and Cognition. Logic in Asia: Studia Logica Library. Springer Nature, Singapore, pp. 85-104. ISBN 978-981-15-1341-1 (Print) 978-981-15-1342-8 (Online)
Full text not available from this repository. (Request a copy)
Official URL: https://dx.doi.org/10.1007/978-981-15-1342-8_4
Abstract
Contact Logic is a formalism for reasoning about the relation of contact between regions. We introduce a new inference problem for Contact Logic, the unification problem, which extends the validity problem by allowing one to replace variables by terms before testing for validity. Our main result is the proof that unification with constants in Contact Logic is finitary.
| Item Type: | Book Section / Chapter |
|---|---|
| Uncontrolled Keywords: | Contact Logic; Unification type; Unification with constants |
| Divisions: | Faculty of Engineering and Natural Sciences |
| Depositing User: | Çiğdem Gencer |
| Date Deposited: | 08 Aug 2023 17:09 |
| Last Modified: | 08 Aug 2023 17:10 |
| URI: | https://research.sabanciuniv.edu/id/eprint/47015 |
Actions (login required)
- View Item