论文信息 - The Logic MPLomega

The Logic MPLomega

MPLω is many-sorted partial logic with countably infinite conjunctions and disjunctions. We show in this paper that MPLω satisfies the interpolation property and allows the explicit definition of inductively defined predicates and functions. By these properties, MPLω is useful as a semantic framework for the design language COLD.

Gerard R. Renardel de Lavalette | C. P. J. Koymanns | G. D. Lavalette

[1] Jon Barwise,et al. Admissible sets and structures , 1975 .

[2] Jon Barwise,et al. The Syntax and Semantics of Infinitary Languages , 1968 .

[3] M. H. Löb. Proceedings of the Summer School in Logic Leeds, 1967 : N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic , 1968 .

[4] E. López-Escobar. An interpolation theorem for denumerably long formulas , 1965 .

[5] Dana S. Scott,et al. Existence and Description in Formal Logic , 1973 .

[6] H. Keisler. Model theory for infinitary logic , 1971 .

[7] Erwin Engeler,et al. Languages with expressions of infinite length , 1966 .

[8] Kurt Schütte. Der Interpolationssatz der intuitionistischen Prädikatenlogik , 1962 .

[9] S. Feferman. Lectures on proof theory , 1968 .

[10] H. B. M. Jonkers,et al. A semantic framework for the COLD-family of languages , 1986 .

[11] D. Scott. Identity and existence in intuitionistic logic , 1979 .

[12] D. Scott,et al. Applications of sheaves , 1979 .

[13] William W. Tait,et al. Normal derivability in classical logic , 1968 .

[14] Bertrand Russell,et al. Bertrand Russell: Philosopher of the Century , 1967 .

[15] Gerard R. Renardel,et al. Descriptions in mathematical logic , 1984 .