ISSN:
1572-8730
Keywords:
intuitionistic logic
;
modal logic
;
proof theory
;
categorical models
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Abstract In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also a means of modelling proofs as well as provability.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1005291931660
Permalink