Order:
Disambiguations
Yi Mao [4]Ying Mao [1]
  1.  19
    Negated Defaults in Commonsense Entailment.Nicholas Asher & Yi Mao - 2001 - Bulletin of the Section of Logic 30 (1):41-60.
  2.  3
    A Formalism for Nonmonotonic Reasoning Encoded Generics.Yi Mao - 2003 - Dissertation, The University of Texas at Austin
    This dissertation is intended to provide a formalism for those generics that trigger nonmonotonic inferences. The formalism is to reflect intentionality and exception-tolerating features of generics, and has an emphasis on the axiomatization of generic reasoning that encodes nonmonotonicity. ;A modal conditional approach is taken to formalize the nonmonotonic reasoning in general at the level of object language. A serial of logic systems---MN, NID, NCUM, N STCUM---are constructed in an increasing strength of the characterized nonmonotonic inference relation. In these systems, (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  41
    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  
  4.  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  
  5. Liberty in Health Care: A Comparative Study Between Hong Kong and Mainland China.Jingxian Wu & Ying Mao - 2017 - Journal of Medicine and Philosophy: A Forum for Bioethics and Philosophy of Medicine 42 (6):690-719.
    This essay contends that individual liberty, understood as the permissibility of making choices about one’s own health care in support of one’s own good and the good of one’s family utilizing private resources, is central to the moral foundations of a health care system. Such individual freedoms are important not only because they often support more efficient and effective health care services, but because they permit individuals to fulfill important moral duties. A comparative study of the health care systems in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography