The following pages link to Logic of infons (Q2946626):
Displaying 15 items.
- Abstract Hilbertian deductive systems, infon logic, and Datalog (Q393078) (← links)
- An informational view of classical logic (Q897935) (← 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)
- Basic primal infon logic (Q2804323) (← links)
- (Q2973406) (← links)
- Kripke Semantics for Basic Sequent Systems (Q3010359) (← links)
- (Q3397633) (← links)
- (Q4250053) (← links)
- A compositional typed higher-order logic with definitions (Q5240216) (← links)
- The Complexity of Disjunction in Intuitionistic Logic (Q5283439) (← links)
- Propositional primal logic with disjunction (Q5406129) (← links)
- (Q5490623) (← links)