Logic and Truth: Some Logics without Theorems
Keywords:logical truth, logical consequence, lattice
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.
Belnap, N. (1977). A useful four-valued logic, in J. Dunnand, G. Epstein (eds), Modern uses of multiple-valued logic, Reidel, Dordrecht, Boston, pp.8-37.
Copi ,I. (1998). Symbolic logic, Prentice Hall of India.
Font, J.M. (1997). Belnap’s four-valued logic and de Morgan lattices, L.J. of the IGPL 5:1-29.
Gentzen, G. (1969). Investigations in to logical deduction, in M. Szabo (ed.), The collected papers of Gerhard Gentzen, North-Holland, Amsterdam, pp.68-131.
Girard, J.-Y. (1987). Linear logic, Theoretical Computer Science 50:1-102.
Sen, J. and Chakraborty, M.K. (2002). A study of interconnections between rough and Lukasiewicz 3-valued logic, Fundamenta Informaticae 51:311-324.
Simons, L. (1974). Logic without tautologies, Notre Dame Journal of Formal Logic 15: 411-431.
Simons, L.(1978). More logics without tautologies, Notre Dame Journal of Formal Logic 19: 543-557.
Troelstra, A.S. (1992). Lectures on linear logic, Vol.2 CSLI, Stanford.