
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>handle: 11365/1200815 , 11104/0309152
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.
Algebraic Logic, Completeness Theorems, Abstract Algebraic Logic, Weakly Implicative Logics, Algebraic Semantics, First-Order Predicate Logics, Non-Classical Logics, Generalized Disjunctions, Logical Connectives, Semilinear Logics, Predicate Logic, First-Order Logics, Propositional Logic, Substructural Logics, logics and their algebraic semantics, implication and disjunction in logics, Non-Classical Logics, Algebraic Logic, Abstract Algebraic Logic, Propositional Logic, Predicate Logic, Logical Connectives, Completeness Theorems, Algebraic Semantics, Logical Matrices, Weakly Implicative Logics, Substructural Logics, Generalized Disjunctions, Semilinear Logics, First-Order Predicate Logics, implication and disjunction in logics, logics and their algebraic semantics, Logical Matrices
Algebraic Logic, Completeness Theorems, Abstract Algebraic Logic, Weakly Implicative Logics, Algebraic Semantics, First-Order Predicate Logics, Non-Classical Logics, Generalized Disjunctions, Logical Connectives, Semilinear Logics, Predicate Logic, First-Order Logics, Propositional Logic, Substructural Logics, logics and their algebraic semantics, implication and disjunction in logics, Non-Classical Logics, Algebraic Logic, Abstract Algebraic Logic, Propositional Logic, Predicate Logic, Logical Connectives, Completeness Theorems, Algebraic Semantics, Logical Matrices, Weakly Implicative Logics, Substructural Logics, Generalized Disjunctions, Semilinear Logics, First-Order Predicate Logics, implication and disjunction in logics, logics and their algebraic semantics, Logical Matrices
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).  | 8 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.  | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).  | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.  | Top 10% | 
