News
CLAUDIO E. A. Pizzi, Two Kinds of Consequential Implication, Studia Logica: An International Journal for Symbolic Logic, Vol. 106, No. 3 (June 2018), pp. 453-480 ...
Consequently quantification over propositional variables can be modelled in IpC, and there is an interpretation of the second order propositional calculus, IpC2, in IpC which restricts to the identity ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback