Logic of infons, the propositional case

DOI10.1145/1877714.1877715MaRDI QIDQ2946626zbMATH OpenOpenAlexWikidataFDO

Authors Itay Neeman, Yuri Gurevich

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

zbMATH Keywords

access controlcomplexityderivation probleminfoninfon logicintuitionistic logiclinear time

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 5606348
• From primal infon logic with individual variables to Datalog
• Primal Infon Logic: Derivability in Polynomial Time
• Transitive primal infon logic
• Hilbertian deductive systems, infon logic, and Datalog

Cited in

(23)

• 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
• Basic primal infon logic
• From primal infon logic with individual variables to Datalog
• scientific article; zbMATH DE number 6699702 (Why is no real title available?)
• Kripke Semantics for Basic Sequent Systems
• Primal infon logic with conjunctions as sets
• scientific article; zbMATH DE number 5606348 (Why is no real title available?)
• DKAL and Z3: a logic embedding experiment
• Abstract Hilbertian deductive systems, infon logic, and Datalog
• scientific article; zbMATH DE number 1303443 (Why is no real title available?)
• Hilbertian deductive systems, infon logic, and Datalog
• Transitive primal infon logic
• Primal implication as encryption
• A compositional typed higher-order logic with definitions
• The complexity of disjunction in intuitionistic logic
• Propositional primal logic with disjunction
• scientific article; zbMATH DE number 5060081 (Why is no real title available?)
• Executable first-order queries in the logic of information flows
• Primal logic of information
• An informational view of classical logic

Describes a project that uses

Uses Software

• DKAL

This page was built for publication: Logic of infons, the propositional case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946626)