Paraconsistent arithmetic with a local consistency operator and global selfreference

MaRDI QIDQ2863910zbMATH OpenFDO

Authors Paolo Gentilini

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066107000473?np=y

zbMATH Keywords

local and global self-referenceparaconsistent arithmeticprovability logicweakened Hilbert's program

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• scientific article; zbMATH DE number 1304099
• Consistency and decidability in some paraconsistent arithmetics
• A consistent semantics of self-adjusting computation
• A Consistent Semantics of Self-adjusting Computation
• Local consistency of arithmetic with an attainability predicate
• Reverse exchange for concurrency and local reasoning
• Towards an arithmetic theory of consistency enforcement based on preservation of -constraints
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus

Cited in

(1)

• Proof theory and mathematical meaning of paraconsistent C-systems

This page was built for publication: Paraconsistent arithmetic with a local consistency operator and global selfreference

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