Partial algebras, meaning categories and algebraization

DOI10.1016/J.TCS.2005.11.011MaRDI QIDQ2368946zbMATH OpenOpenAlexFDO

Authors Marcus Kracht

Publication date 28 April 2006

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2005.11.011

zbMATH Keywords

CompositionalityMany-sorted algebrasPartial algebras

Mathematics Subject Classification ID

Logic of natural languages (03B65) Other algebras related to logic (03G25) Partial algebras (08A55)

Recommendations

• scientific article; zbMATH DE number 432732
• On the compositional extension problem
• scientific article; zbMATH DE number 3963900
• scientific article; zbMATH DE number 4195910
• Functorial semantic of theories for classes of partial algebras

Cites work

• Algebraizable logics
• Compositionality and model-theoretic interpretation
• First-order theories as many-sorted algebras
• Formal features of compositionality
• scientific article; zbMATH DE number 3885878 (Why is no real title available?)
• scientific article; zbMATH DE number 3963900 (Why is no real title available?)
• scientific article; zbMATH DE number 976409 (Why is no real title available?)
• Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
• The abstract variable-binding calculus
• The mathematics of language
• Tools and techniques in modal logic

Cited in

(9)

• Über die halbgeordnete Kategorie der partiellen Endomorphismen einer Algebra. (On the partially ordered category of partial endomorphisms of an algebra)
• A categorical duality for algebras of partial functions
• scientific article; zbMATH DE number 1310971 (Why is no real title available?)
• THE MEANING OF BASIC CATEGORY THEORETICAL NOTIONS IN SOME CATEGORIES OF PARTIAL ALGEBRAS. III
• THE MEANING OF BASIC CATEGORY THEORETICAL NOTIONS IN SOME CATEGORIES OF PARTIAL ALGEBRAS. I
• scientific article; zbMATH DE number 4195910 (Why is no real title available?)
• Bi-intuitionistic implication structures
• Typability in partial applicative structures
• On the compositional extension problem

This page was built for publication: Partial algebras, meaning categories and algebraization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2368946)