scientific article

zbMath0671.03020MaRDI QIDQ3824395

José Luiz Fiadeiro, Amílcar Sernadas

Publication date: 1988

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

zbMATH Keywords

consequence operatorlogical theoriesdeductive systemsinstitutionsemantics of specification languages

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) General topics in the theory of software (68N01) Abstract model theory (03C95)

Related Items

Structured theory presentations and logic representations, Closure properties for the class of behavioral models, Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach, Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions, On pushout consistency, modularity and interpolation for logical specifications, Structures for abstract rewriting, Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity, Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics, Categorical abstract algebraic logic: referential algebraic semantics, Abstract valuation semantics, Logic representation in LF, What is a logic translation?, May I borrow your logic? (Transporting logical structures along maps), Graded consequence: an institution theoretic study, Conservative translations revisited, An axiomatic approach to structuring specifications, Categorical abstract algebraic logic: behavioral \(\pi\)-institutions, A Tool for Analysing Logics, A categorical study on the finiteness of specifications, Encapsulating deontic and branching time specifications, Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning, On local modularity and interpolation in entailment systems., Homotopical Categories of Logics, Generalised graded interpolation, On local modularity variants and \(\Pi\)-institutions, On a generalized modularization theorem, Categorical abstract algebraic logic: models of \(\pi\)-institutions