Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 610, 1996, Salvador da Bahia, Brazil
Material type: Computer fileSeries: Contemporary mathematics ; v. 235Publication details: Providence, RI : American Mathematical Society, 1999Description: 1 online resource (xi, 326 p. : ill.)ISBN: 9780821878262 (online)Subject(s): Computer logic | Logic, Symbolic and mathematicalOnline resources: Click here to access onlineItem type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
electronic book | ICTS | Link to resource | Accessible Online | EBK21239 |
Includes bibliographical references.
The mathematical structure of logical syntax ; Quantifiers for reasoning with imperfect information and Sigma ^1_1 ogic ; Society semantics and multiplevalued logics ; A topological approach to the logic underlying fuzzy subset theory ; Categorical logic with partial elements ; Algebraic heory of fields and special groups ; Closed ideals of MValgebras ; Definitions of adjunction ; A reduced spectrum for MValgebras ; A tableau calculus for Dummett predicate logic ; A hierarchy of unbounded almost rigid classes of finite structures ; Some connections between logic and computer science ; Opaque predicates, veiled sets and their logic ; Truth, quasitruth 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 JeanYves Beziau ; Xavier Caicedo and Micha Krynicki ; Walter A Carnielli and Mamede LimaMarques ; Jose Carlos Cifuentes ; Marcelo E Coniglio ; M Dickmann and F Miraglia ; Antonio Di Nola George Georgescu and Salvatore Sessa ; Kosta Dosen ; Nestor G Martinez ; Alessandro Avellone Mauro Ferrari Pierangelo Miglioli and Ugo Moscato ; Jose Maria Turull Torres ; Paulo A S Veloso ; Decio Krause and Steven French ; Otavio Bueno ; Guillermo E Rosado Haddock ; Claudio Pizzi
There are no comments on this title.