The complexity of disjunction in intuitionistic logic
DOI10.1007/978-3-319-27683-0_24zbMATH Open1476.03004OpenAlexW2401823700MaRDI QIDQ5283439FDOQ5283439
Author name not available (Why is that?)
Publication date: 21 July 2017
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-27683-0_24
Recommendations
- The complexity of disjunction in intuitionistic logic
- On the complexity of the disjunction property in intuitionistic and modal logics
- Complexity of intuitionistic propositional logic and its fragments
- Intuitionistic implication without disjunction
- Computations in fragments of intuitionistic propositional logic
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- Automatic recognition of tractability in inference relations
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
- Logic of infons
- On the security of public key protocols
- Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
- Verification: Theory and Practice
- A dexptime-Complete Dolev-Yao Theory with Distributive Encryption
- Hypersequent calculi for intuitionistic logic with classical atoms
- The complexity of primal logic with disjunction
- Propositional primal logic with disjunction
- Primal Infon Logic: Derivability in Polynomial Time
Cited In (8)
- On the complexity of data disjunctions.
- The complexity of disjunction in intuitionistic logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Disjunction property and complexity of substructural logics
- The logic of multisets continued: The case of disjunction
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
This page was built for publication: The complexity of disjunction in intuitionistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283439)
