Advances in contemporary logic and computer science : [electronic resource] 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, editors.

By:

(11th : Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil)

Contributor(s):

Material type: Text

TextSeries: Contemporary mathematics (American Mathematical Society) ; v. 235.Publication details: Providence, RI : American Mathematical Society, 1999.Description: 1 online resource (xi, 326 p. : ill.)ISBN:

9780821878262 (online)

Subject(s):

Additional physical formats: Advances in contemporary logic and computer science :DDC classification:

005.1/01/5113 21

LOC classification:

QA76.9.L36 B73 1996

Online resources:

Contents:

The mathematical structure of logical syntax / Jean-Yves B�eziau -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03462 Quantifiers for reasoning with imperfect information and $\Sigma ^1_1$-logic / Xavier Caicedo and Micha� Krynicki -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03463 Society semantics and multiple-valued logics / Walter A. Carnielli and Mamede Lima-Marques -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03464 A topological approach to the logic underlying fuzzy subset theory / Jos�e Carlos Cifuentes -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03465 Categorical logic with partial elements / Marcelo E. Coniglio -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03466 Algebraic $K$-theory of fields and special groups / M. Dickmann and F. Miraglia -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03467 Closed ideals of MV-algebras / Antonio Di Nola, George Georgescu and Salvatore Sessa -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03468 Definitions of adjunction / Kosta Do�sen -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03469 A reduced spectrum for MV-algebras / N�estor G. Mart�inez -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03470 A tableau calculus for Dummett predicate logic / Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli and Ugo Moscato -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03471 A hierarchy of unbounded almost rigid classes of finite structures / Jose Maria Turull Torres -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03472 Some connections between logic and computer science / Paulo A. S. Veloso -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03473 Opaque predicates, veiled sets and their logic / D�ecio Krause and Steven French -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03474 Truth, quasi-truth and paraconsistency / Ot�avio Bueno -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03475 To be a Fregean or to be a Husserlian: that is the question for Platonists / Guillermo E. Rosado Haddock -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03476 A modal framework for consequential implication and the factor law / Claudio Pizzi -- http://www.ams.org/conm/235/ http://dx.doi.org/10.1090/conm/235/03477

Item type:

E-BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Home library	Call number	Materials specified	URL	Status	Date due	Barcode
IMSc Library			Link to resource	Available		EBK11517

Includes bibliographical references.

The mathematical structure of logical syntax / Jean-Yves B�eziau -- Quantifiers for reasoning with imperfect information and $\Sigma ^1_1$-logic / Xavier Caicedo and Micha� Krynicki -- Society semantics and multiple-valued logics / Walter A. Carnielli and Mamede Lima-Marques -- A topological approach to the logic underlying fuzzy subset theory / Jos�e Carlos Cifuentes -- Categorical logic with partial elements / Marcelo E. Coniglio -- Algebraic $K$-theory of fields and special groups / M. Dickmann and F. Miraglia -- Closed ideals of MV-algebras / Antonio Di Nola, George Georgescu and Salvatore Sessa -- Definitions of adjunction / Kosta Do�sen -- A reduced spectrum for MV-algebras / N�estor G. Mart�inez -- A tableau calculus for Dummett predicate logic / Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli and Ugo Moscato -- A hierarchy of unbounded almost rigid classes of finite structures / Jose Maria Turull Torres -- Some connections between logic and computer science / Paulo A. S. Veloso -- Opaque predicates, veiled sets and their logic / D�ecio Krause and Steven French -- Truth, quasi-truth and paraconsistency / Ot�avio Bueno -- To be a Fregean or to be a Husserlian: that is the question for Platonists / Guillermo E. Rosado Haddock -- A modal framework for consequential implication and the factor law / Claudio Pizzi --