Axiomatizability in inclusive equational logics
From MaRDI portal
Publication:4792970
DOI10.1017/S0960129501003474zbMath1019.03050MaRDI QIDQ4792970
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
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
03G30: Categorical logic, topoi
08C15: Quasivarieties
18A32: Factorization systems, substructures, quotient structures, congruences, amalgams
Related Items
Preservation in many-valued truth institutions, Partialising institutions, Functorial semantics of first-order views, Parameterisation for abstract structured specifications, Foundations for structuring behavioural specifications, An axiomatic approach to structuring specifications, On the algebra of structured specifications, Grothendieck inclusion systems