Two types of logical consequence are compared: one, with respect to matrix and designated elements and the other with respect to ordering in a suitable algebraic structure. Particular emphasis is laid on algebraic structures in which there is no top-element relative to the ordering. e signi cance of this special condition is discussed. Sequent calculi for a number of such structures are developed. As a consequence it is re-established that the notion of truth as such, not to speak of tautologies, is inessential in order to de ne validity of an argument.Keywords: logical truth, logical consequence, lattice . Introduction: Logical consequences vis a vis truth e notion of truth serves various explanatory purposes. One of these is found in the attempted explanations of validity of deductive arguments. An argument is valid if and only if the conclusion of an argument is true whenever all the premises of the argument are also true. e context, here, is taken as classical and two-valued. When consequence is understood as a relation preserving truth, the notion of truth is taken to be that which relates semantics to states of a airs. Set theoretic models of well-formed formulae of st order languages are the formal representation of states of a airs. Sometimes formulae (propositions) are modeled as sets of possible worlds, logical connectives by set theoretic operations and logical consequence by set theoretic relation. ough apparently there is no mention of 'truth' in this approach, the underlying intention is that a formula be associated with the set of those worlds (states of a airs) where the formula is true. Long back in 's manyvaluedness (i.e., allowing sentences to have values other than true and false) was introduced and gradually accepted within the discourse of logic and
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.