03130nam 2200577 450 991048053900332120170828133208.00-8218-7826-3(CKB)3240000000069763(EBL)3113115(SSID)ssj0000997905(PQKBManifestationID)11586108(PQKBTitleCode)TC0000997905(PQKBWorkID)11002669(PQKB)11391945(MiAaPQ)EBC3113115(WaSeSS)Ind00039719(PPN)197105610(EXLCZ)99324000000006976319990402d1999 uy| 0engur|n|---|||||txtccrAdvances in contemporary logic and computer science proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /Walter A. Carnielli, Itala M.L. D'Ottaviano, editorsProvidence, Rhode Island :American Mathematical Society,1999.1 online resource (344 p.)Contemporary mathematics,0271-4132 ;235Description based upon print version of record.0-8218-1364-1 Includes bibliographical references.""Contents""; ""Preface""; ""Part I. Advances in Logic""; ""The mathematical structure of logical syntax""; ""Quantifiers for reasoning with imperfect information and Σ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""""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""""A modal framework for consequential implication and the factor law""Contemporary mathematics (American Mathematical Society) ;235.Computer logicCongressesLogic, Symbolic and mathematicalCongressesElectronic books.Computer logicLogic, Symbolic and mathematical005.1/01/5113Carnielli Walter A(Walter Alexandre),D'Ottaviano Itala M. L.1944-MiAaPQMiAaPQMiAaPQBOOK9910480539003321Advances in contemporary logic and computer science377603UNINA