Logical frameworks for truth and abstraction. An axiomatic study (Q1920240)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Logical frameworks for truth and abstraction. An axiomatic study
scientific article

    Statements

    Logical frameworks for truth and abstraction. An axiomatic study (English)
    0 references
    0 references
    22 August 1996
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    logical systems
    0 references
    type-free abstraction
    0 references
    self-referential truth
    0 references
    combinatory logic
    0 references
    type-free systems
    0 references
    self-application
    0 references
    property theory
    0 references
    formal semantics
    0 references
    classical topics
    0 references
    inductive definitions
    0 references
    predicative mathematics
    0 references
    applications
    0 references