Axiomatizing the quote
type: Item
instance of: scholarly article
zbMATH Open document ID: 1247.03022
author: Andrew Polonsky
publication date: 2012-09-18T00:00:00Z
full work available at URL: frontdoor 927a.html
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 6083557
zbMATH Keywords: lambda calculus
zbMATH Keywords: combinatory logic
zbMATH Keywords: quote operator
zbMATH Keywords: enumerator
MaRDI profile type: Publication
OpenAlex ID: W2241639549
DOI: 10.4230/LIPICS.CSL.2011.458
Recommended article: Axiomatizing Kripke's theory of truth
Recommended article: The ubiquitous axiom
Recommended article: Axiomatising questions
Recommended article: Explaining axiom pinpointing
Recommended article: Axiomatic Thinking I
Recommended article: Axioms in Frege
Recommended article: Quine and logical truth
Recommended article: An axiomatic approach to self-referential truth
Recommended article: Q3005147
title: Axiomatizing the quote
description: scientific article; zbMATH DE number 6083557