Axiomatizing the quote

DOI10.4230/LIPICS.CSL.2011.458MaRDI QIDQ2915703zbMATH OpenOpenAlexFDO

Authors Andrew Polonsky

Publication date 18 September 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_927a.html

zbMATH Keywords

combinatory logicenumeratorlambda calculusquote operator

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Axiomatizing Kripke's theory of truth
• The ubiquitous axiom
• Axiomatising questions
• Explaining axiom pinpointing
• Axiomatic thinking I
• Axioms in Frege
• Quine and logical truth
• An axiomatic approach to self-referential truth
• Axiomatic theories of truth

Cited in

(7)

• Logic in quotes
• Fixed points in lambda calculus. an eccentric survey of problems and solutions
• Incorporating quotation and evaluation into Church's type theory
• Incorporating quotation and evaluation into Church's type theory: syntax and semantics
• Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
• On sets of terms having a given intersection type
• scientific article; zbMATH DE number 7204439 (Why is no real title available?)

This page was built for publication: Axiomatizing the quote

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915703)