Pages that link to "Item:Q2963910"
From MaRDI portal
The following pages link to Primal Infon Logic: Derivability in Polynomial Time (Q2963910):
Displaying 6 items.
- Abstract Hilbertian deductive systems, infon logic, and Datalog (Q393078) (← links)
- Basic primal infon logic (Q2804323) (← links)
- Logic of infons (Q2946626) (← links)
- On the Complexity of Linear Authorization Logics (Q2986827) (← links)
- The Complexity of Disjunction in Intuitionistic Logic (Q5283439) (← links)
- Propositional primal logic with disjunction (Q5406129) (← links)