Equivalences among various logical frameworks of partial algebras

DOI10.1007/3-540-61377-3_51MaRDI QIDQ6560181zbMATH OpenFDO

Authors Till Mossakowski

Publication date 21 June 2024

Mathematics Subject Classification ID

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)

Recommendations

• Combining specification formalisms in the `general logic' of multialgebras.
• scientific article; zbMATH DE number 753781
• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
• A logical framework combining model and proof theory
• scientific article; zbMATH DE number 2086653

Cites work

• scientific article; zbMATH DE number 4129965 (Why is no real title available?)
• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3963900 (Why is no real title available?)
• scientific article; zbMATH DE number 4008627 (Why is no real title available?)
• scientific article; zbMATH DE number 4033040 (Why is no real title available?)
• scientific article; zbMATH DE number 3656176 (Why is no real title available?)
• scientific article; zbMATH DE number 3773853 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 1333615 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 683360 (Why is no real title available?)
• scientific article; zbMATH DE number 2102745 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A partial functions version of Church's simple theory of types
• Aspects of topoi
• Categorical aspects of data type constructors
• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
• Institutions: abstract model theory for specification and programming
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• On the existence of free models in abstract algebraic institutions
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
• Programs in partial algebras
• Specifications in an arbitrary institution
• Structured algebraic specifications: A kernel language
• Weak varieties of partial 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)