Razvan Diaconescu

J. Log. Algebraic Methods Program., 2026

Non-deterministic algebraic rewriting as adjunction.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2026

2025

In between myth and reality: AI for math - a case study in category theory.

[BibT_eX]

[DOI]

CoRR, April, 2025

2024

Translation structures for fuzzy model theory.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2024

2023

Partialising Institutions.

[BibT_eX]

[DOI]

Appl. Categorical Struct., December, 2023

Decompositions of stratified institutions.

[BibT_eX]

[DOI]

J. Log. Comput., October, 2023

Preservation in many-valued truth institutions.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., March, 2023

Generalised graded interpolation.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2023

2022

Non-determinsitic algebraic rewriting as adjunction.

[BibT_eX]

[DOI]

CoRR, 2022

Permutation Groups Generated by γ-Cycles.

[BibT_eX]

[DOI]

Axioms, 2022

2020

Introducing <i>H</i>, an Institution-Based Formal Specification and Verification Language.

[BibT_eX]

[DOI]

Logica Universalis, 2020

2019

Towards Fuzzy Neural Conceptors.

[BibT_eX]

[DOI]

Till Mossakowski

Martin Glauer

FLAP, 2019

Introducing H, an institution-based formal specification and verification language.

[BibT_eX]

[DOI]

CoRR, 2019

2017

Universal logic and computation.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

Implicit Kripke semantics and ultraproducts in stratified institutions.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

2016

Functorial semantics of first-order views.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Encoding hybridized institutions into first-order logic.

[BibT_eX]

[DOI]

Alexandre Madeira

Math. Struct. Comput. Sci., 2016

Quasi-varieties and initial semantics for hybridized institutions.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

2015

On the existence of translations of structured specifications.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2015

Structuring of Specification Modules (extended).

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2015

2014

Graded consequence: an institution theoretic study.

[BibT_eX]

[DOI]

Soft Comput., 2014

The Institution-Theoretic Scope of Logic Theorems.

[BibT_eX]

[DOI]

Till Mossakowski

Andrzej Tarlecki

Logica Universalis, 2014

Foundations for structuring behavioural specifications.

[BibT_eX]

[DOI]

Ionut Tutu

J. Log. Algebraic Methods Program., 2014

From Universal Logic to Computer Science, and Back.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

CafeOBJ Traces.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2013

Institutional semantics for many-valued logics.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2013

2012

An axiomatic approach to structuring specifications.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Interpolation for predefined types.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2012

Borrowing interpolation.

[BibT_eX]

[DOI]

J. Log. Comput., 2012

2011

On the algebra of structured specifications.

[BibT_eX]

[DOI]

Ionut Tutu

Theor. Comput. Sci., 2011

On quasi-varieties of multiple valued logic models.

[BibT_eX]

[DOI]

Math. Log. Q., 2011

Structural induction in institutions.

[BibT_eX]

[DOI]

Inf. Comput., 2011

Coinduction for preordered algebra.

[BibT_eX]

[DOI]

Inf. Comput., 2011

Grothendieck Inclusion Systems.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2011

Hybridization of Institutions.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Quasi-boolean encodings and conditionals in algebraic specification.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

Saturated models in institutions.

[BibT_eX]

[DOI]

Marius Petria

Arch. Math. Log., 2010

2009

What is a Logic Translation?

[BibT_eX]

[DOI]

Till Mossakowski

Andrzej Tarlecki

Logica Universalis, 2009

An encoding of partial algebras as total algebras.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2009

2008

A categorical study on the finiteness of specifications.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2008

2007

Ultraproducts and possible worlds semantics in institutions.

[BibT_eX]

[DOI]

Petros S. Stefaneas

Theor. Comput. Sci., 2007

Stratified institutions and elementary homomorphisms.

[BibT_eX]

[DOI]

Marc Aiguier

Inf. Process. Lett., 2007

2006

Proof Systems for Institutional Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

Abstract Beth definability in institutions.

[BibT_eX]

[DOI]

Marius Petria

J. Symb. Log., 2006

Jewels of Institution-Independent Model Theory.

[BibT_eX]

[DOI]

Proceedings of the Algebra, Meaning, and Computation, 2006

2004

Interpolation in Grothendieck Institutions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

An Institution-independent Proof of Craig Interpolation Theorem.

[BibT_eX]

[DOI]

Stud Logica, 2004

Elementary Diagrams in Institutions.

[BibT_eX]

[DOI]

J. Log. Comput., 2004

Herbrand theorems in arbitrary institutions.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

2003

Institution-independent Ultraproducts.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

CafeOBJ: Logical Foundations and Methodologies.

[BibT_eX]

[DOI]

Kazuhiro Ogata

Comput. Artif. Intell., 2003

Behavioural Specification for Hierarchical Object Composition.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2003

2002

Logical foundations of CafeOBJ.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Grothendieck Institutions.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2002

2000

Category-based constraint logic.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2000

Behavioural Coherence in Object-Oriented Algebraic Specification.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2000

1999

Component-Based Algebraic Specification and Verification in CafeOBJ.

[BibT_eX]

[DOI]

Shusaku Iida

Proceedings of the FM'99 - Formal Methods, 1999

Component-Based Algebraic Specification.

[BibT_eX]

[DOI]

Shusaku Iida

Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998

Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification

[BibT_eX]

[DOI]

AMAST Series in Computing 6, World Scientific, ISBN: 978-981-4518-23-9, 1998

An overview of CafeOBJ.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 1998

1996

Foundations of behavioural specification in rewriting logic.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

Category-Based Modularisation for Equational Logic Programming.

[BibT_eX]

[DOI]

Acta Informatica, 1996

1995

Completeness of Category-Based Equational Deduction.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1995

A Category-Based Equational Logic Semantics to Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1995

An Introduction to Category-based Equational Logic.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

An Oxford Survey of Order Sorted Algebra.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1994

1993

A Short Oxford Survey of Order Sorted Algebra.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

1992

Contraction Algebras and Unification of (Infinite) Terms.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1992

A short Oxford survey of order sorted algebra..

[BibT_eX]

Bull. EATCS, 1992

Towards an Algebraic Semantics for the Object Paradigm.

[BibT_eX]

[DOI]