|
Institutions, Category Theory & Model TheoryInstitution
Theory. Graded
consequence: an institution theoretic study. PDF Abstract BibTex From universal logic to computer science, and back. PDF Abstract BibTex The
institution-theoretic scope of logic theorems. PDF Abstract BibTex Quasi-varieties
and Initial Semantics in Hybridized Institutions. PDF Abstract
BibTex Institutional
Semantics for Many-Valued Logics. PDF
Abstract BibTex Borrowing
Interpolation. PDF Abstract BibTex
Three decades
of institution theory. PDF Abstract BibTex Hybridization
of Institutions. PDF Abstract BibTex Grothendieck
Inclusion Systems. PDF Abstract BibTex On
quasi-varieties of multiple valued logic models. PDF Abstract
BibTex Saturated
models in institutions. PDF Abstract BibTex An encoding
of partial algebras as total algebras. PDF
Abstract BibTex What is a
Logic Translation? PDF Abstract BibTex Institutions,
Madhyamaka, and universal model theory. PDF Abstract
BibTex Stratified
institutions and elementary homomorphisms. PDF Abstract
BibTex Ultraproducts
and
possible worlds semantics in institutions. PDF Abstract
BibTex Abstract
Beth
definability in institutions. PDF
Abstract BibTex Proof
systems for
institutional logic. PDF Abstract BibTex What is
a Logic? PDF Abstract BibTex Elementary
diagrams in institutions. PDF
Abstract BibTex Herbrand
Theorems
in arbitrary institutions. PDF Abstract BibTex An
institution-independent proof of Craig Interpolation Property.
PDF Abstract BibTex Interpolation
in Grothendieck Institutions. PDF
Abstract BibTex Institution-independent
Ultraproducts. PDF Abstract BibTex Grothendieck
Institutions. PDF Abstract BibTex Extra
Theory Morphisms in Institutions: logical
semantics for multi-paradigm languages. PDF
Abstract BibTex Completeness
of category-based equational deduction. Abstract BibTex Hiding and
behaviour: an institutional approach. PDF
Abstract BibTex Logical
support
for modularisation. PDF Abstract BibTex |
Foundations of System Specification and VerificationOn the existence of translations of structured specifications. PDF Abstract
BibTex
Information Processing Letters, Elsevier, 115(1):15-22, Elsevier, 2015. Foundations for structuring behavioural specifications. PDF Abstract
BibTex
with Ionuţ Ţuţu Journal of Logical and Algebraic Methods in Programming, Elsevier, 83(3-4):319-338, Elsevier, 2014. An axiomatic approach to structuring specifications. PDF Abstract BibTex Theoretical Computer Science, 433:20-42, Elsevier, 2012. Interpolation
for predefined types. PDF Abstract BibTex Structural
Induction in Institutions. PDF
Abstract BibTex On the
Algebra of the Structured Specifications. PDF Abstract BibTex Coinduction
for preordered algebras. PDF Abstract BibTex Quasi-Boolean
encodings and conditionals in algebraic
specification. PDF Abstract BibTex Behavioural
Specification for Hierarchical Object Composition. PDF Abstract
BibTex Logical
Foundations of CafeOBJ. PDF Abstract BibTex Behavioural
Coherence in Object-Oriented Algebraic Specification. PDF Abstract
BibTex Component-based
Algebraic Specification and
Verification in CafeOBJ. PDF Abstract BibTex CafeOBJ
Report: The Language, Proof Techniques, and Methodologies for
Object-Oriented Algebraic Specification. Abstract BibTex An
Oxford
survey of order sorted algebra. Abstract BibTex Logical
support for modularisation. PDF Abstract BibTex Towards
an
algebraic semantics for the
object paradigm. Abstract
BibTex
with Joseph Goguen In Harmut Ehrig and Fernando Orejas, editors, Recent Trends in Data Type Specification, volume 785 of Lecture Notes in Computer Science, pages 1-34. Springer, 1994. |
Semantics of Logic ProgrammingHerbrand
Theorems in arbitrary institutions. PDF
Abstract BibTex Category-based
Constraint Logic. PDF Abstract BibTex Category-based
modularisation for equational
logic programming. Abstract
BibTex Category-based
Semantics for Equational and Constraint Logic Programming. PDF Abstract
BibTex Contraction
algebras and unification of infinite
terms. Abstract BibTex |
Răzvan
Diaconescu |