scientific article; zbMATH DE number 840413
From MaRDI portal
Publication:4862884
zbMATH Open0857.18004MaRDI QIDQ4862884FDOQ4862884
Publication date: 6 March 1997
Full work available at URL: https://eudml.org/doc/193046
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 840414
- On the completeness of a new intuitionistic connective
- scientific article; zbMATH DE number 896181
- Various types of completeness in topologized semilattices
- A sufficient condition for completability of partial combinatory algebras
- Amenability, connected components, and definable actions
- \( \sigma \)-complete Boolean algebras and basically disconnected covers
- scientific article; zbMATH DE number 2196598
- Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\)
- scientific article; zbMATH DE number 3997784
monadsyntaxKleisli category2-categoriesrewrite systemslaxificationessentially algebraic theoryamphi-algebraslocally cartesian categoriessesqui-algebrassufficient connected completeness
Grammars and rewriting systems (68Q42) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some algebraic problems in the context of functorial semantics of algebraic theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (3)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4862884)
