Satisfaction classes via cut elimination

DOI10.1007/978-3-662-58771-3_12MaRDI QIDQ2284183zbMATH OpenOpenAlexFDO

Authors Cezary Cieśliński

Publication date 14 January 2020

Full work available at URL https://doi.org/10.1007/978-3-662-58771-3_12

Mathematics Subject Classification ID

General logic (03Bxx) Logic in artificial intelligence (68T27)

Recommendations

• A note on satisfaction classes
• A note on the variety of satisfaction classes
• scientific article; zbMATH DE number 1222926
• GAME APPROXIMATIONS OF SATISFACTION CLASSES MODELS
• A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth

Cited in

(2)

• Interpreting the compositional truth predicate in models of arithmetic
• Cut Admissibility by Saturation

This page was built for publication: Satisfaction classes via cut elimination

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