Advances in contemporary logic and computer science: proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6 - 10, 1996 Salvador, Bahia, Brazil
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Providence, RI
American Math. Soc.
1999
|
| Series: | Contemporary mathematics
235 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XI, 326 S. graph. Darst. |
| ISBN: | 0821813641 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012923210 | ||
| 003 | DE-604 | ||
| 005 | 20150219 | ||
| 007 | t | ||
| 008 | 991229s1999 d||| |||| 10||| eng d | ||
| 020 | |a 0821813641 |9 0-8218-1364-1 | ||
| 035 | |a (OCoLC)122960582 | ||
| 035 | |a (DE-599)BVBBV012923210 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-188 | ||
| 050 | 0 | |a QA76.9.L36 | |
| 082 | 0 | |a 005.1/01/5113 |2 21 | |
| 084 | |a SD 1996 |0 (DE-625)142730: |2 rvk | ||
| 084 | |a SI 805 |0 (DE-625)143193: |2 rvk | ||
| 245 | 1 | 0 | |a Advances in contemporary logic and computer science |b proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6 - 10, 1996 Salvador, Bahia, Brazil |c Walter A. Carnielli ... eds. |
| 264 | 1 | |a Providence, RI |b American Math. Soc. |c 1999 | |
| 300 | |a XI, 326 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Contemporary mathematics |v 235 | |
| 650 | 4 | |a Computer logic |v Congresses | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Carnielli, Walter Alexandre |d 1952- |e Sonstige |0 (DE-588)1014998530 |4 oth | |
| 711 | 2 | |a Brazilian Conference on Mathematical Logic |n 11 |d 1996 |c Salvador |j Sonstige |0 (DE-588)1243655-0 |4 oth | |
| 830 | 0 | |a Contemporary mathematics |v 235 |w (DE-604)BV000003365 |9 235 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008797879&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008797879 | ||
Record in the Search Index
| _version_ | 1804127612211036160 |
|---|---|
| adam_text | Contents
Preface ix
Part I. Advances in Logic
The mathematical structure of logical syntax
Jean Yves Beziau 3
Quantifiers for reasoning with imperfect information and Ej logic
Xavier Caicedo and Michal Krynicki 17
Society semantics and multiple valued logics
Walter A. Carnielli and Mamede Lima Marques 33
A topological approach to the logic underlying fuzzy subset theory
Jose Carlos Cifuentes 53
Categorical logic with partial elements
Marcelo E. Coniglio 63
Algebraic K theory of fields and special groups
Max Dickmann and Francisco Miraglia 83
Closed ideals of MV algebras
Antonio Di Nola, George Georgescu, and Salvatore Sessa 99
Definitions of adjunction
Kosta Dosen 113
A reduced spectrum for MV algebras
Nestor G. Martinez 127
Part II. Advances in Theoretical Computer Science
A tableau calculus for Dummett predicate logic
Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli,
and Ugo Moscato 135
A hierarchy of unbounded almost rigid classes of finite structures
Jose Maria Turull Torres 153
Some connections between logic and computer science
Paulo A. S. Veloso 187
vii
viii CONTENTS
Part III. Advances in Philosophical Logic
Opaque predicates, veiled sets and their logic
Decio Krause and Steven French 263
Truth, quasi truth and paraconsistency
Otavio Bueno 275
To be a Fregean or to be a Husserlian: That is the question for Platonists
GUILLERMO E. ROSADO HADDOCK 295
A modal framework for consequential implication and the factor law
Claudio Pizzi 313
|
| any_adam_object | 1 |
| author_GND | (DE-588)1014998530 |
| building | Verbundindex |
| bvnumber | BV012923210 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.L36 |
| callnumber-search | QA76.9.L36 |
| callnumber-sort | QA 276.9 L36 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 1996 SI 805 |
| ctrlnum | (OCoLC)122960582 (DE-599)BVBBV012923210 |
| dewey-full | 005.1/01/5113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/01/5113 |
| dewey-search | 005.1/01/5113 |
| dewey-sort | 15.1 11 45113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01705nam a2200385 cb4500</leader><controlfield tag="001">BV012923210</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150219 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">991229s1999 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0821813641</subfield><subfield code="9">0-8218-1364-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)122960582</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012923210</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.L36</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/01/5113</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1996</subfield><subfield code="0">(DE-625)142730:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 805</subfield><subfield code="0">(DE-625)143193:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in contemporary logic and computer science</subfield><subfield code="b">proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6 - 10, 1996 Salvador, Bahia, Brazil</subfield><subfield code="c">Walter A. Carnielli ... eds.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, RI</subfield><subfield code="b">American Math. Soc.</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 326 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Contemporary mathematics</subfield><subfield code="v">235</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Carnielli, Walter Alexandre</subfield><subfield code="d">1952-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1014998530</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Brazilian Conference on Mathematical Logic</subfield><subfield code="n">11</subfield><subfield code="d">1996</subfield><subfield code="c">Salvador</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1243655-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Contemporary mathematics</subfield><subfield code="v">235</subfield><subfield code="w">(DE-604)BV000003365</subfield><subfield code="9">235</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008797879&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008797879</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV012923210 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:36:07Z |
| institution | BVB |
| institution_GND | (DE-588)1243655-0 |
| isbn | 0821813641 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008797879 |
| oclc_num | 122960582 |
| open_access_boolean | |
| owner | DE-739 DE-188 |
| owner_facet | DE-739 DE-188 |
| physical | XI, 326 S. graph. Darst. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | American Math. Soc. |
| record_format | marc |
| series | Contemporary mathematics |
| series2 | Contemporary mathematics |
| spelling | Advances in contemporary logic and computer science proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6 - 10, 1996 Salvador, Bahia, Brazil Walter A. Carnielli ... eds. Providence, RI American Math. Soc. 1999 XI, 326 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Contemporary mathematics 235 Computer logic Congresses Logic, Symbolic and mathematical Congresses (DE-588)1071861417 Konferenzschrift gnd-content Carnielli, Walter Alexandre 1952- Sonstige (DE-588)1014998530 oth Brazilian Conference on Mathematical Logic 11 1996 Salvador Sonstige (DE-588)1243655-0 oth Contemporary mathematics 235 (DE-604)BV000003365 235 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008797879&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Advances in contemporary logic and computer science proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6 - 10, 1996 Salvador, Bahia, Brazil Contemporary mathematics Computer logic Congresses Logic, Symbolic and mathematical Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Advances in contemporary logic and computer science proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6 - 10, 1996 Salvador, Bahia, Brazil |
| title_auth | Advances in contemporary logic and computer science proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6 - 10, 1996 Salvador, Bahia, Brazil |
| title_exact_search | Advances in contemporary logic and computer science proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6 - 10, 1996 Salvador, Bahia, Brazil |
| title_full | Advances in contemporary logic and computer science proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6 - 10, 1996 Salvador, Bahia, Brazil Walter A. Carnielli ... eds. |
| title_fullStr | Advances in contemporary logic and computer science proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6 - 10, 1996 Salvador, Bahia, Brazil Walter A. Carnielli ... eds. |
| title_full_unstemmed | Advances in contemporary logic and computer science proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6 - 10, 1996 Salvador, Bahia, Brazil Walter A. Carnielli ... eds. |
| title_short | Advances in contemporary logic and computer science |
| title_sort | advances in contemporary logic and computer science proceedings of the eleventh brazilian conference on mathematical logic may 6 10 1996 salvador bahia brazil |
| title_sub | proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6 - 10, 1996 Salvador, Bahia, Brazil |
| topic | Computer logic Congresses Logic, Symbolic and mathematical Congresses |
| topic_facet | Computer logic Congresses Logic, Symbolic and mathematical Congresses Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008797879&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000003365 |
| work_keys_str_mv | AT carnielliwalteralexandre advancesincontemporarylogicandcomputerscienceproceedingsoftheeleventhbrazilianconferenceonmathematicallogicmay6101996salvadorbahiabrazil AT brazilianconferenceonmathematicallogicsalvador advancesincontemporarylogicandcomputerscienceproceedingsoftheeleventhbrazilianconferenceonmathematicallogicmay6101996salvadorbahiabrazil |