| Publication | Date of Publication | Type |
|---|
| Institution-independent model theory (to appear) | 2024-11-05 | Paper |
Generating symmetric and alternating groups
Journal of Algebra and its Applications | 2024-07-29 | Paper |
Decompositions of stratified institutions
Journal Of Logic And Computation | 2024-02-08 | Paper |
Partialising institutions
Applied Categorical Structures | 2024-01-08 | Paper |
Preservation in many-valued truth institutions
Fuzzy Sets and Systems | 2023-10-31 | Paper |
Generalised graded interpolation
International Journal of Approximate Reasoning | 2022-12-08 | Paper |
| Towards fuzzy neural conceptors | 2022-09-28 | Paper |
An introduction to category-based equational logic
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
| Non-determinsitic algebraic rewriting as adjunction | 2022-04-26 | Paper |
Implicit Partiality of Signature Morphisms in Institution Theory
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
Introducing \(H\), an institution-based formal specification and verification language
Logica Universalis | 2020-05-27 | Paper |
Structuring of specification modules (extended)
Computer Science Journal of Moldova | 2018-07-03 | Paper |
Implicit Kripke semantics and ultraproducts in stratified institutions
Journal Of Logic And Computation | 2018-02-13 | Paper |
| 3/2-Institutions: an institution theory for conceptual blending | 2017-08-31 | Paper |
Functorial semantics of first-order views
Theoretical Computer Science | 2016-11-24 | Paper |
Quasi-varieties and initial semantics for hybridized institutions
Journal of Logic and Computation | 2016-10-07 | Paper |
Encoding hybridized institutions into first-order logic
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Graded consequence: an institution theoretic study
Soft Computing | 2015-12-02 | Paper |
The algebra of opposition (and universal logic interpretations)
Studies in Universal Logic | 2015-06-24 | Paper |
The institution-theoretic scope of logic theorems
Logica Universalis | 2015-02-05 | Paper |
From universal logic to computer science, and back
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
On the existence of translations of structured specifications
Information Processing Letters | 2014-10-07 | Paper |
Foundations for structuring behavioural specifications
Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
| scientific article; zbMATH DE number 6296808 (Why is no real title available?) | 2014-05-19 | Paper |
Institutional semantics for many-valued logics
Fuzzy Sets and Systems | 2014-05-14 | Paper |
| Modality in open institutions with concrete syntax | 2014-05-02 | Paper |
CafeOBJ Traces
Specification, Algebra, and Software | 2014-03-25 | Paper |
What is a logic translation?
Logica Universalis | 2013-01-25 | Paper |
An axiomatic approach to structuring specifications
Theoretical Computer Science | 2012-06-25 | Paper |
Borrowing interpolation
Journal of Logic and Computation | 2012-06-20 | Paper |
Interpolation for predefined types
Mathematical Structures in Computer Science | 2012-03-22 | Paper |
Grothendieck inclusion systems
Applied Categorical Structures | 2012-01-10 | Paper |
Structural induction in institutions
Information and Computation | 2011-10-10 | Paper |
Hybridization of institutions
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
On the algebra of structured specifications
Theoretical Computer Science | 2011-07-07 | Paper |
On quasi-varieties of multiple valued logic models
Mathematical Logic Quarterly | 2011-05-06 | Paper |
Coinduction for preordered algebra
Information and Computation | 2011-02-21 | Paper |
Saturated models in institutions
Archive for Mathematical Logic | 2010-09-08 | Paper |
An encoding of partial algebras as total algebras
Information Processing Letters | 2010-09-02 | Paper |
A categorical study on the finiteness of specifications
Information Processing Letters | 2010-06-09 | Paper |
Stratified institutions and elementary homomorphisms
Information Processing Letters | 2010-03-24 | Paper |
Quasi-Boolean encodings and conditionals in algebraic specification
The Journal of Logic and Algebraic Programming | 2010-02-05 | Paper |
Herbrand theorems in arbitrary institutions
Information Processing Letters | 2009-07-21 | Paper |
| scientific article; zbMATH DE number 5316606 (Why is no real title available?) | 2008-08-26 | Paper |
Institution-independent model theory
Studies in Universal Logic | 2008-02-07 | Paper |
Jewels of Institution-Independent Model Theory
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Ultraproducts and possible worlds semantics in institutions
Theoretical Computer Science | 2007-07-16 | Paper |
Proof Systems for Institutional Logic
Journal Of Logic And Computation | 2007-04-05 | Paper |
Abstract Beth definability in institutions
Journal of Symbolic Logic | 2006-11-29 | Paper |
| scientific article; zbMATH DE number 2172803 (Why is no real title available?) | 2006-06-02 | Paper |
Behavioural specification for hierarchical object composition
Theoretical Computer Science | 2005-11-01 | Paper |
| scientific article; zbMATH DE number 2196612 (Why is no real title available?) | 2005-08-22 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
Elementary Diagrams in Institutions
Journal Of Logic And Computation | 2005-03-21 | Paper |
Interpolation in Grothendieck institutions
Theoretical Computer Science | 2004-10-27 | Paper |
An institution-independent proof of Craig interpolation theorem
Studia Logica | 2004-08-16 | Paper |
| scientific article; zbMATH DE number 1995173 (Why is no real title available?) | 2003-10-21 | Paper |
| scientific article; zbMATH DE number 1998330 (Why is no real title available?) | 2003-01-01 | Paper |
Grothendieck institutions
Applied Categorical Structures | 2002-09-18 | Paper |
Logical foundations of CafeOBJ
Theoretical Computer Science | 2002-08-13 | Paper |
CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
AMAST Series in Computing | 2001-05-29 | Paper |
| scientific article; zbMATH DE number 1543338 (Why is no real title available?) | 2001-02-27 | Paper |
Category-based constraint logic
Mathematical Structures in Computer Science | 2000-09-04 | Paper |
An Oxford survey of order sorted algebra
Mathematical Structures in Computer Science | 2000-07-04 | Paper |
| scientific article; zbMATH DE number 1418819 (Why is no real title available?) | 2000-04-02 | Paper |
Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
Applied Categorical Structures | 1999-08-31 | Paper |
| scientific article; zbMATH DE number 1231658 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1231544 (Why is no real title available?) | 1998-12-20 | Paper |
Category-based modularisation for equational logic programming
Acta Informatica | 1995-11-19 | Paper |
Completeness of category-based equational deduction
Mathematical Structures in Computer Science | 1995-09-20 | Paper |
Contraction algebras and unification of (infinite) terms
Journal of Computer and System Sciences | 1992-06-28 | Paper |
