Switch to: References

Add citations

You must login to add citations.
  1. Propositional Type Theory of Indeterminacy.Víctor Aranda, Manuel Martins & María Manzano - forthcoming - Studia Logica:1-30.
    The aim of this paper is to define a partial Propositional Type Theory. Our system is partial in a double sense: the hierarchy of (propositional) types contains partial functions and some expressions of the language, including formulas, may be undefined. The specific interpretation we give to the undefined value is that of Kleene’s strong logic of indeterminacy. We present a semantics for the new system and prove that every element of any domain of the hierarchy has a name in the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Outlook-based semantics.Elizabeth Coppock - 2018 - Linguistics and Philosophy 41 (2):125-164.
    This paper presents and advocates an approach to the semantics of opinion statements, including matters of personal taste and moral claims. In this framework, ‘outlook-based semantics’, the circumstances of evaluation are not composed of a possible world and a judge ; rather, outlooks replace possible worlds in the role of circumstance of evaluation. Outlooks are refinements of worlds that settle not only matters of fact but also matters of opinion. Several virtues of the framework and advantages over existing implementations of (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • La logique propositionnelle et ses variantes: une approche comparée.François Lepage - 2022 - [Montréal]: Presses de l'Université de Montréal. Edited by Samuel Montplaisir.
    Exploration de concepts avancés en logique formelle, notamment la logique modale, la logique partielle, la logique probabiliste et la logique intuitionniste.
    Download  
     
    Export citation  
     
    Bookmark  
  • Partial Dynamic Semantics for Anaphora: Compositionality without Syntactic Coindexation.Dag Trygve Truslew Haug - 2014 - Journal of Semantics 31 (4):fft008.
    This article points out problems in current dynamic treatments of anaphora and provides a new account that solves these by grafting Muskens' Compositional Discourse Representation Theory onto a partial theory of types. Partiality is exploited to keep track of which discourse referents have been introduced in the text (thus avoiding the overwrite problem) and to account for cases of anaphoric failure. Another key assumption is that the set of discourse referents is well-ordered, so that we can keep track of the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations