Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 20 results in range #1 to #20.
- Incremental theory reasoning methods for semantic tableaux: Label: en
- Cyclic connections: Label: en
- Combining many-valued and intuitionistic tableaux: Label: en
- Almost duplication-free tableau calculi for prepositional lax logics: Label: en
- Interpolation for a sequent calculus of generalized quantifiers: Label: en
- Fibred tableaux for multi-implication logics: Label: en
- On sets, types, fixed points, and checkerboards: Label: en
- Proof-search in intuitionistic logic based on constraint satisfaction: Label: en
- On the intuitionistic force of classical search (Extended abstract): Label: en
- A tableau calculus for minimal model reasoning: Label: en
- A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits: Label: en
- T-string unification: Unifying prefixes in non-classical proof methods: Label: en
- Strong normalization for all-style LKtq: Label: en
- Efficient loop-check for backward proof search in some non-classical propositional logics: Label: en
- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison: Label: en
- A simple tableau system for the logic of elsewhere: Label: en
- Distributed modal theorem proving with KE: Label: en
- Minimal model generation with positive unit hyper-resolution tableaux: Label: en
- Sequent calculi for default and autoepistemic logics: Label: en
- The disconnection method: Label: en
