Algebraic methods in logic and in computer science:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Warszawa
Polish Acad. of Sciences, Inst. of Mathematics
1993
|
| Series: | Międzynarodowe Centrum Matematyczne Imienia Stefana Banacha <Warszawa>: Banach Center publications
28 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 342 S. |
| ISBN: | 8385116923 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009972849 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 950104s1993 |||| 10||| eng d | ||
| 020 | |a 8385116923 |9 83-85116-92-3 | ||
| 035 | |a (OCoLC)30516108 | ||
| 035 | |a (DE-599)BVBBV009972849 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-706 | ||
| 050 | 0 | |a QA10 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 245 | 1 | 0 | |a Algebraic methods in logic and in computer science |c ed. of the vol.: Cecylia Rauszer |
| 264 | 1 | |a Warszawa |b Polish Acad. of Sciences, Inst. of Mathematics |c 1993 | |
| 300 | |a 342 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Międzynarodowe Centrum Matematyczne Imienia Stefana Banacha <Warszawa>: Banach Center publications |v 28 | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Algebraic logic | |
| 650 | 4 | |a Computer science | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Rauszer, Cecylia |e Sonstige |4 oth | |
| 830 | 0 | |a Międzynarodowe Centrum Matematyczne Imienia Stefana Banacha <Warszawa>: Banach Center publications |v 28 |w (DE-604)BV000010142 |9 28 | |
| 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=006608430&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006608430 | ||
Record in the Search Index
| _version_ | 1804124344400478208 |
|---|---|
| adam_text | CONTENTS
Preface 5
C. Brink, From two to four valued logic 9 16
J. M. Font, On the Leibniz congruences 17 36
J. O. M. JASPARS, Normal forms in partial modal logic 37 50
D. PlGOZZI and A. SALIBRA, Polyadic algebras over nonclassical logics 51 66
A. SALIBRA and G. SCOLLO, Compactness and Lowenheim Skolem properties in cat¬
egories of pre institutions 67 94
A. Simon, What the finitization problem is not 95 116
S. D. COMER, On connections between information systems, rough sets and algebraic
logic 117 124
I. KOREC, Generalized Pascal triangles: overview of new results 125 134
Z. Pawlak and A. SKOWRON, Rough membership functions: a tool for reasoning with
uncertainty 135 150
D. SKORDEY, On the detection of some periodic loops during the execution of Prolog
programs 151 166
R. BERGHAMMER and G. SCHMIDT, Relational specifications 167 190
D. A. BREDIKHIN, On algebras of relations 191 199
R. D. Maddux, Finitary axiomatizations of the true relational equations 201 208
S. MlKULAS, Strong completeness of the Lambek Calculus with respect to Relational
Semantics 209 217
V. J. BLOK and I. M. A. FERREIRIM, Hoops and their implicational reducts (abstract) 219 230
I. Duntsch. A note on cylindric lattices 231 238
P. JlPSEN, Discriminator varieties of Boolean algebras with residuated operators . . . 239 252
J. D. Monk, Lectures on cylindric set algebras 253 290
H. A. Priestley, Natural dualities for varieties of distributive lattices with a quantifier 291 310
I. Sain, Weak products of universal algebras 311 318
J. SMITH. Comtrans algebras and their physical applications 319 326
R. J. THOMPSON, Complete description of substitutions in cylindric algebras and other
algebraic logics 327 342
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV009972849 |
| callnumber-first | Q - Science |
| callnumber-label | QA10 |
| callnumber-raw | QA10 |
| callnumber-search | QA10 |
| callnumber-sort | QA 210 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)30516108 (DE-599)BVBBV009972849 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01475nam a2200361 cb4500</leader><controlfield tag="001">BV009972849</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950104s1993 |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">8385116923</subfield><subfield code="9">83-85116-92-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)30516108</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009972849</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-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA10</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic methods in logic and in computer science</subfield><subfield code="c">ed. of the vol.: Cecylia Rauszer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Warszawa</subfield><subfield code="b">Polish Acad. of Sciences, Inst. of Mathematics</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">342 S.</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">Międzynarodowe Centrum Matematyczne Imienia Stefana Banacha <Warszawa>: Banach Center publications</subfield><subfield code="v">28</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</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">Rauszer, Cecylia</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Międzynarodowe Centrum Matematyczne Imienia Stefana Banacha <Warszawa>: Banach Center publications</subfield><subfield code="v">28</subfield><subfield code="w">(DE-604)BV000010142</subfield><subfield code="9">28</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=006608430&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-006608430</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV009972849 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:44:10Z |
| institution | BVB |
| isbn | 8385116923 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006608430 |
| oclc_num | 30516108 |
| open_access_boolean | |
| owner | DE-739 DE-706 |
| owner_facet | DE-739 DE-706 |
| physical | 342 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Polish Acad. of Sciences, Inst. of Mathematics |
| record_format | marc |
| series | Międzynarodowe Centrum Matematyczne Imienia Stefana Banacha <Warszawa>: Banach Center publications |
| series2 | Międzynarodowe Centrum Matematyczne Imienia Stefana Banacha <Warszawa>: Banach Center publications |
| spelling | Algebraic methods in logic and in computer science ed. of the vol.: Cecylia Rauszer Warszawa Polish Acad. of Sciences, Inst. of Mathematics 1993 342 S. txt rdacontent n rdamedia nc rdacarrier Międzynarodowe Centrum Matematyczne Imienia Stefana Banacha <Warszawa>: Banach Center publications 28 Informatik Algebraic logic Computer science (DE-588)1071861417 Konferenzschrift gnd-content Rauszer, Cecylia Sonstige oth Międzynarodowe Centrum Matematyczne Imienia Stefana Banacha <Warszawa>: Banach Center publications 28 (DE-604)BV000010142 28 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006608430&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Algebraic methods in logic and in computer science Międzynarodowe Centrum Matematyczne Imienia Stefana Banacha <Warszawa>: Banach Center publications Informatik Algebraic logic Computer science |
| subject_GND | (DE-588)1071861417 |
| title | Algebraic methods in logic and in computer science |
| title_auth | Algebraic methods in logic and in computer science |
| title_exact_search | Algebraic methods in logic and in computer science |
| title_full | Algebraic methods in logic and in computer science ed. of the vol.: Cecylia Rauszer |
| title_fullStr | Algebraic methods in logic and in computer science ed. of the vol.: Cecylia Rauszer |
| title_full_unstemmed | Algebraic methods in logic and in computer science ed. of the vol.: Cecylia Rauszer |
| title_short | Algebraic methods in logic and in computer science |
| title_sort | algebraic methods in logic and in computer science |
| topic | Informatik Algebraic logic Computer science |
| topic_facet | Informatik Algebraic logic Computer science Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006608430&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000010142 |
| work_keys_str_mv | AT rauszercecylia algebraicmethodsinlogicandincomputerscience |