Logic of infons
From MaRDI portal
Publication:2946626
DOI10.1145/1877714.1877715zbMath1328.03032MaRDI QIDQ2946626
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1877714.1877715
complexity; infon logic; intuitionistic logic; linear time; access control; derivation problem; infon
03B70: Logic in computer science
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
The Complexity of Disjunction in Intuitionistic Logic, A compositional typed higher-order logic with definitions, Abstract Hilbertian deductive systems, infon logic, and Datalog, Proof search and certificates for evidential transactions, Proof theory for positive logic with weak negation, Noninterference in a predicative polymorphic calculus for access control, The complexity of primal logic with disjunction, Kripke Semantics for Basic Sequent Systems
Uses Software