Count-invariance including exponentials
| Autor: | Kuznetsov, Stepan, Morrill, Glyn|||0000-0002-5528-4384, Valentín Fernández Gallart, José Oriol |
|---|---|
| Přispěvatelé: | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge |
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: | |
| Zdroj: | Recercat. Dipósit de la Recerca de Catalunya instname UPCommons. Portal del coneixement obert de la UPC Universitat Politècnica de Catalunya (UPC) |
| Popis: | We define infinitary count-invariance for categorial logic, extending countinvariance for multiplicatives (van Benthem, 1991) and additives and bracket modalities (Valentín et al., 2013) to include exponentials. This provides an effective tool for pruning proof search in categorial parsing/theorem-proving. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|