Monthly Archives: October 2015

Universal Hybrid Calculus

The Universal Hybrid Calculus (UHC) is a simple logical formalism that has the power of the monadic predicate calculus but has no bound variables. Natural language statements (which also do not use variables) can be formulated more directly in the … Continue reading

Posted in research | Leave a comment