Extended Tense Logic
- 150 Downloads
The Priorean language of the preceding chapter is not inextricably tied up with the usual point ontology: it may also be interpreted in period structures. Indeed, the same truth definition II.2.1.2. works as well in the latter context.
KeywordsPeriod Structure Intuitionistic Logic Related Principle Tense Logic Truth Definition
Unable to display preview. Download preview PDF.