Auromated proof search in non-classical logics: efficient matrix proof methods for modal and intuitionistic logics
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. u.a.
MIT Press
1990
|
| Schlagworte: | |
| Beschreibung: | 239 S. |
| ISBN: | 0262231441 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009675466 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940627s1990 |||| 00||| eng d | ||
| 020 | |a 0262231441 |9 0-262-23144-1 | ||
| 035 | |a (OCoLC)20351829 | ||
| 035 | |a (DE-599)BVBBV009675466 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 | ||
| 050 | 0 | |a QA9.54 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 100 | 1 | |a Wallen, Lincoln A. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Auromated proof search in non-classical logics |b efficient matrix proof methods for modal and intuitionistic logics |c Lincoln A. Wallen |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Press |c 1990 | |
| 300 | |a 239 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Mathematical logic | |
| 650 | 7 | |a Automatisches Beweisverfahren |2 swd | |
| 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 | 7 | |a Nichtklassische Logik |2 swd | |
| 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006399232 | ||
Datensatz im Suchindex
| _version_ | 1804124021139177472 |
|---|---|
| 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 | BV009675466 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 |
| callnumber-search | QA9.54 |
| callnumber-sort | QA 19.54 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)20351829 (DE-599)BVBBV009675466 |
| 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>01497nam a2200469 c 4500</leader><controlfield tag="001">BV009675466</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940627s1990 |||| 00||| eng d</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)BVBBV009675466</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-19</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="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">Auromated proof search in non-classical logics</subfield><subfield code="b">efficient matrix proof methods for modal and intuitionistic logics</subfield><subfield code="c">Lincoln A. Wallen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Press</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="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="2">swd</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="7"><subfield code="a">Nichtklassische Logik</subfield><subfield code="2">swd</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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006399232</subfield></datafield></record></collection> |
| id | DE-604.BV009675466 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:39:02Z |
| institution | BVB |
| isbn | 0262231441 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006399232 |
| oclc_num | 20351829 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM |
| owner_facet | DE-19 DE-BY-UBM |
| physical | 239 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Wallen, Lincoln A. Verfasser aut Auromated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics Lincoln A. Wallen Cambridge, Mass. u.a. MIT Press 1990 239 S. txt rdacontent n rdamedia nc rdacarrier Mathematical logic Automatisches Beweisverfahren swd Intuitionisme (Mathématiques) ram Mathématiques intuitionnistes Modalité (Logique) Modalité (logique) ram Nichtklassische Logik swd 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 |
| spellingShingle | Wallen, Lincoln A. Auromated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics Mathematical logic Automatisches Beweisverfahren swd Intuitionisme (Mathématiques) ram Mathématiques intuitionnistes Modalité (Logique) Modalité (logique) ram Nichtklassische Logik swd 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 |
| title | Auromated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics |
| title_auth | Auromated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics |
| title_exact_search | Auromated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics |
| title_full | Auromated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics Lincoln A. Wallen |
| title_fullStr | Auromated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics Lincoln A. Wallen |
| title_full_unstemmed | Auromated proof search in non-classical logics efficient matrix proof methods for modal and intuitionistic logics Lincoln A. Wallen |
| title_short | Auromated proof search in non-classical logics |
| title_sort | auromated 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 | Mathematical logic Automatisches Beweisverfahren swd Intuitionisme (Mathématiques) ram Mathématiques intuitionnistes Modalité (Logique) Modalité (logique) ram Nichtklassische Logik swd 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 |
| topic_facet | Mathematical logic Automatisches Beweisverfahren Intuitionisme (Mathématiques) Mathématiques intuitionnistes Modalité (Logique) Modalité (logique) Nichtklassische Logik Preuve, Théorie de la déduction automatique intuitionnisme logique intuitionniste logique modale théorie démonstration Intuitionistic mathematics Modality (Logic) Proof theory |
| work_keys_str_mv | AT wallenlincolna auromatedproofsearchinnonclassicallogicsefficientmatrixproofmethodsformodalandintuitionisticlogics |