Pages that link to "Item:Q2543322"
From MaRDI portal
The following pages link to The inverse method for establishing deducibility for logical calculi (Q2543322):
Displayed 8 items.
- Maslov's inverse method and decidable classes (Q583187) (← links)
- Resolution calculus for the first order linear logic (Q1314284) (← links)
- Theorem prover for intuitionistic logic based on the inverse method (Q2216868) (← links)
- Extension of the inverse method to the predicate calculus with equality (Q2560052) (← links)
- Automatic theorem proving. II (Q3793764) (← links)
- Using resolution for deciding solvable classes and building finite models (Q4560350) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Two decidable classes of formulas of the modal logic S5 (Q5930988) (← links)