2024
Translation structures for fuzzy model theory.
Fuzzy Sets Syst., 2024
2023
Partialising Institutions.
Appl. Categorical Struct., December, 2023
Decompositions of stratified institutions.
J. Log. Comput., October, 2023
Preservation in many-valued truth institutions.
Fuzzy Sets Syst., March, 2023
Generalised graded interpolation.
Int. J. Approx. Reason., 2023
2022
Non-determinsitic algebraic rewriting as adjunction.
CoRR, 2022
Permutation Groups Generated by γ-Cycles.
Axioms, 2022
2020
Introducing <i>H</i>, an Institution-Based Formal Specification and Verification Language.
Logica Universalis, 2020
2019
Towards Fuzzy Neural Conceptors.
FLAP, 2019
Introducing H, an institution-based formal specification and verification language.
CoRR, 2019
2017
Universal logic and computation.
J. Log. Comput., 2017
Implicit Kripke semantics and ultraproducts in stratified institutions.
J. Log. Comput., 2017
2016
Functorial semantics of first-order views.
Theor. Comput. Sci., 2016
Encoding hybridized institutions into first-order logic.
Math. Struct. Comput. Sci., 2016
Quasi-varieties and initial semantics for hybridized institutions.
J. Log. Comput., 2016
2015
On the existence of translations of structured specifications.
Inf. Process. Lett., 2015
Structuring of Specification Modules (extended).
Comput. Sci. J. Moldova, 2015
2014
Graded consequence: an institution theoretic study.
Soft Comput., 2014
The Institution-Theoretic Scope of Logic Theorems.
Logica Universalis, 2014
Foundations for structuring behavioural specifications.
J. Log. Algebraic Methods Program., 2014
From Universal Logic to Computer Science, and Back.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2013
Institutional semantics for many-valued logics.
Fuzzy Sets Syst., 2013
2012
An axiomatic approach to structuring specifications.
Theor. Comput. Sci., 2012
Interpolation for predefined types.
Math. Struct. Comput. Sci., 2012
2011
On the algebra of structured specifications.
Theor. Comput. Sci., 2011
On quasi-varieties of multiple valued logic models.
Math. Log. Q., 2011
Structural induction in institutions.
Inf. Comput., 2011
Coinduction for preordered algebra.
Inf. Comput., 2011
Grothendieck Inclusion Systems.
Appl. Categorical Struct., 2011
Hybridization of Institutions.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2010
Quasi-boolean encodings and conditionals in algebraic specification.
J. Log. Algebraic Methods Program., 2010
Saturated models in institutions.
Arch. Math. Log., 2010
2009
What is a Logic Translation?
Logica Universalis, 2009
An encoding of partial algebras as total algebras.
Inf. Process. Lett., 2009
2008
A categorical study on the finiteness of specifications.
Inf. Process. Lett., 2008
2007
Ultraproducts and possible worlds semantics in institutions.
Theor. Comput. Sci., 2007
Stratified institutions and elementary homomorphisms.
Inf. Process. Lett., 2007
2006
Proof Systems for Institutional Logic.
J. Log. Comput., 2006
Abstract Beth definability in institutions.
J. Symb. Log., 2006
Jewels of Institution-Independent Model Theory.
Proceedings of the Algebra, Meaning, and Computation, 2006
2005
Behavioural specification for hierarchical object composition.
Theor. Comput. Sci., 2005
2004
Interpolation in Grothendieck Institutions.
Theor. Comput. Sci., 2004
An Institution-independent Proof of Craig Interpolation Theorem.
Stud Logica, 2004
Elementary Diagrams in Institutions.
J. Log. Comput., 2004
Herbrand theorems in arbitrary institutions.
Inf. Process. Lett., 2004
2003
Institution-independent Ultraproducts.
Fundam. Informaticae, 2003
CafeOBJ: Logical Foundations and Methodologies.
Comput. Artif. Intell., 2003
2002
Logical foundations of CafeOBJ.
Theor. Comput. Sci., 2002
Grothendieck Institutions.
Appl. Categorical Struct., 2002
2000
Category-based constraint logic.
Math. Struct. Comput. Sci., 2000
Behavioural Coherence in Object-Oriented Algebraic Specification.
J. Univers. Comput. Sci., 2000
1999
Component-Based Algebraic Specification and Verification in CafeOBJ.
Proceedings of the FM'99 - Formal Methods, 1999
Component-Based Algebraic Specification.
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999
1998
Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
AMAST Series in Computing 6, World Scientific, ISBN: 978-981-4518-23-9, 1998
Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998
Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages.
Appl. Categorical Struct., 1998
1996
Foundations of behavioural specification in rewriting logic.
Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996
Category-Based Modularisation for Equational Logic Programming.
Acta Informatica, 1996
1995
Completeness of Category-Based Equational Deduction.
Math. Struct. Comput. Sci., 1995
A Category-Based Equational Logic Semantics to Constraint Programming.
Proceedings of the Recent Trends in Data Type Specification, 1995
An Introduction to Category-based Equational Logic.
Proceedings of the Algebraic Methodology and Software Technology, 1995
1994
An Oxford Survey of Order Sorted Algebra.
Math. Struct. Comput. Sci., 1994
1993
A Short Oxford Survey of Order Sorted Algebra.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993
1992
Contraction Algebras and Unification of (Infinite) Terms.
J. Comput. Syst. Sci., 1992
A short Oxford survey of order sorted algebra..
Bull. EATCS, 1992
Towards an Algebraic Semantics for the Object Paradigm.
Proceedings of the Recent Trends in Data Type Specification, 1992
