Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008145529/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog contributor b11325305.
- catalog contributor b11325306.
- catalog contributor b11325307.
- catalog created "1999.".
- catalog date "1999".
- catalog date "1999.".
- catalog dateCopyrighted "1999.".
- catalog description "Includes bibliographical references.".
- catalog description "The mathematical structure of logical syntax / Jean-Yves Bé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 / José 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 Došen -- A reduced spectrum for MV-algebras / Néstor G. Martínez -- A tableau calculus for Dummett predicate logic / Alessandro Avellone [and others] -- 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écio Krause and Steven French -- Truth, quasi-truth and paraconsistency / Otá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.".
- catalog extent "xi, 326 p. :".
- catalog identifier "0821813641 (alk. paper)".
- catalog isPartOf "Contemporary mathematics (American Mathematical Society) ; v. 235.".
- catalog isPartOf "Contemporary mathematics ; 235".
- catalog issued "1999".
- catalog issued "1999.".
- catalog language "eng".
- catalog publisher "Providence, RI : American Mathematical Society,".
- catalog subject "005.1/01/5113 21".
- catalog subject "Computer logic Congresses.".
- catalog subject "Logic, Symbolic and mathematical Congresses.".
- catalog subject "QA76.9.L36 B73 1996".
- catalog tableOfContents "The mathematical structure of logical syntax / Jean-Yves Bé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 / José 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 Došen -- A reduced spectrum for MV-algebras / Néstor G. Martínez -- A tableau calculus for Dummett predicate logic / Alessandro Avellone [and others] -- 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écio Krause and Steven French -- Truth, quasi-truth and paraconsistency / Otá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.".
- catalog title "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.".
- catalog type "Conference proceedings. fast".
- catalog type "text".