The abstract variable-binding calculus
type: Item
instance of: scholarly article
title: The abstract variable-binding calculus
zbMATH Open document ID: 0836.03038
DOI: 10.1007/BF01053036
author: Antonino Salibra
author: Don Pigozzi
published in: Studia Logica
publication date: 1996-05-02T00:00:00Z
Mathematics Subject Classification ID: 03G15
zbMATH DE Number: 795270
zbMATH Keywords: abstract variable binding calculus
zbMATH Keywords: equational theory
zbMATH Keywords: variety of polyadic VB-algebras
zbMATH Keywords: functional representation
zbMATH Keywords: completeness theorem
MaRDI profile type: Publication
cites work: Q3728878
cites work: Algebraizable logics
cites work: Q4260394
cites work: Algebraic Semantics for Modal Predicate Logic
cites work: Q3893928
cites work: Q4180350
cites work: A representation theorem for polyadic Heyting algebras
cites work: Q3259695
cites work: Q3282928
cites work: An algebraic characterization of quantifiers
cites work: Q5616133
cites work: Lambda‐Calculus Models and Extensionality
cites work: Logic with the quantifier “there exist uncountably many”
cites work: On a generalized cylindrical algebra and intuitionistic logic
cites work: What is a model of the lambda calculus?
cites work: Proofs of non-deducibility in intuitionistic functional calculus
cites work: Some model theory for monotone quantifiers
cites work: Cylindric Algebras and Algebras of Substitutions
cites work: Q4260390
cites work: Lambda abstraction algebras: representation theorems
cites work: An algebraic approach to non-classical logics
cites work: Q5734410
cites work: Q4011732
cites work: Polyadic MV-Algebras
Recommended article: Q4536403
Recommended article: A new approach to abstract syntax with variable binding
Recommended article: Q2767057
Recommended article: A lambda-calculus for dynamic binding
Recommended article: Pseudo-distributive laws and axiomatics for variable binding
Recommended article: Calculus of equivalences of abstract programs
Recommended article: A conservative look at operational semantics with variable binding
Recommended article: Q3204053
Recommended article: Variable binding operators in transition system specifications
Recommended article: Full abstraction for polymorphic \(\pi \)-calculus
description: scientific article; zbMATH DE number 795270