Logique multivalente

Subject

Browse all works related to Logique multivalente.

"27" Result

Multiple-conclusion logic extends formal logic by allowing arguments to have a set of conclusions instead of a single one, the truth lying somewhere among the conclusions if all the premises are true. The extension opens up interesting possibilities based on the symmetry between…