01476nam--2200397---450-99000091349020331620050607140702.03-7873-1280-30091349USA010091349(ALEPH)000091349USA01009134920020128d1996----km-y0itay0103----bagerDE||||||||001yyAenesidemus, oder uber die Fundamente der von dem Herrn Professor Reinhold in Jena gelieferten Elementar-Philosophienebst einer Verteidigung des Skeptizismus gegen die Anmassungen der VernunftkritikGottlob Ernst Schulzehrsg. von Manfred FrankHamburgMeinerc1996LXXXII, 307 p20 cmPhilosophische Bibliothek4892001Philosophische Bibliothek489121SCHULZE,Gottlob Ernst220390FRANK,ManfredITsalbcISBD990000913490203316II.1 Coll.76/ 489 (IV A COLL. 243/489)133990 LMIV A COLL.BKUMAPATTY9020020128USA011402PATTY9020020128USA01140220020403USA011735PATRY9020040406USA011703COPAT49020050607USA011407Aenesidemus, oder uber die Fundamente der von dem Herrn Professor Reinhold in Jena gelieferten Elementar-Philosophie970901UNISA03126nam 2200577 450 991082853760332120170828133208.00-8218-7826-3(CKB)3240000000069763(EBL)3113115(SSID)ssj0000997905(PQKBManifestationID)11586108(PQKBTitleCode)TC0000997905(PQKBWorkID)11002669(PQKB)11391945(MiAaPQ)EBC3113115(WaSeSS)Ind00039719(RPAM)2157272(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 mathematicalCongressesComputer logicLogic, Symbolic and mathematical005.1/01/5113Carnielli Walter A(Walter Alexandre),D'Ottaviano Itala M. L.1944-MiAaPQMiAaPQMiAaPQBOOK9910828537603321Advances in contemporary logic and computer science377603UNINA