A New, Simpler Proof Of The Modularisation Theorem For Logical Specifications

Logic Journal of the IGPL 1 (1):3-12 (1993)
  Copy   BIBTEX

Abstract

A new, simpler proof, based on internalisation of interpretations, of the Modularisation Theorem for logical specifications is presented. This result is a basic tool for composing implementations and specialisation by parameter instantiation

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/1.1.3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A simpler proof of Jensen's coding theorem.Sy D. Friedman - 1994 - Annals of Pure and Applied Logic 70 (1):1-16.
On a certain method of producing logical matrices.Zdzislaw Dywan - 1985 - Bulletin of the Section of Logic 14 (1):2-5.
An intuitionistic version of zermelo's proof that every choice set can be well-ordered.J. Todd Wilson - 2001 - Journal of Symbolic Logic 66 (3):1121-1126.
A note on Hjorth's oscillation theorem.Julien Melleray - 2010 - Journal of Symbolic Logic 75 (4):1359-1365.
A Simplified Proof of the Church–Rosser Theorem.Yuichi Komori, Naosuke Matsuda & Fumika Yamakawa - 2014 - Studia Logica 102 (1):175-183.
Poincaré vs. Russell on the rôle of logic in mathematicst.Michael Detlefsen - 1993 - Philosophia Mathematica 1 (1):24-49.
We Can Be in Harmony With Classical Logic.Michael Gabbay - unknown
Every computably enumerable random real is provably computably enumerable random.Cristian Calude & Nicholas Hay - 2009 - Logic Journal of the IGPL 17 (4):351-374.
Proof-theoretic semantic values for logical operators.Nissim Francez & Gilad Ben-avi - 2011 - Review of Symbolic Logic 4 (3):466-478.
A simpler proof of Sahlqvist's theorem on completeness of modal logics.Giovanni Sambin - 1980 - Bulletin of the Section of Logic 9 (2):50-54.
Tait's conservative extension theorem revisited.Ryota Akiyoshi - 2010 - Journal of Symbolic Logic 75 (1):155-167.
A lambda proof of the p-w theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.
Analytic proof systems for λ-calculus: the elimination of transitivity, and why it matters. [REVIEW]Pierluigi Minari - 2007 - Archive for Mathematical Logic 46 (5-6):385-424.
Definition-like Extensions by Sorts.Claudia Maria & Paulo S. Veloso - 1995 - Logic Journal of the IGPL 3 (4):579-595.
Blunt and topless end extensions of models of set theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.

Analytics

Added to PP
2015-02-04

Downloads
17 (#867,741)

6 months
4 (#787,709)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references