METAMATHEMATICS OF CONTEXTS

1 January 1995

journal article
Published by SAGE Publications in Fundamenta Informaticae

Vol. 23 (2,3,4) , 263-301
https://doi.org/10.3233/fi-1995-232345

Abstract

In this paper we investigate the simple logical properties of contexts. We describe both the syntax and semantics of a general propositional language of context, and we give a Hilbert style proof system for this language. A propositional logic of con

Keywords

HILBERT STYLE PROOF SYSTEM
KRIPKE SEMANTICS
GENERAL SYSTEM
PROPOSITIONAL LOGIC
GENERAL PROPOSITIONAL LANGUAGE
BRIEF COMPARISON
CORRESPONDENCE THEORY
CLASSICAL PROPOSITIONAL LOGIC
COMPLETENESS RESULT
PROPOSITIONAL ATOM
ARTIFICIAL LIFE

This publication has 0 references indexed in Scilit: