Twan Laan and Michael Franssen. Parameters for rst order logic. Logic and Computation, 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Revisiting the Notion of Function - Kamareddine, Laan, Nederpelt Self-citation (Laan) (Correct)
No context found.
Twan Laan and Michael Franssen. Parameters for rst order logic. Logic and Computation, 2001.
Refining the Barendregt Cube using Parameters - Kamareddine, Laan, Nederpelt (2001) Self-citation (Laan) (Correct)
....of the syntax. Adding parameters is an extension, and a useful one, since parametric constructs occur in many practical systems: Example 4 As explained in Example 1, Automath has a parametric system. Example 5 First order predicate logic has no calculus. It only has parametric constructs. In [15] it is shown that parametric constructs make it possible to give a description of rst order predicate logic in type theory that is much more accurate than the traditional approach in typed calculus. Example 6 Parameters occur in many parts of computer science. For example, look at the ....
Twan Laan and Michael Franssen. Parameters for rst order logic. Logic and Computation, 2001.
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