Axiomatizability in inclusive equational logics

From MaRDI portal

Revision as of 00:30, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4792970

Jump to:navigation, search

DOI10.1017/S0960129501003474zbMath1019.03050OpenAlexW1967899636MaRDI QIDQ4792970

Grigore Roşu

Publication date: 16 September 2003

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129501003474

zbMATH Keywords

quasivarieties Horn sentences categories with a weak inclusion system inclusive equational logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Quasivarieties (08C15) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)

Related Items (8)

Functorial semantics of first-order views ⋮ Parameterisation for abstract structured specifications ⋮ Foundations for structuring behavioural specifications ⋮ Preservation in many-valued truth institutions ⋮ Partialising institutions ⋮ An axiomatic approach to structuring specifications ⋮ Grothendieck inclusion systems ⋮ On the algebra of structured specifications

This page was built for publication: Axiomatizability in inclusive equational logics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4792970&oldid=19094110"