#LOG‑CAL – Core Logic Calculus

Pattern C.6 · Draft Part C - Kernel Extension Specifications

#Keywords

• logic
• inference
• proof
• modal logic
• trust operators
• reasoning.

#Relations