Basket

  1. 1.
    0403196 - UIVT-O 970110 CZ eng V - Research Report
    Kramosil, Ivan
    Probabilistic First-Order Predicate Calculus with Doubled Nonstandard Semantics.
    Prague: ICS AS CR, 1997. 25 s. Technical Report, V-714.
    R&D Projects: GA AV ČR IAA1030504
    Keywords : probabilistic logic * first-order predicate calculus * Boolean algebra * nonstandard models * Boolean-valued models * probability measure * possibility measure
    Permanent Link: http://hdl.handle.net/11104/0123521
    FileDownloadSizeCommentaryVersionAccess
    v714-97.pdf6281.6 KBOtheropen-access
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.