Skip to content
conftrace_

intuitionistic logic

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

kripke semantics (2) substructural logic (1) counterexample generation (1) trial-and-error learning (1) tactic prediction (1) intuitionistic propositional logic (1) minimal model generation (1) countermodel generation (1) layered graph (1) minimal model (1)

Papers

Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving ACL 2024 An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic IJCAI 2019 Intuitionistic Layered Graph Logic IJCAI 2017