Learning algorithms versus automatability of Frege systems
We connect learning algorithms and algorithms automating proof search in propositional proof systems: for every sufficiently strong, well-behaved propositional proof system P, we prove that the following statements are equivalent,<br> - Provable learning. P proves efficiently that p-size circu...
প্রধান লেখক: | Pich, J, Santhanam, R |
---|---|
বিন্যাস: | Conference item |
ভাষা: | English |
প্রকাশিত: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2022
|
অনুরূপ উপাদানগুলি
অনুরূপ উপাদানগুলি
-
Frege systems for quantified Boolean logic
অনুযায়ী: Beyersdorff, O, অন্যান্য
প্রকাশিত: (2020) -
Frege's Choice
অনুযায়ী: Junyeol Kim
প্রকাশিত: (2021-05-01) -
Frege’s Bedeutung
অনুযায়ী: Jonas Dagys
প্রকাশিত: (2020-04-01) -
Frege's paradox.
অনুযায়ী: Mendelsohn, Richard Lloyd, অন্যান্য
প্রকাশিত: (2009) -
Frege’s Conceptions of Elucidation
অনুযায়ী: Wim Vanrie
প্রকাশিত: (2024-12-01)