Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle
Enric Trillas, Itziar García-Honrado, S. Termini · International Journal of General Systems · 2014
This short paper just considers the possibility of a new view for posing and proving Aristotle’s Principles of Non-Contradiction and Excluded-Middle. It is done by means of their refutability, or deducibility, respectively, under Tarski’s Consequence Operators.