The following pages link to Logic of infons (Q2946626):
Displayed 8 items.
- Abstract Hilbertian deductive systems, infon logic, and Datalog (Q393078) (← links)
- Proof search and certificates for evidential transactions (Q2055859) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- The complexity of primal logic with disjunction (Q2339598) (← links)
- Kripke Semantics for Basic Sequent Systems (Q3010359) (← links)
- A compositional typed higher-order logic with definitions (Q5240216) (← links)
- The Complexity of Disjunction in Intuitionistic Logic (Q5283439) (← links)