DOI10.1007/978-3-642-24130-7_27zbMath1298.03096MaRDI QIDQ3094022
Lu Zhang, Kesheng Li, Chongli Zou
Publication date: 19 October 2011 Published in: Logic, Rationality, and Interaction (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-24130-7_27
zbMATH Keywords
categorial type logic; composite category; vacuous components
Mathematics Subject Classification ID
03B65: Logic of natural languages
03G30: Categorical logic, topoi
Cites Work