نتایج جستجو برای: c s peirce
تعداد نتایج: 1622258 فیلتر نتایج به سال:
Journal:
:SSRN Electronic Journal
2017
Journal:
:Ann. Pure Appl. Logic
2012
Martín Hötzel Escardó
Paulo Oliva
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of minimal logic plus Peirce’s law into minimal logic, which we refer to as the Peirce translation, as it eliminates uses of Peirce’s law. When combined with modified realizability this translation applies to full classical...
Journal:
:Theoría. Revista del Colegio de Filosofía
2018
Journal:
:Journal of Inequalities and Applications
2014
Journal:
:Acta Crystallographica Section A Foundations and Advances
2017
Journal:
:Principia: an international journal of epistemology
2012
Journal:
:Ámbitos. Revista Internacional de Comunicación
2019
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید