TY - JOUR UR - http://lib.ugent.be/catalog/pug01:3094113 ID - pug01:3094113 LA - eng TI - A contextual type theory with judgemental modalities for reasoning from open assumptions PY - 2012 JO - (2012) LOGIQUE ET ANALYSE SN - 0024-5836 PB - 2012 AU - Primiero, Giuseppe UGent 802000142102 AB - Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness, respectively with necessity as the standard notion of constructive verification and possibility as provability up to refutation of contextual conditions. ER -Download RIS file
| 00000nam^a2200301^i^4500 | |||
| 001 | 3094113 | ||
| 005 | 20180813142130.0 | ||
| 008 | 130115s2012------------------------eng-- | ||
| 022 | a 0024-5836 | ||
| 024 | a 000326253800004 2 wos | ||
| 024 | a 1854/LU-3094113 2 handle | ||
| 040 | a UGent | ||
| 245 | a A contextual type theory with judgemental modalities for reasoning from open assumptions | ||
| 260 | c 2012 | ||
| 520 | a Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness, respectively with necessity as the standard notion of constructive verification and possibility as provability up to refutation of contextual conditions. | ||
| 598 | a A1 | ||
| 700 | a Primiero, Giuseppe u UGent 0 802000142102 0 978431960527 9 F8C354FA-F0ED-11E1-A9DE-61C894A0A6B4 | ||
| 650 | a Philosophy and Religion | ||
| 653 | a Modal Type Theory | ||
| 653 | a Refutation | ||
| 653 | a Assumptions-based Reasoning | ||
| 653 | a PROOF | ||
| 773 | t LOGIQUE ET ANALYSE g Log. Anal. 2012. 220 p.579-600 q 220:<579 | ||
| 856 | 3 Full Text u https://biblio.ugent.be/publication/3094113/file/6783145 z [ugent] y 04primiero.pdf | ||
| 920 | a article | ||
| Z30 | x LW 1 LW01 | ||
| 922 | a UGENT-LW | ||
All data below are available with an Open Data Commons Open Database License. You are free to copy, distribute and use the database; to produce works from the database; to modify, transform and build upon the database. As long as you attribute the data sets to the source, publish your adapted database with ODbL license, and keep the dataset open (don't use technical measures such as DRM to restrict access to the database).
The datasets are also available as weekly exports.
Published 2019 Universiteitsbibliotheek Gent Disclaimer