First order logic revisited:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin
Logos
2004
|
| Schriftenreihe: | Logische Philosophie
[12] |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VI, 398 S. graph. Darst. |
| ISBN: | 3832504753 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV019391475 | ||
| 003 | DE-604 | ||
| 005 | 20060209 | ||
| 007 | t | ||
| 008 | 040914s2004 d||| |||| 10||| eng d | ||
| 020 | |a 3832504753 |9 3-8325-0475-3 | ||
| 035 | |a (OCoLC)57010695 | ||
| 035 | |a (DE-599)BVBBV019391475 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-29 |a DE-11 |a DE-355 | ||
| 050 | 0 | |a BC128 | |
| 082 | 0 | |a 510 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 245 | 1 | 0 | |a First order logic revisited |c ed.: Vincent Hendricks ... |
| 246 | 1 | 3 | |a First-order logic revisited |
| 264 | 1 | |a Berlin |b Logos |c 2004 | |
| 300 | |a VI, 398 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Logische Philosophie |v [12] | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 4 | |a First-order logic |v Congresses | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2003 |z Berlin |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Hendricks, Vincent F. |e Sonstige |4 oth | |
| 830 | 0 | |a Logische Philosophie |v [12] |w (DE-604)BV011991877 |9 12 | |
| 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=012854194&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-012854194 | ||
Datensatz im Suchindex
| _version_ | 1804132840715059200 |
|---|---|
| adam_text | Titel: First order logic revisited
Autor: Hendricks, Vincent F.
Jahr: 2004
Contents
Introduction.............................................................1
H. Andreka, J. X. Madamsz, I. Nemeti
Logical analysis of relativity theories.....................................7
A. Avron
Safety Signatures for First-order Languages and Their Applications .....37
K. Briinnler, A. Guglielmi
A First Order System with Finite Choice of Premises ...................59
G. Englebretsen
Predicate Logic, Predicates, and Terms .................................75
W. Ewald
FOL 75? ...............................................................89
P. Hdjek
Fuzzy logic and arithmetical hierarchy IV .............................107
J. Hintikka
What is the True Algebra of First-Order Logic? .......................117
W. Hodges
The importance and neglect of conceptual analysis:
Hilbert-Ackermann iii.3 ...............................................129
M. Kracht
Notes on Substitution in First-Order Logic ............................155
CONTENTS
vi
R. Lanzet, H. Ben-Yami m
Logical Inquiries into a New Formal System with Plural Reference.....
J. X. Madardsz, I. Nemeti, C. Toke
On generalizing the logic-approach to space-time
towards general relativity, first steps ..................................
S.P. Odintsov, H. Wansing
Constructive Predicate Logic and Constructive Modal Logic.
Formal Duality versus Semantical Duality .............................
J. A. Robinson
Logic is not the whole story ...........................................
M. Rossberq
First-Order Logic, Second-Order Logic, and Completeness .............ou
M. Thiehcher
Logic-Based Agents and the Frame Problem:
A Case for Progression ................................................^
D. E. Wilhrd
A Version of the Second Incompleteness Theorem
For Axiom Systems that Recognize Addition
But Not Multiplication as a Total Function............................337
J. WolensM
First-Order Logic: (Philosophical) Pro and Contra ....................369
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV019391475 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC128 |
| callnumber-raw | BC128 |
| callnumber-search | BC128 |
| callnumber-sort | BC 3128 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2500 CC 2600 |
| ctrlnum | (OCoLC)57010695 (DE-599)BVBBV019391475 |
| dewey-full | 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510 |
| dewey-search | 510 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01598nam a2200433 cb4500</leader><controlfield tag="001">BV019391475</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060209 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">040914s2004 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3832504753</subfield><subfield code="9">3-8325-0475-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)57010695</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019391475</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC128</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">First order logic revisited</subfield><subfield code="c">ed.: Vincent Hendricks ...</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">First-order logic revisited</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Logos</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 398 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">Logische Philosophie</subfield><subfield code="v">[12]</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskundige logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">First-order logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2003</subfield><subfield code="z">Berlin</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hendricks, Vincent F.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Logische Philosophie</subfield><subfield code="v">[12]</subfield><subfield code="w">(DE-604)BV011991877</subfield><subfield code="9">12</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=012854194&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-012854194</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2003 Berlin gnd-content |
| genre_facet | Konferenzschrift 2003 Berlin |
| id | DE-604.BV019391475 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:59:13Z |
| institution | BVB |
| isbn | 3832504753 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012854194 |
| oclc_num | 57010695 |
| open_access_boolean | |
| owner | DE-12 DE-29 DE-11 DE-355 DE-BY-UBR |
| owner_facet | DE-12 DE-29 DE-11 DE-355 DE-BY-UBR |
| physical | VI, 398 S. graph. Darst. |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Logos |
| record_format | marc |
| series | Logische Philosophie |
| series2 | Logische Philosophie |
| spelling | First order logic revisited ed.: Vincent Hendricks ... First-order logic revisited Berlin Logos 2004 VI, 398 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logische Philosophie [12] Wiskundige logica gtt First-order logic Congresses Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2003 Berlin gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Hendricks, Vincent F. Sonstige oth Logische Philosophie [12] (DE-604)BV011991877 12 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012854194&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | First order logic revisited Logische Philosophie Wiskundige logica gtt First-order logic Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)1071861417 |
| title | First order logic revisited |
| title_alt | First-order logic revisited |
| title_auth | First order logic revisited |
| title_exact_search | First order logic revisited |
| title_full | First order logic revisited ed.: Vincent Hendricks ... |
| title_fullStr | First order logic revisited ed.: Vincent Hendricks ... |
| title_full_unstemmed | First order logic revisited ed.: Vincent Hendricks ... |
| title_short | First order logic revisited |
| title_sort | first order logic revisited |
| topic | Wiskundige logica gtt First-order logic Congresses Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Wiskundige logica First-order logic Congresses Mathematische Logik Konferenzschrift 2003 Berlin |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012854194&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV011991877 |
| work_keys_str_mv | AT hendricksvincentf firstorderlogicrevisited |