Non-well-founded Proof Theory of Transitive Closure Logic (Q5121282): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 13:50, 8 February 2024

scientific article; zbMATH DE number 7246560
Language Label Description Also known as
English
Non-well-founded Proof Theory of Transitive Closure Logic
scientific article; zbMATH DE number 7246560

    Statements

    Non-well-founded Proof Theory of Transitive Closure Logic (English)
    0 references
    0 references
    0 references
    11 September 2020
    0 references
    Henkin semantics
    0 references
    induction
    0 references
    completeness
    0 references
    cyclic proof systems
    0 references
    infinitary proof systems
    0 references
    soundness
    0 references
    standard semantics
    0 references
    transitive closure
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references