What are acceptable reductions?

DOI10.26686/AJL.V20I3.7692arXiv2310.15446MaRDI QIDQ6058203

Sara Ayhan

Publication date: 31 October 2023

Published in: The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2310.15446

zbMATH Keywords

sensereductionsproof-theoretic semanticsCurry-Howardidentity of proofs

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

On the logic of reducibility: Axioms and examples

This page was built for publication: What are acceptable reductions?