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.
Trillas, E., Garcia Honrado, I., & Termini, S. (2014). Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 43(2), 162-171.
Data di pubblicazione: | 2014 |
Titolo: | Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle. |
Autori: | |
Citazione: | Trillas, E., Garcia Honrado, I., & Termini, S. (2014). Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 43(2), 162-171. |
Rivista: | |
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. |
URL: | http://www.tandfonline.com/doi/full/10.1080/03081079.2014.880223#.VLGm4E1d5jo |
Settore Scientifico Disciplinare: | Settore INF/01 - Informatica |
Appare nelle tipologie: | 1.01 Articolo in rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.