Equivalences among various logical frameworks of partial algebras
From MaRDI portal
Publication:6560181
DOI10.1007/3-540-61377-3_51zbMATH Open1540.68139MaRDI QIDQ6560181FDOQ6560181
Authors: Till Mossakowski 
Publication date: 21 June 2024
Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65) Partial algebras (08A55) Applications of universal algebra in computer science (08A70)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Title not available (Why is that?)
- Institutions: abstract model theory for specification and programming
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- 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?)
- Specifications in an arbitrary institution
- Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
- Aspects of topoi
- On the existence of free models in abstract algebraic institutions
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Structured algebraic specifications: A kernel language
- Title not available (Why is that?)
- Title not available (Why is that?)
- Weak varieties of partial algebras
- Programs in partial algebras
- Title not available (Why is that?)
- Categorical aspects of data type constructors
- A partial functions version of Church's simple theory of types
- Title not available (Why is that?)
- Title not available (Why is that?)
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
This page was built for publication: Equivalences among various logical frameworks of partial algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560181)
