عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
Qualification
(eISBN)
(Number (ISBN
9783030856755
NATIONAL BIBLIOGRAPHY NUMBER
Number
E4274
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic and implication
General Material Designation
[electronic resources: book]
Other Title Information
an introduction to the general algebraic study of non-classical logics
First Statement of Responsibility
Petr Cintula, Carles Noguera
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2021
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xxii, 465 pages)
Other Physical Details
illustrations
SERIES
Series Title
(Trends in logic
Volume Designation
v.57)
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
CONTENTS NOTE
Text of Note
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
0
SUMMARY OR ABSTRACT
Text of Note
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
TYPE OF ELECTRONIC RESOURCE NOTE
Text of Note
PDF file.
TOPICAL NAME USED AS SUBJECT
Entry Element
Logic, Symbolic and mathematical
Entry Element
Algebra, Abstract
a03
a05
PERSONAL NAME - PRIMARY RESPONSIBILITY
Cintula, Petr
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Noguera, Carles (Noguera i Clofent), 1978-
ORIGINATING SOURCE
Country
Iran
Agency
University of Tehran. Library of College of Science
Date of Transaction
20240131
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
UT_SCI_BL_DB_1004421_0001.pdf
e
BL
278840
a
Y
