This paper compares the roles classical and intuitionistic logic play in restricting the free use of truth principles in arithmetic. We consider fifteen of the most commonly used axiomatic principles of truth and classify every subset of them as either consistent or inconsistent over a weak purely intuitionistic theory of truth
Hannes Leitgeb formulated eight norms for theories of truth in his paper [5]: `What Theories of Trut...
This article informally presents a solution to the paradoxes of truth and shows how the solution sol...
This paper attempts to address the question what logical strength theories of truth have by consider...
This paper compares the roles classical and intuitionistic logic play in restricting the free use of...
Intuitionism’s disagreement with classical logic is standardly based on its specific understanding o...
We axiomatize Leitgeb’s (2005) theory of truth and show that this theory proves all arithmetical sen...
In this paper we analyse logic of false belief in the intuitionistic setting. This logic, studied in...
This article informally presents a solution to the paradoxes of truth and shows how the solution sol...
This book is a contribution to the flourishing field of formal and philosophical work on truth and t...
It is widely accepted that a theory of truth for arithmetic should be consistent, but ω-consistency ...
In this thesis, we adapt several prominent methods to state consistent axiomatic theories of (type-f...
Prawitz conjectured that the proof-theoretically valid logic is intuitionistic logic. Recent work on...
In contemporary formal theory of truth, model-theoretic and non-classical approaches have been domin...
We present three papers studying knowledge and its logic from an intuitionistic viewpoint. An Arithm...
Hannes Leitgeb formulated eight norms for theories of truth in his paper [5]: `What Theories of Trut...
This article informally presents a solution to the paradoxes of truth and shows how the solution sol...
This paper attempts to address the question what logical strength theories of truth have by consider...
This paper compares the roles classical and intuitionistic logic play in restricting the free use of...
Intuitionism’s disagreement with classical logic is standardly based on its specific understanding o...
We axiomatize Leitgeb’s (2005) theory of truth and show that this theory proves all arithmetical sen...
In this paper we analyse logic of false belief in the intuitionistic setting. This logic, studied in...
This article informally presents a solution to the paradoxes of truth and shows how the solution sol...
This book is a contribution to the flourishing field of formal and philosophical work on truth and t...
It is widely accepted that a theory of truth for arithmetic should be consistent, but ω-consistency ...
In this thesis, we adapt several prominent methods to state consistent axiomatic theories of (type-f...
Prawitz conjectured that the proof-theoretically valid logic is intuitionistic logic. Recent work on...
In contemporary formal theory of truth, model-theoretic and non-classical approaches have been domin...
We present three papers studying knowledge and its logic from an intuitionistic viewpoint. An Arithm...
Hannes Leitgeb formulated eight norms for theories of truth in his paper [5]: `What Theories of Trut...
This article informally presents a solution to the paradoxes of truth and shows how the solution sol...
This paper attempts to address the question what logical strength theories of truth have by consider...
DOI
Add to ORKG