Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Logics of variable inclusion
~
Bonzio, Stefano.
Linked to FindBook
Google Book
Amazon
博客來
Logics of variable inclusion
Record Type:
Electronic resources : Monograph/item
Title/Author:
Logics of variable inclusion/ by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi.
Author:
Bonzio, Stefano.
other author:
Paoli, Francesco.
Published:
Cham :Springer International Publishing : : 2022.,
Description:
x, 221 p. :ill., digital ;24 cm.
[NT 15003449]:
Chapter 1. Analyticity, Consequence, and Meaninglessness -- Chapter 2. Płonka Sums and Regular Varieties -- Chapter 3. Dualities for Regular Varieties -- Chapter 4. Logics of Left Variable Inclusion -- Chapter 5. Logics of Right Variable Inclusion -- Chapter 6. Paraconsistent Weak Kleene Logic.
Contained By:
Springer Nature eBook
Subject:
Algebraic logic. -
Online resource:
https://doi.org/10.1007/978-3-031-04297-3
ISBN:
9783031042973
Logics of variable inclusion
Bonzio, Stefano.
Logics of variable inclusion
[electronic resource] /by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi. - Cham :Springer International Publishing :2022. - x, 221 p. :ill., digital ;24 cm. - Trends in logic, studia logica library,v. 592212-7313 ;. - Trends in logic, studia logica library ;v. 59..
Chapter 1. Analyticity, Consequence, and Meaninglessness -- Chapter 2. Płonka Sums and Regular Varieties -- Chapter 3. Dualities for Regular Varieties -- Chapter 4. Logics of Left Variable Inclusion -- Chapter 5. Logics of Right Variable Inclusion -- Chapter 6. Paraconsistent Weak Kleene Logic.
This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and the concept of analyticity in formal logic can profitably interact. By extending the technique of Plonka sums from algebras to logical matrices, the authors investigate the different classes of models for logics of variable inclusion and they shed new light into their formal properties. The book opens with the historical origins of logics of variable inclusion and on their philosophical motivations. It includes the basics of the algebraic theory of regular varieties and the construction of Plonka sums over semilattice direct systems of algebra. The core of the book is devoted to an abstract definition of logics of left and right variable inclusion, respectively, and the authors study their semantics using the construction of Plonka sums of matrix models. The authors also cover Paraconsistent Weak Kleene logic and survey its abstract algebraic logical properties. This book is of interest to scholars of formal logic.
ISBN: 9783031042973
Standard No.: 10.1007/978-3-031-04297-3doiSubjects--Topical Terms:
794607
Algebraic logic.
LC Class. No.: QA10 / .B65 2022
Dewey Class. No.: 511.324
Logics of variable inclusion
LDR
:02484nmm a2200349 a 4500
001
2302109
003
DE-He213
005
20220609140643.0
006
m d
007
cr nn 008maaau
008
230409s2022 sz s 0 eng d
020
$a
9783031042973
$q
(electronic bk.)
020
$a
9783031042966
$q
(paper)
024
7
$a
10.1007/978-3-031-04297-3
$2
doi
035
$a
978-3-031-04297-3
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA10
$b
.B65 2022
072
7
$a
HPL
$2
bicssc
072
7
$a
PHI011000
$2
bisacsh
072
7
$a
QDTL
$2
thema
082
0 4
$a
511.324
$2
23
090
$a
QA10
$b
.B723 2022
100
1
$a
Bonzio, Stefano.
$3
3602185
245
1 0
$a
Logics of variable inclusion
$h
[electronic resource] /
$c
by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi.
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2022.
300
$a
x, 221 p. :
$b
ill., digital ;
$c
24 cm.
338
$a
online resource
$b
cr
$2
rdacarrier
490
1
$a
Trends in logic, studia logica library,
$x
2212-7313 ;
$v
v. 59
505
0
$a
Chapter 1. Analyticity, Consequence, and Meaninglessness -- Chapter 2. Płonka Sums and Regular Varieties -- Chapter 3. Dualities for Regular Varieties -- Chapter 4. Logics of Left Variable Inclusion -- Chapter 5. Logics of Right Variable Inclusion -- Chapter 6. Paraconsistent Weak Kleene Logic.
520
$a
This monograph shows that, through a recourse to the concepts and methods of abstract algebraic logic, the algebraic theory of regular varieties and the concept of analyticity in formal logic can profitably interact. By extending the technique of Plonka sums from algebras to logical matrices, the authors investigate the different classes of models for logics of variable inclusion and they shed new light into their formal properties. The book opens with the historical origins of logics of variable inclusion and on their philosophical motivations. It includes the basics of the algebraic theory of regular varieties and the construction of Plonka sums over semilattice direct systems of algebra. The core of the book is devoted to an abstract definition of logics of left and right variable inclusion, respectively, and the authors study their semantics using the construction of Plonka sums of matrix models. The authors also cover Paraconsistent Weak Kleene logic and survey its abstract algebraic logical properties. This book is of interest to scholars of formal logic.
650
0
$a
Algebraic logic.
$3
794607
650
1 4
$a
Logic.
$3
529544
650
2 4
$a
Algebraic Logic.
$3
3602188
650
2 4
$a
Mathematical Logic in Philosophy.
$3
3602189
700
1
$a
Paoli, Francesco.
$3
3488217
700
1
$a
Pra Baldi, Michele.
$3
3602186
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. 59.
$3
3602187
856
4 0
$u
https://doi.org/10.1007/978-3-031-04297-3
950
$a
Mathematics and Statistics (SpringerNature-11649)
based on 0 review(s)
Location:
ALL
電子資源
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W9443658
電子資源
11.線上閱覽_V
電子書
EB QA10 .B65 2022
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login