30% off all books with the code: BOOKS
  • check 10+ million books
  • check New arrivals every day
  • check Trusted by 1M+ customers
  • check Great prices & discounts
  • check Shipping across Europe

Term Algebra: Universal Algebra, Mathematical Logic, Algebraic Structure, Binary Relation, Free Magma, Semantics, Abstract Data Type -

English
2026-03-06
€127.50 €182.14

-30% with code BOOKS

In stock at our supplier

Shipping in 15-21 days

30-day return policy

High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! In universal algebra and mathematical logic, a term algebra or Herbrand universe is a freely generated algebraic structure. For example, in a signature consisting of a single binary relation, the term algebra over a set X of variables is exactly the free magma generated by X. Term algebras play a role in the semantics of ... Full description

You May Also Like

Description

High Quality Content by WIKIPEDIA articles! High Quality Content by WIKIPEDIA articles! In universal algebra and mathematical logic, a term algebra or Herbrand universe is a freely generated algebraic structure. For example, in a signature consisting of a single binary relation, the term algebra over a set X of variables is exactly the free magma generated by X. Term algebras play a role in the semantics of abstract data types, where an abstract data type declaration provides the signature of a multi-sorted algebraic structure and the term algebra is a concrete model of the abstract declaration. The Herbrand base is analogous to the Herbrand universe, but consists of formulas. It is the set of all ground atoms.

More Information

Publisher OmniScriptum
Release year 2026
Cover type Softcover
EAN 9786131154003
Write Your Own Review
You're reviewing: Term Algebra: Universal Algebra, Mathematical Logic, Algebraic Structure, Binary Relation, Free Magma, Semantics, Abstract Data Type
Your Rating:

Goodreads Reviews

€127.50 €182.14