Cintula, Petr; Noguera, Carles, Noguera, Carles. Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics
2021,
-
Expand entry
-
Publisher’s 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.Comment: Excellent textbook book for a course on non-classical logics and their algebraic semantics.
Langer, Susanne. An Introduction to Symbolic Logic
1937, George Allen & Unwin, Ltd.
-
Expand entry
-
Added by: Viviane FairbankAbstract:
Symbolic Logic is a relatively new subject, and the easiest methods of approach have not yet been determined. In point of arrangement, therefore, this Introduction has no predecessor. That is just why it was written: the need of some systematic guide, from the state of perfect innocence to a possible understanding of the classical literature, has become acute and commanding.Comment: This is an accessible introductory textbook to logic (and basic mathematics) from the 1930s, which is likely outdated at this point but may still be used for reference (and interest).
Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!