An algebraic generalization of Frege structures -- binding algebras

DOI10.1016/S0304-3975(97)00170-9MaRDI QIDQ1274449zbMATH OpenFDO

Authors Yong Sun

Publication date 12 January 1999

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

zbMATH Keywords

binding algebras(admissible) equational logicadmissible completenessbinding equationsBirkhoff's methodFrege structures

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Second-Order Algebraic Theories
• scientific article; zbMATH DE number 2242590
• Nominal (universal) algebra: equational logic with names and binding
• Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding
• Algebraization of Hybrid Logic with Binders

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3970817 (Why is no real title available?)
• scientific article; zbMATH DE number 4081552 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 3722625 (Why is no real title available?)
• scientific article; zbMATH DE number 3726339 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3591984 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3356762 (Why is no real title available?)
• scientific article; zbMATH DE number 3019695 (Why is no real title available?)
• A recursive second order initial algebra specification of primitive recursion
• Axiomatization of calculus of constructions
• Data Types as Lattices
• Higher order data types
• Logical relations and the typed λ-calculus
• On specifications, theories, and models with higher types
• Set Theory and Nominalization, Part I
• Set Theory and Nominalization, Part II
• The Universal Field of Fractions of a Semifir I. Numerators and Denominators
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The system \({\mathcal F}\) of variable types, fifteen years later
• Universal algebra in higher types

Cited in

(13)

• Rensets and renaming-based recursion for syntax with bindings
• Substitution in non-wellfounded syntax with variable binding
• A formalized general theory of syntax with bindings
• scientific article; zbMATH DE number 3920432 (Why is no real title available?)
• Variable binding operators in transition system specifications
• A formalized general theory of syntax with bindings: extended version
• Capture-avoiding substitution as a nominal algebra
• Term-Generic Logic
• A process calculus with finitary comprehended terms
• An alternative formulation of operational conservativity with binding terms.
• Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables
• Rensets and renaming-based recursion for syntax with bindings extended version
• Term-generic logic

This page was built for publication: An algebraic generalization of Frege structures -- binding algebras

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