Abstract
This note describes three formalized logics of context and their mathematical inter-relationships. It also proposes a Natural Deduction formulation for a constructive logic of contexts, which is what the described logics have in common.
Author supplied keywords
Cite
CITATION STYLE
APA
De Paiva, V. (2003). Natural deduction and context as (constructive) modality. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 2680, pp. 116–129). Springer Verlag. https://doi.org/10.1007/3-540-44958-2_10
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free