AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3912779 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3679172 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Notes on Formal Theories of Truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Toward useful type-free theories. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Reflecting on incompleteness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4893132 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4663833 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3527486 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The unfolding of non-finitist arithmetic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A revenge-immune solution to the semantic paradoxes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997237 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Axiomatizing Kripke's theory of truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Outline of a Theory of Truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On meaningfulness and truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4000317 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Handbook of philosophical logic. Vol. 6 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3751555 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some remarks on extending and interpreting theories with a partial predicate for truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A guide to truth predicates in the modern era / rank | |||
Normal rank |
Latest revision as of 02:37, 3 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | AXIOMS FOR DETERMINATENESS AND TRUTH |
scientific article |
Statements
AXIOMS FOR DETERMINATENESS AND TRUTH (English)
0 references
13 August 2010
0 references
formal theory of truth
0 references
Gödel numbers
0 references
full induction
0 references
strong compositionality
0 references
determinate meaningful sentences
0 references
Peano Arithmetic
0 references