On the theory of inconsistent formal systems.
Notre Dame Journal of Formal LogicPublished 1 October 1974Open access
Newton C. A. da Costa
Citations728
SJR quartileQ2
SJR score0.49
SNIP0.74
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
1. Meinong's theory is discussed, for example, by Russell (cf.[21] and the articles by Meinong, Ameseder and Mally cited there).One of the objections formulated by Russell against Meinong's theory is precisely that it implies a derogation of the principle of contradiction.
Keywords
Computer Science
Notre Dame Journal of Formal LogicPropositional sequence-calculi for inconsistent systems.
24 Citations1968Andrés Raggio
A hierarchy of propositional calculi Cn(l ^ n ^ ω) whose decidability has not been settled yet is built, and a new hierarchy of decidable calculi with the same essential properties of the Cw are constructed.
Nagoya Mathematical JournalSur Le Schéma de la Séparation
16 Citations1970Ayda I. Arruda, Newton C. A. da Costa