Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle.

Settimo Termini, García-Honrado, Trillas

Risultato della ricerca: Articlepeer review

4 Citazioni (Scopus)

Abstract

This short paper just considers the possibility of a new view for posing and proving theAristotle’s Principles of Non-Contradiction and Excluded-Middle. It is done by means oftheir refutability, or deducibility, respectively, under Tarski’s Consequence Operators.
Lingua originaleEnglish
pagine (da-a)162-171
Numero di pagine10
RivistaInternational Journal of General Systems
Volume43
Stato di pubblicazionePublished - 2014

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Theoretical Computer Science
  • Information Systems
  • Modelling and Simulation
  • Computer Science Applications

Fingerprint Entra nei temi di ricerca di 'Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle.'. Insieme formano una fingerprint unica.

Cita questo