About \({|}/{|}\)-quantifiers

DOI10.1023/A:1025750816098zbMath1160.18300OpenAlexW2911332952WikidataQ112120952 ScholiaQ112120952MaRDI QIDQ1410543

Matias Menni

Publication date: 14 October 2003

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1025750816098

zbMATH Keywords

quantifiersadjoint functorsvariable binding

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Definitions and generalizations in theory of categories (18A05)

Related Items (3)

Fresh logic: Proof-theory and semantics for FM and nominal techniques ⋮ Nominal Lawvere theories: a category theoretic account of equational theories with names ⋮ Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax

This page was built for publication: About \({|}/{|}\)-quantifiers