Abstract
The theory TSCL described languages which are poor in a certain sense. This is because most theorems formulated in mathematical theories are formulated in languages which include new expressions, not occurring in simple categorial languages, namely expressions with variables and operators that bind those variables. It seems, therefore, natural to modify TSCL - while retaining the main objectives described in Sec.IIA and observed when TSCL was constructed - so that it should cover the languages mentioned above. The syntactic analysis of expressions, correct from the point of view of the theory of syntactic category, should be respected, too.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call