Verfügbarkeit: Logica universalis | Technische Universität München

Logica universalis: towards a general theory of logic

Gespeichert in:

Bibliographische Detailangaben
Weitere beteiligte Personen:	Beziau, Jean-Yves 1965- (HerausgeberIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Basel ; Boston ; Berlin Birkhäuser 2007
Ausgabe:	2. ed.
Schlagwörter:	Logique symbolique et mathématique Modèles, Théorie des Logic, Symbolic and mathematical Model theory Mathematische Logik Modelltheorie Universelle Logik Aufsatzsammlung
Links:	http://deposit.dnb.de/cgi-bin/dokserv?id=2908935&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015691156&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Beschreibung:	Literaturangaben
Umfang:	X, 246 S. 24 cm
ISBN:	9783764383534 3764383534

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV022483844
003	DE-604
005	20080702
007	t\|
008	070627s2007 sz \|\|\|\| 00\|\|\| eng d
015			\|a 07,N08,1044 \|2 dnb
015			\|a 07,A22,0803 \|2 dnb
016	7		\|a 982763506 \|2 DE-101
020			\|a 9783764383534 \|c kart. : ca. EUR 51.36 (freier Pr.), ca. sfr 78.00 \|9 978-3-7643-8353-4
020			\|a 3764383534 \|c kart. : ca. EUR 51.36 (freier Pr.), ca. sfr 78.00 \|9 3-7643-8353-4
024	3		\|a 9783764383534
028	5	2	\|a 12021369
035			\|a (OCoLC)180726285
035			\|a (DE-599)DNB982763506
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a sz \|c XA-CH \|a xxu \|c XD-US \|a gw \|c XA-DE
049			\|a DE-703
050		0	\|a QA9.2
082	0		\|a 511.3 \|2 22/ger
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a 510 \|2 sdnb
245	1	0	\|a Logica universalis \|b towards a general theory of logic \|c Jean-Yves Beziau ed.
250			\|a 2. ed.
264		1	\|a Basel ; Boston ; Berlin \|b Birkhäuser \|c 2007
300			\|a X, 246 S. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a Literaturangaben
650		7	\|a Logique symbolique et mathématique \|2 ram
650		7	\|a Modèles, Théorie des \|2 ram
650		4	\|a Logic, Symbolic and mathematical
650		4	\|a Model theory
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Modelltheorie \|0 (DE-588)4114617-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Universelle Logik \|0 (DE-588)4847643-2 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4143413-4 \|a Aufsatzsammlung \|2 gnd-content
689	0	0	\|a Universelle Logik \|0 (DE-588)4847643-2 \|D s
689	0		\|5 DE-604
689	1	0	\|a Modelltheorie \|0 (DE-588)4114617-7 \|D s
689	1		\|8 1\p \|5 DE-604
689	2	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	2		\|8 2\p \|5 DE-604
700	1		\|a Beziau, Jean-Yves \|d 1965- \|0 (DE-588)130414751 \|4 edt
856	4	2	\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=2908935&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m HEBIS Datenaustausch Darmstadt \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015691156&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-015691156

Datensatz im Suchindex

_version_	1822521257667592192
adam_text	LOGICA UNIVERSALIS TOWARDS A GENERAL THEORY OF LOGIC SECOND EDITION JEAN-YVES BEZIAU EDITOR BIRKHAUSER BASEL * BOSTON * BERLIN CONTENTS PREFACE VII PREFACE TO THE SECOND EDITION XI PART I. UNIVERSAL LOGIC: FRAMEWORKS AND STRUCTURES JEAN-YVES BEZIAU PROM CONSEQUENCE OPERATOR TO UNIVERSAL LOGIC: A SURVEY OF GENERAL ABSTRACT LOGIC 3 MARTA GARCIA-MATOS AND JOUKO VA'ANANEN ABSTRACT MODEL THEORY AS A FRAMEWORK FOR UNIVERSAL LOGIC 19 STEFFEN LEWITZKA A TOPOLOGICAL APPROACH TO UNIVERSAL LOGIC: MODEL-THEORETICAL ABSTRACT LOGICS 35 RAMON JANSANA SELFEXTENSIONAL LOGICS WITH IMPLICATION 63 PIERRE AGERON LOGIC WITHOUT SELF-DEDUCTIBILITY 87 PART II. IDENTITY AND NATURE OF LOGICAL STRUCTURES CARLOS CALEIRO AND RICARDO GONGALVES EQUIPOLLENT LOGICAL SYSTEMS 97 TILL MOSSAKOWSKI, JOSEPH GOGUEN, RDZVAN DIACONESCU AND ANDRZEJ TARLECKI WHAT IS A LOGIC? ILL LUTZ STRAFIBURGER WHAT IS A LOGIC, AND WHAT IS A PROOF? 135 VI CONTENTS PART III. TOOLS AND CONCEPTS FOR UNIVERSAL LOGIC ARNON AVRON NON-DETERMINISTIC MATRICES AND MODULAR SEMANTICS OF RULES 155 CARLOS CALEIRO, WALTER CARNIELLI, MARCELO CONIGLIO AND JODO MARCOS TWO'S COMPANY: "THE HUMBUG OF MANY LOGICAL VALUES" 175 DAVID MAKINSON FRIENDLINESS AND SYMPATHY IN LOGIC 195 LLOYD HUMBERSTONE LOGICAL DISCRIMINATION 225
any_adam_object	1
author2	Beziau, Jean-Yves 1965-
author2_role	edt
author2_variant	j y b jyb
author_GND	(DE-588)130414751
author_facet	Beziau, Jean-Yves 1965-
building	Verbundindex
bvnumber	BV022483844
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9.2
callnumber-search	QA9.2
callnumber-sort	QA 19.2
callnumber-subject	QA - Mathematics
classification_rvk	SK 130
ctrlnum	(OCoLC)180726285 (DE-599)DNB982763506
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
edition	2. ed.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV022483844</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080702</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">070627s2007 sz \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N08,1044</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,A22,0803</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">982763506</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783764383534</subfield><subfield code="c">kart. : ca. EUR 51.36 (freier Pr.), ca. sfr 78.00</subfield><subfield code="9">978-3-7643-8353-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3764383534</subfield><subfield code="c">kart. : ca. EUR 51.36 (freier Pr.), ca. sfr 78.00</subfield><subfield code="9">3-7643-8353-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783764383534</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12021369</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)180726285</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB982763506</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="044" ind1=" " ind2=" "><subfield code="a">sz</subfield><subfield code="c">XA-CH</subfield><subfield code="a">xxu</subfield><subfield code="c">XD-US</subfield><subfield code="a">gw</subfield><subfield code="c">XA-DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22/ger</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">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logica universalis</subfield><subfield code="b">towards a general theory of logic</subfield><subfield code="c">Jean-Yves Beziau ed.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Basel ; Boston ; Berlin</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 246 S.</subfield><subfield code="c">24 cm</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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modèles, Théorie des</subfield><subfield code="2">ram</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">Model theory</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="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Universelle Logik</subfield><subfield code="0">(DE-588)4847643-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Universelle Logik</subfield><subfield code="0">(DE-588)4847643-2</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">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Beziau, Jean-Yves</subfield><subfield code="d">1965-</subfield><subfield code="0">(DE-588)130414751</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2908935&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=015691156&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015691156</subfield></datafield></record></collection>
genre	(DE-588)4143413-4 Aufsatzsammlung gnd-content
genre_facet	Aufsatzsammlung
id	DE-604.BV022483844
illustrated	Not Illustrated
indexdate	2025-01-28T19:15:14Z
institution	BVB
isbn	9783764383534 3764383534
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015691156
oclc_num	180726285
open_access_boolean
owner	DE-703
owner_facet	DE-703
physical	X, 246 S. 24 cm
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Birkhäuser
record_format	marc
spelling	Logica universalis towards a general theory of logic Jean-Yves Beziau ed. 2. ed. Basel ; Boston ; Berlin Birkhäuser 2007 X, 246 S. 24 cm txt rdacontent n rdamedia nc rdacarrier Literaturangaben Logique symbolique et mathématique ram Modèles, Théorie des ram Logic, Symbolic and mathematical Model theory Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Universelle Logik (DE-588)4847643-2 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Universelle Logik (DE-588)4847643-2 s DE-604 Modelltheorie (DE-588)4114617-7 s 1\p DE-604 Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 Beziau, Jean-Yves 1965- (DE-588)130414751 edt text/html http://deposit.dnb.de/cgi-bin/dokserv?id=2908935&prov=M&dok_var=1&dok_ext=htm Inhaltstext HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015691156&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Logica universalis towards a general theory of logic Logique symbolique et mathématique ram Modèles, Théorie des ram Logic, Symbolic and mathematical Model theory Mathematische Logik (DE-588)4037951-6 gnd Modelltheorie (DE-588)4114617-7 gnd Universelle Logik (DE-588)4847643-2 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4114617-7 (DE-588)4847643-2 (DE-588)4143413-4
title	Logica universalis towards a general theory of logic
title_auth	Logica universalis towards a general theory of logic
title_exact_search	Logica universalis towards a general theory of logic
title_full	Logica universalis towards a general theory of logic Jean-Yves Beziau ed.
title_fullStr	Logica universalis towards a general theory of logic Jean-Yves Beziau ed.
title_full_unstemmed	Logica universalis towards a general theory of logic Jean-Yves Beziau ed.
title_short	Logica universalis
title_sort	logica universalis towards a general theory of logic
title_sub	towards a general theory of logic
topic	Logique symbolique et mathématique ram Modèles, Théorie des ram Logic, Symbolic and mathematical Model theory Mathematische Logik (DE-588)4037951-6 gnd Modelltheorie (DE-588)4114617-7 gnd Universelle Logik (DE-588)4847643-2 gnd
topic_facet	Logique symbolique et mathématique Modèles, Théorie des Logic, Symbolic and mathematical Model theory Mathematische Logik Modelltheorie Universelle Logik Aufsatzsammlung
url	http://deposit.dnb.de/cgi-bin/dokserv?id=2908935&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015691156&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT beziaujeanyves logicauniversalistowardsageneraltheoryoflogic

Verfügbarkeit

‌

Inhaltsverzeichnis