Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Logic and Implication = An Introduct...
~
SpringerLink (Online service)
Logic and Implication = An Introduction to the General Algebraic Study of Non-classical Logics /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Logic and Implication/ by Petr Cintula, Carles Noguera.
Reminder of title:
An Introduction to the General Algebraic Study of Non-classical Logics /
Author:
Cintula, Petr.
other author:
Noguera, Carles.
Description:
XXII, 465 p. 17 illus.online resource. :
Contained By:
Springer Nature eBook
Subject:
Logic. -
Online resource:
https://doi.org/10.1007/978-3-030-85675-5
ISBN:
9783030856755
Logic and Implication = An Introduction to the General Algebraic Study of Non-classical Logics /
Cintula, Petr.
Logic and Implication
An Introduction to the General Algebraic Study of Non-classical Logics /[electronic resource] :by Petr Cintula, Carles Noguera. - 1st ed. 2021. - XXII, 465 p. 17 illus.online resource. - Trends in Logic, Studia Logica Library,572212-7313 ;. - Trends in Logic, Studia Logica Library,42.
Chapter 1. Preliminaries -- Chapter 2. Weakly Implicative Logics -- Chapter 3. Substructural Logics -- Chapter 4. Generalized Disjunctions -- Chapter 5. Semilinear Logics -- Chapter 6. First-Order Predicate Logics. .
This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to (abstract) algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework for the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics.
ISBN: 9783030856755
Standard No.: 10.1007/978-3-030-85675-5doiSubjects--Topical Terms:
558909
Logic.
LC Class. No.: BC1-199
Dewey Class. No.: 160
Logic and Implication = An Introduction to the General Algebraic Study of Non-classical Logics /
LDR
:02913nam a22004095i 4500
001
1057877
003
DE-He213
005
20211126204621.0
007
cr nn 008mamaa
008
220103s2021 sz | s |||| 0|eng d
020
$a
9783030856755
$9
978-3-030-85675-5
024
7
$a
10.1007/978-3-030-85675-5
$2
doi
035
$a
978-3-030-85675-5
050
4
$a
BC1-199
072
7
$a
HPL
$2
bicssc
072
7
$a
PHI011000
$2
bisacsh
072
7
$a
QDTL
$2
thema
082
0 4
$a
160
$2
23
100
1
$a
Cintula, Petr.
$4
aut
$4
http://id.loc.gov/vocabulary/relators/aut
$3
930810
245
1 0
$a
Logic and Implication
$h
[electronic resource] :
$b
An Introduction to the General Algebraic Study of Non-classical Logics /
$c
by Petr Cintula, Carles Noguera.
250
$a
1st ed. 2021.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2021.
300
$a
XXII, 465 p. 17 illus.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
490
1
$a
Trends in Logic, Studia Logica Library,
$x
2212-7313 ;
$v
57
505
0
$a
Chapter 1. Preliminaries -- Chapter 2. Weakly Implicative Logics -- Chapter 3. Substructural Logics -- Chapter 4. Generalized Disjunctions -- Chapter 5. Semilinear Logics -- Chapter 6. First-Order Predicate Logics. .
520
$a
This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to (abstract) algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework for the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics.
650
0
$a
Logic.
$3
558909
650
0
$a
Mathematical logic.
$2
bicssc
$3
810627
650
2 4
$a
Mathematical Logic and Foundations.
$3
669393
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
670059
700
1
$a
Noguera, Carles.
$4
aut
$4
http://id.loc.gov/vocabulary/relators/aut
$3
930829
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783030856748
776
0 8
$i
Printed edition:
$z
9783030856762
776
0 8
$i
Printed edition:
$z
9783030856779
830
0
$a
Trends in Logic, Studia Logica Library,
$x
1572-6126 ;
$v
42
$3
1261075
856
4 0
$u
https://doi.org/10.1007/978-3-030-85675-5
912
$a
ZDB-2-SMA
912
$a
ZDB-2-SXMS
950
$a
Mathematics and Statistics (SpringerNature-11649)
950
$a
Mathematics and Statistics (R0) (SpringerNature-43713)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login