東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Algebraic perspectives on substructu...

Fazio, Davide.

FindBook

Google Book

Amazon

博客來

Algebraic perspectives on substructural logics

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Algebraic perspectives on substructural logics/ edited by Davide Fazio, Antonio Ledda, Francesco Paoli.
其他作者:	Fazio, Davide.
出版者:	Cham :Springer International Publishing : : 2021.,
面頁冊數:	x, 193 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Logic, Symbolic and mathematical. -
電子資源:	https://doi.org/10.1007/978-3-030-52163-9
ISBN:	9783030521639

Algebraic perspectives on substructural logics
Algebraic perspectives on substructural logics[electronic resource] /edited by Davide Fazio, Antonio Ledda, Francesco Paoli. - Cham :Springer International Publishing :2021. - x, 193 p. :ill., digital ;24 cm. - Trends in logic, studia logica library,v.551572-6126 ;. - Trends in logic, studia logica library ;v.55..

This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6) Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics.

ISBN: 9783030521639

Standard No.: 10.1007/978-3-030-52163-9doiSubjects--Topical Terms:

532051
Logic, Symbolic and mathematical.

LC Class. No.: QA10 / .A54 2021

Dewey Class. No.: 511.3

Algebraic perspectives on substructural logics
LDR:02501nmm a2200325 a 4500 001 2236650
003 DE-He213
005 20201107000904.0
006 m d
007 cr nn 008maaau
008 211111s2021 sz s 0 eng d
020 $a 9783030521639 $q (electronic bk.)
020 $a 9783030521622 $q (paper)
024 7 $a 10.1007/978-3-030-52163-9 $2 doi
035 $a 978-3-030-52163-9
040 $a GP $c GP $e rda
041 0 $a eng
050 4 $a QA10 $b .A54 2021
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 511.3 $2 23
090 $a QA10 $b .A394 2021
245 0 0 $a Algebraic perspectives on substructural logics $h [electronic resource] / $c edited by Davide Fazio, Antonio Ledda, Francesco Paoli.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a x, 193 p. : $b ill., digital ; $c 24 cm.
490 1 $a Trends in logic, studia logica library, $x 1572-6126 ; $v v.55
520 $a This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6) Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics.
650 0 $a Logic, Symbolic and mathematical. $3 532051
650 0 $a Algebra, Abstract. $3 517220
650 1 4 $a Logic. $3 529544
650 2 4 $a Algebra. $3 516203
650 2 4 $a Structures and Proofs. $3 3459360
700 1 $a Fazio, Davide. $3 3488215
700 1 $a Ledda, Antonio. $3 3488216
700 1 $a Paoli, Francesco. $3 3488217
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Trends in logic, studia logica library ; $v v.55. $3 3488218
856 4 0 $u https://doi.org/10.1007/978-3-030-52163-9
950 $a Religion and Philosophy (SpringerNature-41175)