Items where Author is "Balbiani, Philippe"

Book Section / Chapter

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)