Publication:3032225
From MaRDI portal
zbMath0691.03001MaRDI QIDQ3032225
Publication date: 1989
operational semantics; institutions; logic programming; axiomatization; proof calculus; axioms for general logics; general axiomatic theory of entailment and proof
03B70: Logic in computer science
68Q65: Abstract data types; algebraic specification
03G30: Categorical logic, topoi
03B30: Foundations of classical theories (including reverse mathematics)
68N01: General topics in the theory of software
Related Items
On the correctness of modular systems, Data types over multiple-valued logics, Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic, An institution-independent proof of the Robinson consistency theorem, HasCasl: integrated higher-order specification and program development, Conditional rewriting logic as a unified model of concurrency, Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, An algebraic semantics for structured transition systems and its application to logic programs, Structured theory presentations and logic representations, Functorial theory of parameterized specifications in a general specification framework, May I borrow your logic? (Transporting logical structures along maps), Virtual worlds as meeting places for formal systems, Towards an integration science. The influence of Richard Bellman on our research., On local modularity variants and \(\Pi\)-institutions, A coalgebraic equational approach to specifying observational structures, On a generalized modularization theorem, ELAN from a rewriting logic point of view, Reflection in conditional rewriting logic, Specification of real-time and hybrid systems in rewriting logic, On local modularity and interpolation in entailment systems., CASL: the Common Algebraic Specification Language., Relating CASL with other specification languages: the institution level., Structured theories and institutions, Interpolation in Grothendieck institutions, Category-based modularisation for equational logic programming, Specification and proof in membership equational logic, Development graphs -- proof management for structured specifications, Closure properties for the class of behavioral models, Powersets of terms and composite monads, Structures for abstract rewriting