Mathematical Logic Foundations

Research Frontiers in Subfunction Logic and Partial Application

Studies logics for partial functions and partial information, developing proof systems handling undefined values and incomplete specifications.

All Mathematical Logic & Foundations PhD categories