scientific article
From MaRDI portal
Publication:3776610
zbMath0636.68029MaRDI QIDQ3776610
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (25)
Foundations of logic programming in hybrid logics with user-defined sharing ⋮ Structured theory presentations and logic representations ⋮ Constructor-Based Institutions ⋮ Interpolation in Grothendieck institutions ⋮ Ultraproducts and possible worlds semantics in institutions ⋮ Stratified institutions and elementary homomorphisms ⋮ Generalized interpolation in CASL ⋮ Category-based modularisation for equational logic programming ⋮ An institution-independent proof of the Robinson consistency theorem ⋮ Proving correctness w.r.t. specifications with hidden parts ⋮ Birkhoff style calculi for hybrid logics ⋮ Preservation in many-valued truth institutions ⋮ Graded consequence: an institution theoretic study ⋮ An axiomatic approach to structuring specifications ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Parchments for CafeOBJ Logics ⋮ The institution-theoretic scope of logic theorems ⋮ Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally ⋮ Saturated models in institutions ⋮ The Foundational Legacy of ASL ⋮ On local modularity and interpolation in entailment systems. ⋮ Logical systems for structured specifications. ⋮ On local modularity variants and \(\Pi\)-institutions ⋮ On a generalized modularization theorem ⋮ Reducible Theories and Amalgamations of Models
This page was built for publication:
