Protoalgebraic Logics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2001
|
| Schriftenreihe: | Trends in Logic, Studia Logica Library
10 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation. We wish to show these ideas in a factually and materially connected way, i.e., in the form of a consistent theory derived from several simple assumptions and definitions. These ideas have arisen in many research centers. The thorough study of their history can certainly be an exciting task for the historian of logic; in the book this aspect of the theory is being played down. The book belongs to abstract algebraic logic, the area of research that explores to a large extent interconnections between algebra and logic. The results presented here concern logics defined in zero-order languages (Le., quantifier-free sentential languages without predicate symbols). The reach of the theory expounded in the book is, in fact, much wider. The theory is also valid for logics defined in languages of higer orders. The problem of transferring the theory to the level of first-order languages has been satisfactorily solved and new ideas within this area have been put forward in the work of Blok and Pigozzi [1989] |
| Beschreibung: | 1 Online-Ressource (XII, 452 p) |
| ISBN: | 9789401728072 9789048156931 |
| ISSN: | 1572-6126 |
| DOI: | 10.1007/978-94-017-2807-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042424302 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2001 |||| o||u| ||||||eng d | ||
| 020 | |a 9789401728072 |c Online |9 978-94-017-2807-2 | ||
| 020 | |a 9789048156931 |c Print |9 978-90-481-5693-1 | ||
| 024 | 7 | |a 10.1007/978-94-017-2807-2 |2 doi | |
| 035 | |a (OCoLC)864002469 | ||
| 035 | |a (DE-599)BVBBV042424302 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Czelakowski, Janusz |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Protoalgebraic Logics |c by Janusz Czelakowski |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2001 | |
| 300 | |a 1 Online-Ressource (XII, 452 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Trends in Logic, Studia Logica Library |v 10 |x 1572-6126 | |
| 500 | |a The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation. We wish to show these ideas in a factually and materially connected way, i.e., in the form of a consistent theory derived from several simple assumptions and definitions. These ideas have arisen in many research centers. The thorough study of their history can certainly be an exciting task for the historian of logic; in the book this aspect of the theory is being played down. The book belongs to abstract algebraic logic, the area of research that explores to a large extent interconnections between algebra and logic. The results presented here concern logics defined in zero-order languages (Le., quantifier-free sentential languages without predicate symbols). The reach of the theory expounded in the book is, in fact, much wider. The theory is also valid for logics defined in languages of higer orders. The problem of transferring the theory to the level of first-order languages has been satisfactorily solved and new ideas within this area have been put forward in the work of Blok and Pigozzi [1989] | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Algebra | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Semantics | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematik | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-017-2807-2 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027859719 | ||
Datensatz im Suchindex
| _version_ | 1804153101088718848 |
|---|---|
| any_adam_object | |
| author | Czelakowski, Janusz |
| author_facet | Czelakowski, Janusz |
| author_role | aut |
| author_sort | Czelakowski, Janusz |
| author_variant | j c jc |
| building | Verbundindex |
| bvnumber | BV042424302 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)864002469 (DE-599)BVBBV042424302 |
| 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 |
| doi_str_mv | 10.1007/978-94-017-2807-2 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02514nmm a2200445zcb4500</leader><controlfield tag="001">BV042424302</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2001 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401728072</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-017-2807-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048156931</subfield><subfield code="c">Print</subfield><subfield code="9">978-90-481-5693-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-017-2807-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864002469</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042424302</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Czelakowski, Janusz</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Protoalgebraic Logics</subfield><subfield code="c">by Janusz Czelakowski</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 452 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Trends in Logic, Studia Logica Library</subfield><subfield code="v">10</subfield><subfield code="x">1572-6126</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation. We wish to show these ideas in a factually and materially connected way, i.e., in the form of a consistent theory derived from several simple assumptions and definitions. These ideas have arisen in many research centers. The thorough study of their history can certainly be an exciting task for the historian of logic; in the book this aspect of the theory is being played down. The book belongs to abstract algebraic logic, the area of research that explores to a large extent interconnections between algebra and logic. The results presented here concern logics defined in zero-order languages (Le., quantifier-free sentential languages without predicate symbols). The reach of the theory expounded in the book is, in fact, much wider. The theory is also valid for logics defined in languages of higer orders. The problem of transferring the theory to the level of first-order languages has been satisfactorily solved and new ideas within this area have been put forward in the work of Blok and Pigozzi [1989]</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-017-2807-2</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027859719</subfield></datafield></record></collection> |
| id | DE-604.BV042424302 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:15Z |
| institution | BVB |
| isbn | 9789401728072 9789048156931 |
| issn | 1572-6126 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027859719 |
| oclc_num | 864002469 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XII, 452 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | Trends in Logic, Studia Logica Library |
| spelling | Czelakowski, Janusz Verfasser aut Protoalgebraic Logics by Janusz Czelakowski Dordrecht Springer Netherlands 2001 1 Online-Ressource (XII, 452 p) txt rdacontent c rdamedia cr rdacarrier Trends in Logic, Studia Logica Library 10 1572-6126 The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation. We wish to show these ideas in a factually and materially connected way, i.e., in the form of a consistent theory derived from several simple assumptions and definitions. These ideas have arisen in many research centers. The thorough study of their history can certainly be an exciting task for the historian of logic; in the book this aspect of the theory is being played down. The book belongs to abstract algebraic logic, the area of research that explores to a large extent interconnections between algebra and logic. The results presented here concern logics defined in zero-order languages (Le., quantifier-free sentential languages without predicate symbols). The reach of the theory expounded in the book is, in fact, much wider. The theory is also valid for logics defined in languages of higer orders. The problem of transferring the theory to the level of first-order languages has been satisfactorily solved and new ideas within this area have been put forward in the work of Blok and Pigozzi [1989] Mathematics Logic Algebra Logic, Symbolic and mathematical Semantics Mathematical Logic and Foundations Mathematik https://doi.org/10.1007/978-94-017-2807-2 Verlag Volltext |
| spellingShingle | Czelakowski, Janusz Protoalgebraic Logics Mathematics Logic Algebra Logic, Symbolic and mathematical Semantics Mathematical Logic and Foundations Mathematik |
| title | Protoalgebraic Logics |
| title_auth | Protoalgebraic Logics |
| title_exact_search | Protoalgebraic Logics |
| title_full | Protoalgebraic Logics by Janusz Czelakowski |
| title_fullStr | Protoalgebraic Logics by Janusz Czelakowski |
| title_full_unstemmed | Protoalgebraic Logics by Janusz Czelakowski |
| title_short | Protoalgebraic Logics |
| title_sort | protoalgebraic logics |
| topic | Mathematics Logic Algebra Logic, Symbolic and mathematical Semantics Mathematical Logic and Foundations Mathematik |
| topic_facet | Mathematics Logic Algebra Logic, Symbolic and mathematical Semantics Mathematical Logic and Foundations Mathematik |
| url | https://doi.org/10.1007/978-94-017-2807-2 |
| work_keys_str_mv | AT czelakowskijanusz protoalgebraiclogics |