TY - JOUR
AU - Sen, Jayanta
AU - Chakraborty, Mihir Kumar
PY - 2008/09/01
Y2 - 2023/02/07
TI - Logic and Truth: Some Logics without Theorems
JF - Studia Philosophica Estonica
JA - SPE
VL - 0
IS - 0
SE - Articles
DO - 10.12697/spe.2008.1.1.06
UR - https://ojs.utlib.ee/index.php/spe/article/view/spe.2008.1.1.06
SP - 104-117
AB - 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. The significance 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 define validity of an argument.
ER -