Logical harmony

Logical harmony, a name coined by Michael Dummett, is a property on the rules of inference that a given logical system can satisfy.

This page is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.