Equivalences among various logical frameworks of partial algebras
type: Item
instance of: scholarly article
title: Equivalences among various logical frameworks of partial algebras
zbMATH Open document ID: 1540.68139
DOI: 10.1007/3-540-61377-3_51
author: Till Mossakowski
publication date: 2024-06-21T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 08A55
Mathematics Subject Classification ID: 08A70
zbMATH DE Number: 7869537
MaRDI profile type: MaRDI publication profile
cites work: Q4293501
cites work: Q4312481
cites work: Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
cites work: Q3731650
cites work: Q4260389
cites work: Q3855354
cites work: Q3221381
cites work: Q3995131
cites work: Q3031906
cites work: A partial functions version of Church's simple theory of types
cites work: Aspects of topoi
cites work: Lokal präsentierbare Kategorien. (Locally presentable categories)
cites work: Institutions: abstract model theory for specification and programming
cites work: Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
cites work: Categorical aspects of data type constructors
cites work: Q3953956
cites work: Weak varieties of partial algebras
cites work: Programs in partial algebras
cites work: Q5812175
cites work: Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
cites work: Q3032225
cites work: Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
cites work: Q4818832
cites work: Q3759011
cites work: Q3773301
cites work: Specifications in an arbitrary institution
cites work: Q5537599
cites work: On the existence of free models in abstract algebraic institutions
cites work: Structured algebraic specifications: A kernel language
description: scientific article; zbMATH DE number 7869537