Switch to: References

Add citations

You must login to add citations.
  1. Truths, Inductive Definitions, and Kripke-Platek Systems Over Set Theory.Kentaro Fujimoto - 2018 - Journal of Symbolic Logic 83 (3):868-898.
    In this article we study the systems KF and VF of truth over set theory as well as related systems and compare them with the corresponding systems over arithmetic.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Classical Determinate Truth I.Kentaro Fujimoto & Volker Halbach - 2024 - Journal of Symbolic Logic 89 (1):218-261.
    We introduce and analyze a new axiomatic theory$\mathsf {CD}$of truth. The primitive truth predicate can be applied to sentences containing the truth predicate. The theory is thoroughly classical in the sense that$\mathsf {CD}$is not only formulated in classical logic, but that the axiomatized notion of truth itself is classical: The truth predicate commutes with all quantifiers and connectives, and thus the theory proves that there are no truth value gaps or gluts. To avoid inconsistency, the instances of the T-schema are (...)
    Download  
     
    Export citation  
     
    Bookmark