Term context

DOI10.2478/FORMA-2014-0015zbMATH Open1352.08005OpenAlexW4246045306MaRDI QIDQ502697FDOQ502697

Authors: Grzegorz Bancerek 

Publication date: 6 January 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

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

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

zbMATH Keywords

contextendomorphismtranslationconstruction degree

Mathematics Subject Classification ID

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

Cites Work

• Semantics of MML query -- ordering
• Title not available (Why is that?)
• Free term algebras
• Veblen hierarchy
• Constructing binary Huffman tree

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)