Term context

DOI10.2478/FORMA-2014-0015MaRDI QIDQ502697zbMATH OpenOpenAlexFDO

Authors Grzegorz Bancerek

Publication date 6 January 2017

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://doi.org/10.2478/forma-2014-0015

zbMATH Keywords

contextendomorphismtranslationconstruction degree

Mathematics Subject Classification ID

Automorphisms and endomorphisms of algebraic structures (08A35) Mechanization of proofs and logical operations (03B35)

Recommendations

• Context rewriting
• Generalizing Substitution
• Consistency of the theory of contexts
• Free interpretation, quotient interpretation and substitution of a letter with a term for first-order languages
• scientific article; zbMATH DE number 7264173

Cites work

• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Constructing binary Huffman tree
• Free term algebras
• Semantics of MML query -- ordering
• Veblen hierarchy

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Term context

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