6533b824fe1ef96bd1281374
RESEARCH PRODUCT
The Gupta-Belnap Fixed-Point Problem and the Theory of Clones of Functions
José Martínez Fernándezsubject
Discrete mathematicsStipulationTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESFixed point problemInterpreted languageTruth predicateMathematicsdescription
This paper presents the Gupta-Belnap Fixed-Point problem: to characterize the truth-functional schemes of the first-order logic such that, for every interpreted language L, a truth predicate for L can be defined in L using a Kripkean fixed-point. A propositional version of the problem is defined using the stipulation logic of A. Visser and then the strategy adopted for the solution to the three-valued case is presented, using the theory of clones of functions.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2003-01-01 |