Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 610, 1996, Salvador da Bahia, Brazil

Contributor(s): Carnielli Walter A | D'Ottaviano Itala M LMaterial type: Computer fileComputer 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 online
Contents:
The mathematical structure of logical syntax ; Quantifiers for reasoning with imperfect information and 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
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Call number URL Status Date due Barcode Item holds
electronic book electronic book ICTS
Link to resource Accessible Online EBK21239
Total holds: 0

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.

to post a comment.