Coherent logic
= Coherent logic
Coherent logic uses atomic formulas and equality, finite <logical conjunctions> and <logical disjunctions>, truth, falsity and <existential quantification>. Sequents are universally interpreted in a finite variable context. Its categorical semantics is provided by <coherent categories>, where conjunction is intersection, disjunction is finite union and existential quantification is image.