For _ordinary_ two‑valued classical propositional logic, e.g., YAML, they are co...

		Q6T46nT668w6i3m 11 months ago \| parent \| context \| favorite \| on: YAML: The Norway Problem (2022) For _ordinary_ two‑valued classical propositional logic, e.g., YAML, they are congruent.