AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users 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
links / mardi / namelinks / mardi / name
 

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
    0 references
    13 August 2010
    0 references
    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