scientific article

From MaRDI portal

Publication:4011732

Jump to:navigation, search

zbMath0746.03056MaRDI QIDQ4011732

Antonino Salibra

Publication date: 27 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

representation semantics logical operation syntax semantic domain semantic algebra algebraization of logic algebras of extended formulas algebras with quantifiers interpretation of a logic language semantic quantifier semantic set algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Abstract model theory (03C95)

Related Items (5)

The abstract variable-binding calculus ⋮ Finitary polyadic algebras from cylindric algebras ⋮ Lambda abstraction algebras: representation theorems ⋮ A finite equational axiomatization of the functional algebras for the lambda calculus ⋮ On the algebraic models of lambda calculus

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4011732&oldid=17714493"