Pages that link to "Item:Q4272505"
From MaRDI portal
The following pages link to An <b><i>O</i>(<i>n</i> log <i>n</i>)</b>-Space Decision Procedure for Intuitionistic Propositional Logic (Q4272505):
Displaying 29 items.
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- Optimization techniques for propositional intuitionistic logic and their implementation (Q959821) (← links)
- An \(O(n \log n)\)-space decision procedure for the relevance logic \(B^+\) (Q1595921) (← links)
- Simultaneous rigid E-unification and other decision problems related to the Herbrand theorem (Q1960430) (← links)
- Sequent calculi for intuitionistic Gödel-Löb logic (Q1982008) (← links)
- The G4i analogue of a G3i sequent calculus (Q2106879) (← links)
- Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic (Q2119125) (← links)
- Eight inference rules for implication (Q2323641) (← links)
- Uniform interpolation and the existence of sequent calculi (Q2326416) (← links)
- Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models (Q2351164) (← links)
- A unified procedure for provability and counter-model generation in minimal implicational logic (Q2397231) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- Proof compression and NP versus PSPACE (Q2631644) (← links)
- Admissibility of structural rules for contraction-free systems of intuitionistic logic (Q2710593) (← links)
- <i>KALC</i>: a constructive semantics for <i>ALC</i> (Q2901214) (← links)
- An Evaluation-Driven Decision Procedure for G3i (Q2946756) (← links)
- A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Q3010367) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications (Q3647294) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
- Efficient loop-check for backward proof search in some non-classical propositional logics (Q4645239) (← links)
- Proof-search in intuitionistic logic based on constraint satisfaction (Q4645245) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- Proof Compression and NP Versus PSPACE II (Q5147748) (← links)
- Deciding intuitionistic propositional logic via translation into classical logic (Q5234697) (← links)
- Linear depth deduction with subformula property for intuitionistic epistemic logic (Q6156631) (← links)
- Improved decision procedures for the modal logics K, T and S4 (Q6560176) (← links)
- Proof theory for Lax Logic (Q6612814) (← links)
- On Dummett's pragmatist justification procedure (Q6652859) (← links)
