The following pages link to (Q4281258):
Displaying 12 items.
- Gentzen-type systems, resolution and tableaux (Q1311413) (← links)
- Resolution calculus for the first order linear logic (Q1314284) (← links)
- A Gentzen system for conditional logic (Q1327484) (← links)
- Labelled resolution for classical and non-classical logics (Q1372359) (← links)
- Modification of the Robinson's resolution method for built-in predicates (Q1382912) (← links)
- On temporal logic S4Dbr (Q2471628) (← links)
- The resolution method for one reducible class of formulas of the first-order modal logic S4. (Q2487862) (← links)
- Gentzen-like systems for partial propositional calculi. I. II (Q2534156) (← links)
- Decidability of the Class E by Maslov’s Inverse Method (Q3586019) (← links)
- Gentzen-type systems and resolution rules. I: Propositional logic (Q3972527) (← links)
- Three faces of natural deduction (Q4610312) (← links)
- Complexity of translations from resolution to sequent calculus (Q5236549) (← links)