Set Theory and Nominalization, Part II

DOI10.1093/logcom/2.6.687zbMath0803.03004OpenAlexW4248085491MaRDI QIDQ5286912

Fairouz Kamareddine

Publication date: 23 August 1993

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/2.6.687

zbMATH Keywords

type theoryFrege structurespredicationlogic and type freenessapplication of Scott domains to nominalization

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Semantics in the theory of computing (68Q55) Set theory (03E99)

Related Items (3)

A unified approach to type theory through a refined \(\lambda\)-calculus ⋮ A type free theory and collective/distributive predication ⋮ An algebraic generalization of Frege structures -- binding algebras

This page was built for publication: Set Theory and Nominalization, Part II