Tools

LEADER 03136cam 22004334a 4500

001 ocm41137536;

003 OCoLC;

005 20141212180931.0;

008 990402s1999 riua b 100 0 eng ;

010 a| 99023309;

019 a| 52403786;

020 a| 0821813641 (pbk. : alk. paper);

035 a| (Sirsi) o41137536;

035 a| (OCoLC)41137536;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.9.L36b| B73 1996;

082 00 a| 005.1/01/51132| 21;

111 2 a| Brazilian Conference on Mathematical Logicn| (11th :d| 1996 :c| Salvador, Brazil)?| UNAUTHORIZED;

245 10 a| Advances in contemporary logic and computer science :b| proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /c| Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.;

260 a| Providence, RI :b| American Mathematical Society,c| 1999.;

300 a| xi, 326 pages :b| illustrations ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Contemporary mathematics ;v| 235;

504 a| Includes bibliographical references.;

505 0 a| The mathematical structure of logical syntax / Jean-Yves Béziau -- 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 / José Carlos Cifuentes -- Categorical logic with partial elements / Marcelo E. Coniglio -- Algebraic K-theory of fields and special groups / Max Dickmann and Francisco Miraglia -- Closed ideals of MV-algebras / Antonio Di Nola, George Georgescu, and Salvatore Sessa -- Definitions of adjunction / Kosta Došen -- A reduced spectrum for MV-algebras / Néstor G. Martínez -- A tableau calculus for Dummett predicate logic / Alessandro Avellone ... [et al.] -- 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 / Décio Krause and Steven French -- Truth, quasi-truth and paraconsistency / Otávio 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.;

650 0 a| Computer logicv| Congresses.=| ^A1236883;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

700 1 a| Carnielli, Walter A.q| (Walter Alexandre)=| ^A588827;

700 1 a| D'Ottaviano, Itala M. L.,d| 1944-=| ^A588828;

830 0 a| Contemporary mathematics (American Mathematical Society)v| v. 235.=| ^A654475;

856 41 3| Table of contentsu| http://lcweb.loc.gov/catdir/toc/99023309.html;

994 a| C0b| ERE;

596 a| 1;

998 a| 983427;

999 a| QA76.9.L36 B73 1996w| LCc| 1i| 30372012694789d| 4/7/2005l| JGESm| JOYNERp| $60.00r| Ys| Yt| JGESBKu| 12/22/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Advances 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, editors.

Author/creator	Brazilian Conference on Mathematical Logic
Other author	Carnielli, Walter A. (Walter Alexandre)
Other author	D'Ottaviano, Itala M. L., 1944-
Format	Book
Publication Info	Providence, RI : American Mathematical Society, 1999.
Description	xi, 326 pages : illustrations ; 26 cm.
Supplemental Content	Table of contents
Subjects	Computer logic--Congresses. Logic, Symbolic and mathematical--Congresses.

Series	Contemporary mathematics ; 235 Contemporary mathematics (American Mathematical Society) v. 235. ^A654475
Contents	The mathematical structure of logical syntax / Jean-Yves Béziau -- 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 / José Carlos Cifuentes -- Categorical logic with partial elements / Marcelo E. Coniglio -- Algebraic K-theory of fields and special groups / Max Dickmann and Francisco Miraglia -- Closed ideals of MV-algebras / Antonio Di Nola, George Georgescu, and Salvatore Sessa -- Definitions of adjunction / Kosta Došen -- A reduced spectrum for MV-algebras / Néstor G. Martínez -- A tableau calculus for Dummett predicate logic / Alessandro Avellone ... [et al.] -- 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 / Décio Krause and Steven French -- Truth, quasi-truth and paraconsistency / Otávio 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.
Bibliography note	Includes bibliographical references.
LCCN	99023309
ISBN	0821813641 (pbk. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.L36 B73 1996	✔ Available	Place Hold

Advances 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, editors.

Click here for more information about this title

Availability