A logic for trial and error classifiers

DOI10.1007/S10849-015-9222-7zbMath1369.03107OpenAlexW883234180MaRDI QIDQ302216

Martin Kaså

Publication date: 4 July 2016

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-015-9222-7

zbMATH Keywords

completenessclassifiersexperimental logictrial and error

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cites Work

• Turing projectability
• Experimental logics and \(\Delta^0_2\)-theories
• Trial and error predicates and the solution to a problem of Mostowski

This page was built for publication: A logic for trial and error classifiers