Abstract: We suggest solutions to some basic general problems which were encountered while developing the LF system, like: what is a logic, what is common to the standard methods for representing logics and what characterize the good representations. We suggest also some new methods of representations, one of which was actually used to internalize logics in the LF.
Previous | Index | Next