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 $\{\langle \alpha,\beta ...
Various sources in the literature claim that the deduction theorem does not hold for normal modal or epistemic logic, whereas others present versions of the deduction theorem for several normal modal ...
The field of theorem proving and higher‐order logic represents a confluence of computer science, mathematics and formal logic. It encompasses the automated and interactive approaches to establishing ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback