國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Algebraic perspectives on substructu...

Fazio, Davide.

Algebraic perspectives on substructural logics

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Algebraic perspectives on substructural logicsedited 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$q(electronic bk.)

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.41..

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$q(electronic bk.)

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

180452
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 596190
003 DE-He213
005 20201107000904.0
006 m d
007 cr nn 008maaau
008 211013s2021 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 180452
650 0 $a Algebra, Abstract. $3 185961
650 1 4 $a Logic. $3 180785
650 2 4 $a Algebra. $3 188312
650 2 4 $a Structures and Proofs. $3 826604
700 1 $a Fazio, Davide. $3 888849
700 1 $a Ledda, Antonio. $3 888850
700 1 $a Paoli, Francesco. $3 888851
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Trends in logic, studia logica library ; $v v.41. $3 680671
856 4 0 $u https://doi.org/10.1007/978-3-030-52163-9
950 $a Religion and Philosophy (SpringerNature-41175)