What is a logic translation?
From MaRDI portal
Publication:1931306
DOI10.1007/s11787-009-0005-2zbMath1255.03023OpenAlexW2039975294MaRDI QIDQ1931306
Răzvan Diaconescu, Andrzej Tarlecki, Till Mossakowski
Publication date: 25 January 2013
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-009-0005-2
Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Abstract deductive systems (03B22)
Related Items (15)
Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ Heterogeneous Logical Environments for Distributed Specifications ⋮ Composition-nominative logics as institutions ⋮ Proof theory for reasoning with Euler diagrams: a logic translation and normalization ⋮ On the universality of atomic and molecular logics via protologics ⋮ A coalgebraic perspective on logical interpretations ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ An axiomatic approach to structuring specifications ⋮ Refinement by Interpretation in a General Setting ⋮ THE UBIQUITY OF CONSERVATIVE TRANSLATIONS ⋮ Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics ⋮ Change Management for Heterogeneous Development Graphs ⋮ MODALITY AND EXPRESSIBILITY ⋮ Proof Complexity of Non-classical Logics ⋮ Hybrid dynamic logic institutions for event/data-based systems
Uses Software
Cites Work
- Institution morphisms
- Simple consequence relations
- Quasi-varieties in abstract algebraic institutions
- Semantical investigations in Heyting's intuitionistic logic
- Introduction to the special issue on algebraic logic
- May I borrow your logic? (Transporting logical structures along maps)
- Relating CASL with other specification languages: the institution level.
- CASL reference manual. The complete documentation of the common algebraic specification language.
- Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday.
- Herbrand theorems in arbitrary institutions
- Institution-independent model theory
- Rules and Derived Rules
- Classical negation can be expressed by one of its halves
- Institutions: abstract model theory for specification and programming
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
- Conservative translations
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: What is a logic translation?
