Syntactical truth predicates for formulas with atomic negation

DOI10.1017/S0960129501003449MaRDI QIDQ4331078zbMATH OpenFDO

Authors Loïc Colson

Publication date 2002

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129501003449

zbMATH Keywords

implicational languagesecond-order arithmeticsyntactical truth predicate

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Syntactical truth predicates for second order arithmetic
• Some notes on truths and comprehension
• A syntactic embedding of predicate logic into second-order propositional logic
• Second-order arithmetic \textit{sans} sets
• Arithmetic with satisfaction

Cited in

(2)

• Syntactical truth predicates for second order arithmetic
• Second-order arithmetic \textit{sans} sets

This page was built for publication: Syntactical truth predicates for formulas with atomic negation

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