Pages that link to "Item:Q1181713"
From MaRDI portal
The following pages link to Computations in fragments of intuitionistic propositional logic (Q1181713):
Displaying 15 items.
- Free equivalential algebras (Q952484) (← links)
- Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480) (← links)
- Free algebras corresponding to multiplicative classical linear logic and some of its extensions (Q1924328) (← links)
- Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic (Q2119125) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- A fragment of intuitionistic dynamic logic (Q2730719) (← links)
- Intuitionistic implication without disjunction (Q2893316) (← links)
- Algebraic semantics for the (↔, ¬¬)-fragment of IPC (Q3117777) (← links)
- Diagram Construction in Intuitionistic Logic (Q3424136) (← links)
- Quantified propositional calculi and fragments of bounded arithmetic (Q3472099) (← links)
- A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus (Q4304150) (← links)
- Algebraic semantics for the ‐fragment of and its properties (Q5108101) (← links)
- A PSPACE-complete first-order fragment of computability logic (Q5410328) (← links)
- (Q5692811) (← links)
- Notes on my scientific life (Q6612807) (← links)
