Article

A CALCULUS OF NATURAL DEDUCTION FOR PREDICATE LOGIC WITH FUNCTIONAL VARIABLES AND IDENTITY

Joseph Gary Brown-1966-01-01-Insecta mundi

0

TL;DRAbstract

Abstract not available

Chat with Paper

AI Agents for this Paper

Abstract not available

Keywords

Natural deductionCalculus (dental)Predicate logicSequent calculusMathematicsFirst-order logicIdentity (music)Computer science

Chat

Click to start Chat