Archivio istituzionale della ricerca dell'Università degli Studi di Palermo
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, pubblicazioni, progetti, attività) adottato dall’Università di Palermo, e ha lo scopo di raccogliere, conservare, documentare, e diffondere ad accesso aperto le informazioni relative alla produzione scientifica degli autori afferenti all’Ateneo.
EnglishThis 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:
http://hdl.handle.net/10447/104053
Copyright © 2020