SAT-based Proof Search in Intermediate Propositional Logics
Authors: Mauro Ferrari and Camillo Fiorentini
Paper Information
| Title: | SAT-based Proof Search in Intermediate Propositional Logics |
| Authors: | Mauro Ferrari and Camillo Fiorentini |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | proof-search, countermodel construction, propositional intermediate logics |
| Pages: | 17 |
| Talk: | Aug 08 16:00 (Session 98D: Preprocessing and Simplification) |
| Paper: |  |