6533b85cfe1ef96bd12bcc1f
RESEARCH PRODUCT
Some algebraic clues towards a syntactic view on the Principles of Non-Contradiction and Excluded-Middle.
Enric TrillasSettimo TerminiItziar García-honradosubject
Pure mathematicsSettore INF/01 - InformaticaLaw of excluded middlemedia_common.quotation_subjectShort paperComputer Science ApplicationsTheoretical Computer ScienceControl and Systems EngineeringNon-Contradiction Excluded-Middle Consequences Refutations ConjecturesModeling and SimulationCalculusFalsifiabilityContradictionAlgebraic numberInformation SystemsMathematicsmedia_commondescription
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.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2014-01-17 |