Satisfaction classes via cut elimination

DOI10.1007/978-3-662-58771-3_12OpenAlexW2912000131MaRDI QIDQ2284183FDOQ2284183

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

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

Mathematics Subject Classification ID

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

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)