PirateBay Download | cintula p logic implication introduction general algebraic 2021

cintula p logic implication introduction general algebraic 2021

Type:: E-books
Files:: 1
Size:: 6.5 MB
Uploaded On:: April 19, 2024, 1:12 p.m.
Added By:: andryold1
Seeders:: 3
Leechers:: 0
Info Hash:: B00A73F25EADDF1CCB1B00A3B4B67D2478B118D7

Textbook in PDF format 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 bookmay 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. Preface Acknowledgements List of Tables List of Figures Acronyms Introduction Weakly implicative logics Completeness properties On lattice and residuated connectives Generalized disjunctions Semilinear logics First-order predicate logics Basic mathematical notions List of axioms and rules Index

Get This Torrent

Cintula P. Logic and Implication. An Introduction to the General Algebraic..2021.pdf 6.5 MB

Details for: Cintula P. Logic and Implication. An Introduction to the General Algebraic..2021

cintula p logic implication introduction general algebraic 2021

Similar Posts: