Logic of infons
From MaRDI portal
Publication:2946626
DOI10.1145/1877714.1877715zbMath1328.03032OpenAlexW2159914860MaRDI 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
Logic in computer science (03B70) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
The Complexity of Disjunction in Intuitionistic Logic, Abstract Hilbertian deductive systems, infon logic, and Datalog, Proof theory for positive logic with weak negation, A compositional typed higher-order logic with definitions, Kripke Semantics for Basic Sequent Systems, Proof search and certificates for evidential transactions, Noninterference in a predicative polymorphic calculus for access control, The complexity of primal logic with disjunction
Uses Software