Verfügbarkeit: The functional interpretation of logical deduction

The functional interpretation of logical deduction:

This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the la...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Queiroz, Ruy J. G. B. de (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Singapore World Scientific Pub. Co. c2012
Schriftenreihe:	Advances in logic v. 5
Schlagworte:	Logic Modality (Logic) Logischer Schluss Interpretation
Online-Zugang:	FHN01 Volltext
Zusammenfassung:	This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing 'labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations
Beschreibung:	xxxii, 266 p
ISBN:	9789814360968

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV044638674
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	171120s2012 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9789814360968 \|c electronic bk. \|9 978-981-4360-96-8
024	7		\|a 10.1142/8215 \|2 doi
035			\|a (ZDB-124-WOP)00002568
035			\|a (OCoLC)1012695219
035			\|a (DE-599)BVBBV044638674
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-92
082	0		\|a 511.3 \|2 22
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
100	1		\|a Queiroz, Ruy J. G. B. de \|e Verfasser \|4 aut
245	1	0	\|a The functional interpretation of logical deduction \|c Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay
264		1	\|a Singapore \|b World Scientific Pub. Co. \|c c2012
300			\|a xxxii, 266 p
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Advances in logic \|v v. 5
520			\|a This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing 'labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations
650		4	\|a Logic
650		4	\|a Modality (Logic)
650	0	7	\|a Logischer Schluss \|0 (DE-588)4139983-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Interpretation \|0 (DE-588)4072905-9 \|2 gnd \|9 rswk-swf
689	0	0	\|a Logischer Schluss \|0 (DE-588)4139983-3 \|D s
689	0	1	\|a Interpretation \|0 (DE-588)4072905-9 \|D s
689	0		\|8 1\p \|5 DE-604
700	1		\|a Oliveira, Anjolina G. de \|e Sonstige \|4 oth
700	1		\|a Gabbay, Dov M. \|d 1945- \|e Sonstige \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 9789814360951
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 9814360953
856	4	0	\|u http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc \|x Verlag \|z URL des Erstveroeffentlichers \|3 Volltext
912			\|a ZDB-124-WOP
999			\|a oai:aleph.bib-bvb.de:BVB01-030036648
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc \|l FHN01 \|p ZDB-124-WOP \|q FHN_PDA_WOP \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804178055814447104
any_adam_object
author	Queiroz, Ruy J. G. B. de
author_facet	Queiroz, Ruy J. G. B. de
author_role	aut
author_sort	Queiroz, Ruy J. G. B. de
author_variant	r j g b d q rjgbd rjgbdq
building	Verbundindex
bvnumber	BV044638674
classification_rvk	CC 2600 SK 130
collection	ZDB-124-WOP
ctrlnum	(ZDB-124-WOP)00002568 (OCoLC)1012695219 (DE-599)BVBBV044638674
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 Philosophie
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02718nmm a2200517zcb4500</leader><controlfield tag="001">BV044638674</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">171120s2012 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789814360968</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-4360-96-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/8215</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00002568 </subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012695219</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044638674</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-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</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">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Queiroz, Ruy J. G. B. de</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The functional interpretation of logical deduction</subfield><subfield code="c">Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxxii, 266 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">Advances in logic</subfield><subfield code="v">v. 5</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing 'labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Interpretation</subfield><subfield code="0">(DE-588)4072905-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Interpretation</subfield><subfield code="0">(DE-588)4072905-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Oliveira, Anjolina G. de</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="d">1945-</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789814360951</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9814360953</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030036648</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="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV044638674
illustrated	Not Illustrated
indexdate	2024-07-10T07:57:54Z
institution	BVB
isbn	9789814360968
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-030036648
oclc_num	1012695219
open_access_boolean
owner	DE-92
owner_facet	DE-92
physical	xxxii, 266 p
psigel	ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	World Scientific Pub. Co.
record_format	marc
series2	Advances in logic
spelling	Queiroz, Ruy J. G. B. de Verfasser aut The functional interpretation of logical deduction Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay Singapore World Scientific Pub. Co. c2012 xxxii, 266 p txt rdacontent c rdamedia cr rdacarrier Advances in logic v. 5 This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing 'labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations Logic Modality (Logic) Logischer Schluss (DE-588)4139983-3 gnd rswk-swf Interpretation (DE-588)4072905-9 gnd rswk-swf Logischer Schluss (DE-588)4139983-3 s Interpretation (DE-588)4072905-9 s 1\p DE-604 Oliveira, Anjolina G. de Sonstige oth Gabbay, Dov M. 1945- Sonstige oth Erscheint auch als Druck-Ausgabe 9789814360951 Erscheint auch als Druck-Ausgabe 9814360953 http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc Verlag URL des Erstveroeffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Queiroz, Ruy J. G. B. de The functional interpretation of logical deduction Logic Modality (Logic) Logischer Schluss (DE-588)4139983-3 gnd Interpretation (DE-588)4072905-9 gnd
subject_GND	(DE-588)4139983-3 (DE-588)4072905-9
title	The functional interpretation of logical deduction
title_auth	The functional interpretation of logical deduction
title_exact_search	The functional interpretation of logical deduction
title_full	The functional interpretation of logical deduction Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay
title_fullStr	The functional interpretation of logical deduction Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay
title_full_unstemmed	The functional interpretation of logical deduction Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay
title_short	The functional interpretation of logical deduction
title_sort	the functional interpretation of logical deduction
topic	Logic Modality (Logic) Logischer Schluss (DE-588)4139983-3 gnd Interpretation (DE-588)4072905-9 gnd
topic_facet	Logic Modality (Logic) Logischer Schluss Interpretation
url	http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc
work_keys_str_mv	AT queirozruyjgbde thefunctionalinterpretationoflogicaldeduction AT oliveiraanjolinagde thefunctionalinterpretationoflogicaldeduction AT gabbaydovm thefunctionalinterpretationoflogicaldeduction

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge