bibtype	B - Monography
ARLID	0524930
utime	20240103224136.1
mtime	20200612235959.9
ISBN	978-3-030-85674-8
DOI	10.1007/978-3-030-85675-5
title (primary) (eng)	Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics
publisher	place Cham name Springer pub_time 2021
specification	page_count 465 s. media_type P
keyword	Non-Classical Logics
keyword	Algebraic Logic
keyword	Abstract Algebraic Logic
keyword	Completeness Theorems
keyword	Logical Matrices
keyword	Weakly Implicative Logics
keyword	Substructural Logics
keyword	Generalized Disjunctions
keyword	Semilinear Logics
keyword	First-Order Logics
author (primary)	ARLID cav_un_auth*0100737 name1 Cintula name2 Petr institution UIVT-O full_dept (cz) Oddělení teoretické informatiky full_dept (eng) Department of Theoretical Computer Science full_dept Department of Theoretical Computer Science fullinstit Ústav informatiky AV ČR, v. v. i.
author	ARLID cav_un_auth*0293476 name1 Noguera name2 Carles institution UTIA-B full_dept (cz) Matematická teorie rozhodování full_dept Department of Decision Making Theory department (cz) MTR department MTR full_dept Department of Decision Making Theory fullinstit Ústav teorie informace a automatizace AV ČR, v. v. i.
source	url https://link.springer.com/book/9783030856748
cas_special	project project_id GA13-14654S agency GA ČR ARLID cav_un_auth*0292719 project project_id GA18-00113S agency GA ČR country CZ ARLID cav_un_auth*0387713 abstract (eng) 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. RIV BA FORD0 10000 FORD1 10100 FORD2 10101 reportyear 2022 mrcbC47 UTIA-B 10000 10100 10102 mrcbC52 4 O A 4o 4a 4a 4a 20231122144946.0 inst_support RVO:67985807 inst_support RVO:67985556 permalink http://hdl.handle.net/11104/0309152 cooperation ARLID cav_un_auth*0296535 name Ústav teorie informace a automatizace AV ČR institution ÚTIA AV ČR country CZ confidential S arlyear 2021 mrcbTft \nSoubory v repozitáři: 0524930-errata3.pdf, Cintula-Noguera-Logic-and-Implication.pdf, 0524930-errata2.pdf, 0524930-errata.pdf mrcbU10 2021 mrcbU10 Cham Springer mrcbU12 978-3-030-85674-8 mrcbU14 SCOPUS mrcbU24 PUBMED mrcbU34 WOS