scientific article; zbMATH DE number 5606348

MaRDI QIDQ3397633zbMATHFDO

Authors Itay Neeman, Yuri Gurevich

Publication date 22 September 2009

zbMATH Keywords

infon logic

Mathematics Subject Classification ID

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

Recommendations

• The logic of information structures
• scientific article; zbMATH DE number 700092
• scientific article; zbMATH DE number 1302505
• scientific article; zbMATH DE number 49692
• scientific article; zbMATH DE number 481632
• scientific article; zbMATH DE number 5542889
• Logic of infons, the propositional case
• scientific article; zbMATH DE number 603763

Cited in

(12)

• Abstract Hilbertian deductive systems, infon logic, and Datalog
• Tracking evidence
• Transitive primal infon logic
• From primal infon logic with individual variables to Datalog
• DKAL and Z3: a logic embedding experiment
• Strict canonical constructive systems
• Basic primal infon logic
• The Logic of Information
• scientific article; zbMATH DE number 5060081 (Why is no real title available?)
• Basic Constructive Connectives, Determinism and Matrix-Based Semantics
• Logic of infons, the propositional case
• Hilbertian deductive systems, infon logic, and Datalog

Describes a project that uses

Uses Software

• DKAL

This page was built for publication:

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