Add to ORKGThis paper proposes the axiomatic theory of truth with the truth operator. The truth operator is included in language of this theory that permits iteration of such operator
The paper deals with several problems concerning with notion of truth. The author is interested in l...
In this thesis, we adapt several prominent methods to state consistent axiomatic theories of (type-f...
In this paprer a class of so called mathematically acceptable (shortly MA) languages is introduced F...
Fully interpreted languages whose interpretations conform to classical logic have fully interpreted ...
Languages which conform to classical logic have extensions for which a consistent theory of truth ca...
In contemporary formal theory of truth, model-theoretic and non-classical approaches have been domin...
We define an applicative theory of truth TPT which proves totality exactly for the polynomial time c...
We axiomatize Leitgeb’s (2005) theory of truth and show that this theory proves all arithmetical sen...
Definition (Language of truth) We work in LT the language of Peano Arithmetic augmented with an addi...
This paper is an investigation in the use of truthmaker theory for exploring the relation of logic t...
A theory of truth is introduced for a countable model of ZF set theory. It is free from infinite reg...
In this paper we study several translations that map models and formulae of the language of second-o...
We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic c...
We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic c...
Philosophical enquiry on the notion of truth has traditionally involved the identification of a cla...
The paper deals with several problems concerning with notion of truth. The author is interested in l...
In this thesis, we adapt several prominent methods to state consistent axiomatic theories of (type-f...
In this paprer a class of so called mathematically acceptable (shortly MA) languages is introduced F...
Fully interpreted languages whose interpretations conform to classical logic have fully interpreted ...
Languages which conform to classical logic have extensions for which a consistent theory of truth ca...
In contemporary formal theory of truth, model-theoretic and non-classical approaches have been domin...
We define an applicative theory of truth TPT which proves totality exactly for the polynomial time c...
We axiomatize Leitgeb’s (2005) theory of truth and show that this theory proves all arithmetical sen...
Definition (Language of truth) We work in LT the language of Peano Arithmetic augmented with an addi...
This paper is an investigation in the use of truthmaker theory for exploring the relation of logic t...
A theory of truth is introduced for a countable model of ZF set theory. It is free from infinite reg...
In this paper we study several translations that map models and formulae of the language of second-o...
We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic c...
We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic c...
Philosophical enquiry on the notion of truth has traditionally involved the identification of a cla...
The paper deals with several problems concerning with notion of truth. The author is interested in l...
In this thesis, we adapt several prominent methods to state consistent axiomatic theories of (type-f...
In this paprer a class of so called mathematically acceptable (shortly MA) languages is introduced F...