6 found
Sort by:
  1. C. F. M. Vermeulen (2000). Text Structure and Proof Structure. Journal of Logic, Language and Information 9 (3):273-311.
    This paper is concerned with the structure of texts in which aproof is presented. Some parts of such a text are assumptions, otherparts are conclusions. We show how the structural organisation of thetext into assumptions and conclusions helps to check the validity of theproof. Then we go on to use the structural information for theformulation of proof rules, i.e., rules for the (re-)construction ofproof texts. The running example is intuitionistic propositional logicwith connectives , and. We give new proofs of some (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. C. F. M. Vermeulen (2000). Variables as Stacks. Journal of Logic, Language and Information 9 (2):143-167.
    The development of the dynamic semantics of natural languagehas put issues of variable control on the agenda of formal semantics. Inthis paper we regard variables as names for stacks of values and makeexplicit several control actions as push and pop actions on stacks. Weapply this idea both to static and dynamic languages and compare theirfinite variable hierarchies, i.e., the relation between the number ofvariable stacks that is available and the expressivity of the language.This can be compared in natural languages with (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. H. J. Verkuyl & C. F. M. Vermeulen (1996). Shifting Perspectives in Discourse. Linguistics and Philosophy 19 (5):503 - 526.
    Topic of this paper is the way in which the structure of events features in discourse. We focus on the structure as introduced by verbs that express some sense of progress. First it is shown by means of examples that this structure is anaphorically available in discourse. Then we go on to discuss the different ways in which the same event may be structured within one discourse situation. We give formal representations of the crucial examples in many-sorted dynamic logic.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. C. F. M. Vermeulen (1995). Merging Without Mystery Or: Variables in Dynamics Semantics. [REVIEW] Journal of Philosophical Logic 24 (4):405 - 450.
    In this paper we discuss the treatment of variables in dynamic semantics. Referent systems are introduced as a flexible mechanism for working with variables. In a referent system we carefully distinguish the variables themselves both from the machinery by which we manipulate them - their names - and from the information that we store in them - their values. It is shown that the referent systems provide a natural basis for dynamic semantics. The semantics with referent systems is compared with (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. C. F. M. Vermeulen (1994). Incremental Semantics for Propositional Texts. Notre Dame Journal of Formal Logic 35 (2):243-271.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. C. F. M. Vermeulen (1993). Sequence Semantics for Dynamic Predicate Logic. Journal of Logic, Language and Information 2 (3):217-254.
    In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation