Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle.
- Autori: Trillas, E; Garcia Honrado, I; Termini, S
- Anno di pubblicazione: 2014
- Tipologia: Articolo in rivista (Articolo in rivista)
- Parole Chiave: conjectures; consequences; Excluded-Middle; Non-Contradiction; refutations;
- OA Link: http://hdl.handle.net/10447/104053
Abstract
This short paper just considers the possibility of a new view for posing and proving the 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.