Pages that link to "Item:Q1853457"
From MaRDI portal
The following pages link to Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457):
Displaying 12 items.
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) (← links)
- Tableaux and dual tableaux: transformation of proofs (Q995673) (← links)
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. (Q1005938) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Quantifier-free logic for nondeterministic theories (Q2369014) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
- Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism (Q3392939) (← links)
- Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility (Q3643154) (← links)
- An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning (Q3643171) (← links)
- Quantifier-free logic for multialgebraic theories (Q4924535) (← links)