Liberalized variable splitting
From MaRDI portal
Publication:877894
DOI10.1007/S10817-006-9055-9zbMATH Open1121.03019OpenAlexW1988574992MaRDI QIDQ877894FDOQ877894
Authors: Roger Antonsen, Arild Waaler 
Publication date: 4 May 2007
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-006-9055-9
Recommendations
Cites Work
- Title not available (Why is that?)
- An improved proof procedure1
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A free variable sequent calculus with uniform variable splitting
- Title not available (Why is that?)
- Connections in nonclassical logics
- Tableaux and related methods
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automated Reasoning with Analytic Tableaux and Related Methods
- Title not available (Why is that?)
- Theorem Proving via General Matings
- Using meta-variables for natural deduction in \textit{Theorema}
- IeanCOP: lean connection-based theorem proving
- Title not available (Why is that?)
- Universal variables in disconnection tableaux
- Free-variable tableaux for propositional modal logics
Cited In (8)
- Title not available (Why is that?)
- From Schütte’s Formal Systems to Modern Automated Deduction
- Automated Reasoning with Analytic Tableaux and Related Methods
- Incremental variable splitting
- A free variable sequent calculus with uniform variable splitting
- A Non-clausal Connection Calculus
- A Labelled System for IPL with Variable Splitting
- nanoCoP: a non-clausal connection prover
Uses Software
This page was built for publication: Liberalized variable splitting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877894)
