Satisfaction classes via cut elimination

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

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

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

Related Items (1)

Interpreting the compositional truth predicate in models of arithmetic

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