The abstract variable-binding calculus

DOI10.1007/BF01053036zbMath0836.03038MaRDI QIDQ1896759

Antonino Salibra, Don Pigozzi

Publication date: 2 May 1996

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

completeness theoremfunctional representationequational theoryabstract variable binding calculusvariety of polyadic VB-algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (8)

Partial algebras, meaning categories and algebraization ⋮ A Mathematical Life ⋮ Presenting functors on many-sorted varieties and applications ⋮ Lambda abstraction algebras: representation theorems ⋮ Using Hoare Logic in a Process Algebra Setting ⋮ Towards Lambda Calculus Order-Incompleteness ⋮ A finite equational axiomatization of the functional algebras for the lambda calculus ⋮ On the algebraic models of lambda calculus

Cites Work

• A representation theorem for polyadic Heyting algebras
• Lambda abstraction algebras: representation theorems
• An algebraic approach to non-classical logics
• On a generalized cylindrical algebra and intuitionistic logic
• Algebraizable logics
• Lambda‐Calculus Models and Extensionality
• Polyadic MV-Algebras
• Algebraic Semantics for Modal Predicate Logic
• Some model theory for monotone quantifiers
• What is a model of the lambda calculus?
• Logic with the quantifier “there exist uncountably many”
• Cylindric Algebras and Algebras of Substitutions
• Proofs of non-deducibility in intuitionistic functional calculus
• An algebraic characterization of quantifiers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The abstract variable-binding calculus