Ghent University Academic Bibliography

Advanced

Constructive contextual modal judgments for reasoning from open assumptions

Giuseppe Primiero (2010) p.336-345
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.
Please use this url to cite or link to this publication:
author
organization
year
type
conference
publication status
published
subject
editor
F Ferreira, H Guerra, E Mayordomo and J Rasga
pages
336 - 345
publisher
Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores
place of publication
Azores, Portugal
conference name
Computability in Europe
conference location
Ponta Delgada, Azores, Portugal
conference start
2010-06-30
conference end
2010-07-04
language
English
UGent publication?
yes
classification
C1
copyright statement
I have transferred the copyright for this publication to the publisher
id
1166760
handle
http://hdl.handle.net/1854/LU-1166760
date created
2011-02-23 13:23:16
date last changed
2017-01-02 09:53:10
@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},
}

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.