Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization

Add code
Feb 21, 2009

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: