What is a logic translation?

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

Mathematics Subject Classification ID

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

• CASL

Cites Work

• 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
• 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

This page was built for publication: What is a logic translation?