LEADER 03126nam 2200577 450 001 9910828537603321 005 20170828133208.0 010 $a0-8218-7826-3 035 $a(CKB)3240000000069763 035 $a(EBL)3113115 035 $a(SSID)ssj0000997905 035 $a(PQKBManifestationID)11586108 035 $a(PQKBTitleCode)TC0000997905 035 $a(PQKBWorkID)11002669 035 $a(PQKB)11391945 035 $a(MiAaPQ)EBC3113115 035 $a(WaSeSS)Ind00039719 035 $a(RPAM)2157272 035 $a(PPN)197105610 035 $a(EXLCZ)993240000000069763 100 $a19990402d1999 uy| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAdvances in contemporary logic and computer science $eproceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /$fWalter A. Carnielli, Itala M.L. D'Ottaviano, editors 210 1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d1999. 215 $a1 online resource (344 p.) 225 1 $aContemporary mathematics,$x0271-4132 ;$v235 300 $aDescription based upon print version of record. 311 $a0-8218-1364-1 320 $aIncludes bibliographical references. 327 $a""Contents""; ""Preface""; ""Part I. Advances in Logic""; ""The mathematical structure of logical syntax""; ""Quantifiers for reasoning with imperfect information and I?£11-logic""; ""Society semantics and multiple-valued logics""; ""A topological approach to the logic underlying fuzzy subset theory""; ""Categorical logic with partial elements""; ""Algebraic K-theory of fields and special groups""; ""Closed ideals of MV-algebras""; ""Definitions of adjunction""; ""A reduced spectrum for MV-algebras""; ""Part II. Advances in Theoretical Computer Science"" 327 $a""A tableau calculus for Dummett predicate logic""""A hierarchy of unbounded almost rigid classes of finite structures""; ""Some connections between logic and computer science""; ""1. Introduction""; ""2. Logic and Computing: some connections""; ""3. Logical Specifications""; ""4. Fork Algebras""; ""5. Conclusion""; ""Part III. Advances in Philosophical Logic""; ""Opaque predicates, veiled sets and their logic""; ""Truth, quasi-truth and paraconsistency""; ""To be a Fregean or to be a Husserlian: That is the question for Platonists"" 327 $a""A modal framework for consequential implication and the factor law"" 410 0$aContemporary mathematics (American Mathematical Society) ;$v235. 606 $aComputer logic$vCongresses 606 $aLogic, Symbolic and mathematical$vCongresses 615 0$aComputer logic 615 0$aLogic, Symbolic and mathematical 676 $a005.1/01/5113 702 $aCarnielli$b Walter A$g(Walter Alexandre), 702 $aD'Ottaviano$b Itala M. L.$f1944- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910828537603321 996 $aAdvances in contemporary logic and computer science$9377603 997 $aUNINA