What is a logic translation?
type: Item
instance of: scholarly article
title: What is a logic translation?
zbMATH Open document ID: 1255.03023
author: Till Mossakowski
author: Răzvan Diaconescu
author: Andrzej Tarlecki
published in: Logica Universalis
publication date: 2013-01-25T00:00:00Z
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 6130609
describes a project that uses: CASL
MaRDI profile type: Publication
full work available at URL: s11787-009-0005-2
OpenAlex ID: W2039975294
cites work: Q4693062
cites work: Simple consequence relations
cites work: Q4539639
cites work: Classical negation can be expressed by one of its halves
cites work: Modal logic
cites work: Introduction to the special issue on algebraic logic
cites work: Q4856547
cites work: Q4078023
cites work: Q5311058
cites work: Translations between logical systems: A manifesto
cites work: May I borrow your logic? (Transporting logical structures along maps)
cites work: Q4432964
cites work: Herbrand theorems in arbitrary institutions
cites work: Institution-independent model theory
cites work: Q3995890
cites work: Conservative translations
cites work: Q3824395
cites work: Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday.
cites work: Semantical investigations in Heyting's intuitionistic logic
cites work: Q4754492
cites work: The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
cites work: Q4723263
cites work: Institutions: abstract model theory for specification and programming
cites work: Institution morphisms
cites work: Q5311064
cites work: Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
cites work: Q3727946
cites work: Q4215784
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Q3032225
cites work: Relating CASL with other specification languages: the institution level.
cites work: Q3520841
cites work: CASL reference manual. The complete documentation of the common algebraic specification language.
cites work: Q5734410
cites work: Rules and Derived Rules
cites work: Q5537599
cites work: Quasi-varieties in abstract algebraic institutions
DOI: 10.1007/S11787-009-0005-2
description: scientific article; zbMATH DE number 6130609