Pages that link to "Item:Q1344882"
From MaRDI portal
The following pages link to The liberalized \(\delta\)-rule in free variable semantic tableaux (Q1344882):
Displaying 20 items.
- Incremental variable splitting (Q429591) (← links)
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps (Q429596) (← links)
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- First order Stålmarck. Universal lemmas through branch merges (Q1040785) (← links)
- A tableau prover for domain minimization (Q1344878) (← links)
- On the intuitionistic force of classical search (Q1575923) (← links)
- A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
- Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \) (Q2144618) (← links)
- Free-variable semantic tableaux for the logic of fuzzy inequalities (Q2364294) (← links)
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) (Q2577589) (← links)
- On the complexity of proof deskolemization (Q2892685) (← links)
- (Q3838814) (← links)
- (Q4503917) (← links)
- Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form (Q4558324) (← links)
- A framework for using knowledge in tableau proofs (Q4610337) (← links)
- Incremental theory reasoning methods for semantic tableaux (Q4645229) (← links)
- On the intuitionistic force of classical search (Extended abstract) (Q4645244) (← links)
- The tableau-based theorem prover 3 T A P Version 4.0 (Q4647529) (← links)
- Reasoning with preorders and dynamic sorts using free variable tableaux (Q6560387) (← links)
