A Complete Logical System for the Equality of Recursive Terms for Sets

DOI10.1007/978-3-642-29485-3_12zbMath1354.03059OpenAlexW192226592MaRDI QIDQ2897952

Glen Whitney, Erik Wennstrom, Lawrence S. Moss

Publication date: 16 July 2012

Published in: Logic and Program Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29485-3_12

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (2)

A complete logic for behavioural equivalence in coalgebras of finitary set functors ⋮ A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors

This page was built for publication: A Complete Logical System for the Equality of Recursive Terms for Sets