scientific article; zbMATH DE number 2019851

MaRDI QIDQ4440546zbMATH OpenFDO

Authors José Martínez Fernández

Publication date 4 January 2004

zbMATH Keywords

clones of functionsKripkean fixed-pointstipulation logictruth predicatetruth-functional schemes

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other nonclassical logic (03B60) Operations and polynomials in algebraic structures, primal algebras (08A40)

Recommendations

• Maximal three-valued clones with the Gupta-Belnap fixed point property
• Remarks on the Gupta-Belnap fixed-point property for \(k\)-valued clones
• On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set
• Comparing fixed-point and revision theories of truth
• A fixed point theorem for the weak Kleene valuation scheme

Cited in

(4)

• Properties of the quasilinear clones containing creative functions
• Maximal three-valued clones with the Gupta-Belnap fixed point property
• On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set
• Remarks on the Gupta-Belnap fixed-point property for \(k\)-valued clones

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4440546)