( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic.

. J. Symb. Log., 52 (3): 665-680 (1987)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alan Tennant

Alan Tennant

James Neil

Katharine Neil

Henryk Neils

 

Другие публикации лиц с тем же именем

Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic.. J. Symb. Log., 52 (3): 665-680 (1987)Continuity and identity.. J. Philosophical Logic, 6 (1): 223-231 (1977)The Relevance of Premises to Conclusions of Core Proofs.. Rev. Symb. Log., 8 (4): 743-784 (2015)Relevance in Reasoning.. The Oxford Handbook of Philosophy of Mathematics and Logic, Oxford University Press, (2007)On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About Logic.. Notre Dame J. Formal Log., 59 (4): 559-578 (2018)What is a Rule of Inference?. Rev. Symb. Log., 14 (2): 307-346 (2021)Ultimate Normal Forms for Parallelized Natural Deductions.. Logic Journal of the IGPL, 10 (3): 299-337 (2002)Frege's Content-Principle and Relevant Deducibility.. J. Philosophical Logic, 32 (3): 245-258 (2003)A proof-theoretic approach to entailment.. J. Philosophical Logic, 9 (2): 185-209 (1980)Skolem's paradox and constructivism., и . J. Philosophical Logic, 16 (2): 165-202 (1987)