A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
Fregean logics with the multiterm deduction theorem and their algebraization

2004
*
Studia Logica: An International Journal for Symbolic Logic
*

A deductive system S (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T , i.e., the binary relation between formulas f h ; i : T; 'S and T; 'S g; is a congruence relation on the formula algebra. The multiterm deduction-detachment theorem is a natural generalization of the deductive theorem of the classical and intuitionistic propositional calculi (IPC) in which a nite system of possibly compound formulas collectively plays the role of the

doi:10.1007/s11225-005-1212-3
fatcat:mndt4tn5ufb6rpbi35qa6fxhae