I Kant. Immanuel Kants Logik (Edited by GB Jasche). Friedrich Nicolovius, Konigsberg, 1800. In translation: RS Hartman and W Schwarz, Dover Publications, Inc., 1988.  Home/Search   Document Not in Database   Summary   Related Articles

....conveniently be summarized by the slogan F ramework = Language Representation: We remark that these components are not entirely independent of each other. One representation mechanism is that of judgements as types, which originates from Martin Lof s [17] development of Kant s notion of judgement [14]. The methodology of judgements as types is that judgements are represented as the type of their proofs. A logical system is represented by a signature which assigns kinds and types to a finite set of constants that represent its syntax, its judgements and its rule schemes. An object logic s rule ....

I Kant. Immanuel Kants Logik (Edited by GB Jasche). Friedrich Nicolovius, Konigsberg, 1800. In translation: RS Hartman and W Schwarz, Dover Publications, Inc., 1988.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC