Advanced search
1 file | 177.04 KB

Constructive contextual modal judgments for reasoning from open assumptions

(2010) p.336-345
Author
Organization
Abstract
Dependent type theories using a structural notion of context are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. In particular, types with modalities are already used for distributed and staged computation. This paper introduces a type system extended with judgmental modalities internalizing epistemically different modes of correctness to explore a calculus of provability from refutable assumptions.

Downloads

  • primiero.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 177.04 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Primiero, Giuseppe. 2010. “Constructive Contextual Modal Judgments for Reasoning from Open Assumptions.” In , ed. F Ferreira, H Guerra, E Mayordomo, and J Rasga, 336–345. Azores, Portugal: Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores.
APA
Primiero, G. (2010). Constructive contextual modal judgments for reasoning from open assumptions. In F Ferreira, H. Guerra, E. Mayordomo, & J. Rasga (Eds.), (pp. 336–345). Presented at the Computability in Europe, Azores, Portugal: Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores.
Vancouver
1.
Primiero G. Constructive contextual modal judgments for reasoning from open assumptions. In: Ferreira F, Guerra H, Mayordomo E, Rasga J, editors. Azores, Portugal: Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores; 2010. p. 336–45.
MLA
Primiero, Giuseppe. “Constructive Contextual Modal Judgments for Reasoning from Open Assumptions.” Ed. F Ferreira et al. Azores, Portugal: Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores, 2010. 336–345. Print.
@inproceedings{1166760,
  abstract     = {Dependent type theories using a structural notion of context are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. In particular, types with modalities are already used for distributed and staged computation. This paper introduces a type system extended with judgmental modalities internalizing epistemically different modes of correctness to explore a calculus of provability from refutable assumptions.},
  author       = {Primiero, Giuseppe},
  editor       = {Ferreira, F and Guerra, H and Mayordomo, E and Rasga, J},
  language     = {eng},
  location     = {Ponta Delgada, Azores, Portugal},
  pages        = {336--345},
  publisher    = {Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores},
  title        = {Constructive contextual modal judgments for reasoning from open assumptions},
  year         = {2010},
}