Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
A technique for software module specification with examples
Communications of the ACM
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Moving Between Logical Systems
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
| Hi-index | 0.00 |
∈T-logic was first designed by Werner Sträter as a first-order propositional logic with quantification, reference, and predicates for true and false. It is motivated by reconstruction of natural language semantics and allows, as a logic with self-reference and impredicativity, among others the treatment of the liar paradox despite the totality of its truth predicates. Its intensional models form a theory of propositions for which a correct and complete calculus is given. ∈T-logic was picked up by Philip Zeitz to study the extension of abstract logics by the concepts of truth, reference and classical negation, thereby rebuilding the meta-level of judgements in a formal level of propositional logic. His parameterized ∈T-logic allows formulas from a parameter logic to become the constants in his ∈T-logic. Parameter-passing of logics with correct and complete calculus also admits, under certain conditions, the entailment of a calculus which is correct and complete for the extended logic. Since in parameterized ∈T-logic Tarski Biconditionals not only apply for the truth of ∈T-logic sentences, but also for the meta-level truth of the parameter logic it is natural to view ∈T-logic as a theory of judgements whose propositions are expressed in the parameter logic. We add a new interpretation to ∈T-logic as a theory of truth and judgements, and introduce ∈T-logic as a means for the integration of logics. Based on a particular choice of uniform view and treatment of logics we define ∈T-logics and ∈T-extensions as the foundation for ∈T-integration of logics and models. Studies in ∈T-logic, which have started to deal with the difficulties of truth in natural language semantics, have evolved into a concept of logic integration where application oriented logics can be plugged in as parameters. This paper very much relies on the work of Philip Zeitz, but opens it for the new perspective of integration.