|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910828537603321 |
|
|
Titolo |
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , 1999 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (344 p.) |
|
|
|
|
|
|
Collana |
|
Contemporary mathematics, , 0271-4132 ; ; 235 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer logic |
Logic, Symbolic and mathematical |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
""Contents""; ""Preface""; ""Part I. Advances in Logic""; ""The mathematical structure of logical syntax""; ""Quantifiers for reasoning with imperfect information and Σ11-logic""; ""Society semantics and multiple-valued logics""; ""A topological approach to the logic underlying fuzzy subset theory""; ""Categorical logic with partial elements""; ""Algebraic K-theory of fields and special groups""; ""Closed ideals of MV-algebras""; ""Definitions of adjunction""; ""A reduced spectrum for MV-algebras""; ""Part II. Advances in Theoretical Computer Science"" |
""A tableau calculus for Dummett predicate logic""""A hierarchy of unbounded almost rigid classes of finite structures""; ""Some connections between logic and computer science""; ""1. Introduction""; ""2. Logic and Computing: some connections""; ""3. Logical Specifications""; ""4. Fork Algebras""; ""5. Conclusion""; ""Part III. Advances in Philosophical Logic""; ""Opaque predicates, veiled sets and their logic""; ""Truth, quasi-truth 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"" |
|
|
|
|
|
|
|
| |