國立高雄大學圖資館 |

Language: English

Back

Logic and implicationan introduction...

Cintula, Petr.

Logic and implicationan introduction to the general algebraic study of non-classical logics /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Logic and implicationby 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.
Published:	Cham :Springer International Publishing :2021.
Description:	xxii, 465 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Logic, Symbolic and mathematical.
Online resource:	https://doi.org/10.1007/978-3-030-85675-5
ISBN:	9783030856755$q(electronic bk.)

Logic and implicationan introduction to the general algebraic study of non-classical logics /
Cintula, Petr.

Logic and implicationan introduction to the general algebraic study of non-classical logics /[electronic resource] :by Petr Cintula, Carles Noguera. - Cham :Springer International Publishing :2021. - xxii, 465 p. :ill., digital ;24 cm. - Trends in logic, studia logica library,v. 572212-7313 ;. - Trends in logic, studia logica library ;v.41..

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

Standard No.: 10.1007/978-3-030-85675-5doiSubjects--Topical Terms:

180452
Logic, Symbolic and mathematical.

LC Class. No.: QA10 / .C55 2021

Dewey Class. No.: 511.31

Logic and implicationan introduction to the general algebraic study of non-classical logics /
LDR:02554nmm a2200337 a 4500 001 616097
003 DE-He213
005 20220112102906.0
006 m d
007 cr nn 008maaau
008 220831s2021 sz s 0 eng d
020 $a 9783030856755$q(electronic bk.)
020 $a 9783030856748$q(paper)
024 7 $a 10.1007/978-3-030-85675-5 $2 doi
035 $a 978-3-030-85675-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA10 $b .C55 2021
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 511.31 $2 23
090 $a QA10 $b .C575 2021
100 1 $a Cintula, Petr. $3 915036
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.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a xxii, 465 p. : $b ill., digital ; $c 24 cm.
490 1 $a Trends in logic, studia logica library, $x 2212-7313 ; $v 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, Symbolic and mathematical. $3 180452
650 0 $a Algebra, Abstract. $3 185961
650 1 4 $a Logic. $3 180785
650 2 4 $a Mathematical Logic and Foundations. $3 274479
700 1 $a Noguera, Carles. $3 915037
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-85675-5
950 $a Mathematics and Statistics (SpringerNature-11649)