<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/1200195 , 11104/0273436
This paper presents an abstract study of completeness properties of non-classical logics with respect to matricial semantics. Given a class of reduced matrix models we define three completeness properties of increasing strength and characterize them in several useful ways. Some of these characterizations hold in absolute generality and others are for logics with generalized implication or disjunction connectives, as considered in the previous papers. Finally, we consider completeness with respect to matrices with a linear dense order and characterize it in terms of an extension property and a syntactical metarule. This is the final part of the investigation started and developed in the papers (Cintula and Noguera in Arch Math Logic 49(4):417–446, 2010; Arch Math Logic 53(3):353–372, 2016).
Non-classical logic, abstract algebraic logic, implicational logics, Completeness theorem, protoalgebraic logics, Abstract algebraic logic; Completeness theorems; Disjunctional logics; Implicational logics; Non-classical logics; Protoalgebraic logics; Rational completeness; Semilinear logics, Disjunctional logic, Implicational logic, 004, 510, Semilinear logics, Abstract algebraic logic, Rational completene, disjunctional logics, semilinear logics, Protoalgebraic logic, rational completeness, completeness theorems, non-classical logics
Non-classical logic, abstract algebraic logic, implicational logics, Completeness theorem, protoalgebraic logics, Abstract algebraic logic; Completeness theorems; Disjunctional logics; Implicational logics; Non-classical logics; Protoalgebraic logics; Rational completeness; Semilinear logics, Disjunctional logic, Implicational logic, 004, 510, Semilinear logics, Abstract algebraic logic, Rational completene, disjunctional logics, semilinear logics, Protoalgebraic logic, rational completeness, completeness theorems, non-classical logics
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). | 11 | |
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). | Top 10% | |
impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |