Automated proof search in non-classical logics: efficient matrix proof methods for modal and intuitionistic logics
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass. u.a.
MIT Pr.
1990
|
| Series: | MIT Press series in artificial intelligence
|
| Subjects: | |
| Physical Description: | 239 S. |
| ISBN: | 0262231441 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004143194 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 901114s1990 |||| 00||| engod | ||
| 020 | |a 0262231441 |9 0-262-23144-1 | ||
| 035 | |a (OCoLC)20351829 | ||
| 035 | |a (DE-599)BVBBV004143194 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-739 |a DE-29T |a DE-19 |a DE-188 | ||
| 050 | 0 | |a QA9.54 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a MAT 036f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 100 | 1 | |a Wallen, Lincoln A. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Automated proof search in non-classical logics |b efficient matrix proof methods for modal and intuitionistic logics |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Pr. |c 1990 | |
| 300 | |a 239 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a MIT Press series in artificial intelligence | |
| 650 | 7 | |a Intuitionisme (Mathématiques) |2 ram | |
| 650 | 4 | |a Mathématiques intuitionnistes | |
| 650 | 4 | |a Modalité (Logique) | |
| 650 | 7 | |a Modalité (logique) |2 ram | |
| 650 | 4 | |a Preuve, Théorie de la | |
| 650 | 7 | |a déduction automatique |2 inriac | |
| 650 | 7 | |a intuitionnisme |2 inriac | |
| 650 | 7 | |a logique intuitionniste |2 inriac | |
| 650 | 7 | |a logique modale |2 inriac | |
| 650 | 7 | |a théorie démonstration |2 inriac | |
| 650 | 4 | |a Intuitionistic mathematics | |
| 650 | 4 | |a Modality (Logic) | |
| 650 | 4 | |a Proof theory | |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prüfprogramm |0 (DE-588)4268583-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nichtklassische Logik |0 (DE-588)4197462-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Prüfprogramm |0 (DE-588)4268583-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 1 | 1 | |a Nichtklassische Logik |0 (DE-588)4197462-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002585030 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804118357873524736 |
|---|---|
| any_adam_object | |
| author | Wallen, Lincoln A. |
| author_facet | Wallen, Lincoln A. |
| author_role | aut |
| author_sort | Wallen, Lincoln A. |
| author_variant | l a w la law |
| building | Verbundindex |
| bvnumber | BV004143194 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 |
| callnumber-search | QA9.54 |
| callnumber-sort | QA 19.54 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| classification_tum | DAT 540f MAT 036f DAT 706f |
| ctrlnum | (OCoLC)20351829 (DE-599)BVBBV004143194 |
| 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 | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02318nam a2200637 c 4500</leader><controlfield tag="001">BV004143194</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">901114s1990 |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262231441</subfield><subfield code="9">0-262-23144-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20351829</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004143194</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 036f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wallen, Lincoln A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automated proof search in non-classical logics</subfield><subfield code="b">efficient matrix proof methods for modal and intuitionistic logics</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Pr.</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">239 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="0" ind2=" "><subfield code="a">MIT Press series in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intuitionisme (Mathématiques)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques intuitionnistes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modalité (Logique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modalité (logique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Preuve, Théorie de la</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déduction automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">intuitionnisme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique intuitionniste</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique modale</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie démonstration</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intuitionistic mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prüfprogramm</subfield><subfield code="0">(DE-588)4268583-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtklassische Logik</subfield><subfield code="0">(DE-588)4197462-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Prüfprogramm</subfield><subfield code="0">(DE-588)4268583-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Nichtklassische Logik</subfield><subfield code="0">(DE-588)4197462-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002585030</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV004143194 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:09:01Z |
| institution | BVB |
| isbn | 0262231441 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002585030 |
| oclc_num | 20351829 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-739 DE-29T DE-19 DE-BY-UBM DE-188 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-739 DE-29T DE-19 DE-BY-UBM DE-188 |
| physical | 239 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | MIT Pr. |
| record_format | marc |
| series2 | MIT Press series in artificial intelligence |
| spelling | Wallen, Lincoln A. Verfasser aut Automated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics Cambridge, Mass. u.a. MIT Pr. 1990 239 S. txt rdacontent n rdamedia nc rdacarrier MIT Press series in artificial intelligence Intuitionisme (Mathématiques) ram Mathématiques intuitionnistes Modalité (Logique) Modalité (logique) ram Preuve, Théorie de la déduction automatique inriac intuitionnisme inriac logique intuitionniste inriac logique modale inriac théorie démonstration inriac Intuitionistic mathematics Modality (Logic) Proof theory Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Prüfprogramm (DE-588)4268583-7 gnd rswk-swf Nichtklassische Logik (DE-588)4197462-1 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Prüfprogramm (DE-588)4268583-7 s DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s Nichtklassische Logik (DE-588)4197462-1 s 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Wallen, Lincoln A. Automated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics Intuitionisme (Mathématiques) ram Mathématiques intuitionnistes Modalité (Logique) Modalité (logique) ram Preuve, Théorie de la déduction automatique inriac intuitionnisme inriac logique intuitionniste inriac logique modale inriac théorie démonstration inriac Intuitionistic mathematics Modality (Logic) Proof theory Automatisches Beweisverfahren (DE-588)4069034-9 gnd Prüfprogramm (DE-588)4268583-7 gnd Nichtklassische Logik (DE-588)4197462-1 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)4268583-7 (DE-588)4197462-1 (DE-588)4033447-8 (DE-588)4113937-9 |
| title | Automated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics |
| title_auth | Automated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics |
| title_exact_search | Automated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics |
| title_full | Automated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics |
| title_fullStr | Automated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics |
| title_full_unstemmed | Automated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics |
| title_short | Automated proof search in non-classical logics |
| title_sort | automated proof search in non classical logics efficient matrix proof methods for modal and intuitionistic logics |
| title_sub | efficient matrix proof methods for modal and intuitionistic logics |
| topic | Intuitionisme (Mathématiques) ram Mathématiques intuitionnistes Modalité (Logique) Modalité (logique) ram Preuve, Théorie de la déduction automatique inriac intuitionnisme inriac logique intuitionniste inriac logique modale inriac théorie démonstration inriac Intuitionistic mathematics Modality (Logic) Proof theory Automatisches Beweisverfahren (DE-588)4069034-9 gnd Prüfprogramm (DE-588)4268583-7 gnd Nichtklassische Logik (DE-588)4197462-1 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Intuitionisme (Mathématiques) Mathématiques intuitionnistes Modalité (Logique) Modalité (logique) Preuve, Théorie de la déduction automatique intuitionnisme logique intuitionniste logique modale théorie démonstration Intuitionistic mathematics Modality (Logic) Proof theory Automatisches Beweisverfahren Prüfprogramm Nichtklassische Logik Künstliche Intelligenz Hochschulschrift |
| work_keys_str_mv | AT wallenlincolna automatedproofsearchinnonclassicallogicsefficientmatrixproofmethodsformodalandintuitionisticlogics |