scientific article

zbMath0691.03001MaRDI QIDQ3032225

José Meseguer

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semanticsinstitutionslogic programmingaxiomatizationproof calculusaxioms for general logicsgeneral axiomatic theory of entailment and proof

Mathematics Subject Classification ID

Related Items (75)

Structured theory presentations and logic representations ⋮ Conditional rewriting logic: Deduction, models and concurrency ⋮ Fuzzy terms ⋮ Development graphs -- proof management for structured specifications ⋮ Structured theories and institutions ⋮ Interpolation in Grothendieck institutions ⋮ Closure properties for the class of behavioral models ⋮ Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Quasi-Boolean encodings and conditionals in algebraic specification ⋮ April the 19th ⋮ Category-based modularisation for equational logic programming ⋮ Structures for abstract rewriting ⋮ Automatic synthesis of logical models for order-sorted first-order theories ⋮ Dependency pairs for proving termination properties of conditional term rewriting systems ⋮ 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 ⋮ José Meseguer: Scientist and Friend Extraordinaire ⋮ Modularity of Ontologies in an Arbitrary Institution ⋮ Logic representation in LF ⋮ Principles of proof scores in CafeOBJ ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ What is a logic translation? ⋮ Some general results about proof normalization ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ May I borrow your logic? (Transporting logical structures along maps) ⋮ Twenty years of rewriting logic ⋮ The Distributed Ontology, Modeling and Specification Language – DOL ⋮ Foundations for structuring behavioural specifications ⋮ Graded consequence: an institution theoretic study ⋮ Monadic extensions of institutions ⋮ Virtual worlds as meeting places for formal systems ⋮ Conservative translations revisited ⋮ Partialising institutions ⋮ An axiomatic approach to structuring specifications ⋮ On the existence of translations of structured specifications ⋮ Comorphisms of structured institutions ⋮ Representing model theory in a type-theoretical logical framework ⋮ Powersets of terms and composite monads ⋮ Hybridisation of Institutions in HETS (Tool Paper). ⋮ Specification and proof in membership equational logic ⋮ On the correctness of modular systems ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations ⋮ Strict coherence of conditional rewriting modulo axioms ⋮ An algebraic semantics for structured transition systems and its application to logic programs ⋮ Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally ⋮ Representing Model Theory in a Type-Theoretical Logical Framework ⋮ On the algebra of structured specifications ⋮ A categorical study on the finiteness of specifications ⋮ Structural induction in institutions ⋮ A 2-categorial generalization of the concept of institution ⋮ Generalized rewrite theories, coherence completion, and symbolic methods ⋮ Programming and symbolic computation in Maude ⋮ HasCasl: integrated higher-order specification and program development ⋮ Semantics of multiway dataflow constraint systems ⋮ Methods for Proving Termination of Rewriting-based Programming Languages by Transformation ⋮ Using well-founded relations for proving operational termination ⋮ Data types over multiple-valued logics ⋮ Comparing Meseguer's Rewriting Logic with the Logic CRWL ⋮ Towards Behavioral Maude ⋮ Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning ⋮ Towards an integration science. The influence of Richard Bellman on our research. ⋮ On local modularity and interpolation in entailment systems. ⋮ CASL: the Common Algebraic Specification Language. ⋮ Relating CASL with other specification languages: the institution level. ⋮ Implicit Partiality of Signature Morphisms in Institution Theory ⋮ Generalised graded interpolation ⋮ On local modularity variants and \(\Pi\)-institutions ⋮ A coalgebraic equational approach to specifying observational structures ⋮ Narrowing and Rewriting Logic: from Foundations to Applications ⋮ 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

This page was built for publication: