Order:
  1.  39
    Four Semantic Layers of Common Nouns.Beihai Zhou & Yi Mao - 2010 - Synthese 175 (1):47 - 68.
    This article proposes a four-layer semantic structure for common nouns. Each layer matches up with a semantic entity of a certain type in Montague’s intensional semantics. It is argued that a common noun denotes a sense and a concept, which are functions. For any given context, the sense of a term determines its extensions and the concept denoted by the term specifies its intensions. Intensions are treated as sets of senses. The membership relation between a sense and an intension is (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  2.  26
    A Base Logic for Default Reasoning.Zhou Beihai & Mao Yi - 2006 - Frontiers of Philosophy in China 1 (4):688-709.
    Based on a close study of benchmark examples in default reasoning, such as Nixon Diamond, Penguin Principle, etc., this paper provides an in depth analysis of the basic features of default reasoning. We formalize default inferences based on Modus Ponens for Default Implication, and mark the distinction between "local inferences"(to infer a conclusion from a subset of given premises) and "global inferences"(to infer a conclusion from the entire set of given premises). These conceptual analyses are captured by a formal semantics (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  3.  2
    Grafted Frames and S1-Completeness.Beihai Zhou - 1999 - Journal of Symbolic Logic 64 (3):1324-1338.
    A grafted frame is a new kind of frame which combines a modal frame and some relevance frames. A grafted model consists of a grafted frame and a truth-value assignment. In this paper, the grafted frame and the grafted model are constructed and used to show the completeness of S1. The implications of S1-completeness are discussed. A grafted frame does not combine two kinds of frames simply by putting relations defined in the components together. That is, the resulting grafted frame (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  8
    Grafted Frames and S1-Completeness.Beihai Zhou - 1999 - Journal of Symbolic Logic 64 (3):1324-1338.
    A grafted frame is a new kind of frame which combines a modal frame and some relevance frames. A grafted model consists of a grafted frame and a truth-value assignment. In this paper, the grafted frame and the grafted model are constructed and used to show the completeness of S1. The implications of S1-completeness are discussed. A grafted frame does not combine two kinds of frames simply by putting relations defined in the components together. That is, the resulting grafted frame (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography