Propositional sequence-calculi for inconsistent systems

DOI10.1305/ndjfl/1093893524zbMath0184.00702OpenAlexW2089552973MaRDI QIDQ2535669

Andres R. Raggio

Publication date: 1968

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093893524

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Efficient reasoning with inconsistent information using C-systems, Paraconsistent informational logic, Proof theory of Nelson's paraconsistent logic: a uniform perspective, Analytical tableaux for da Costa's hierarchy of paraconsistent logics C_n, 1≤n<ω, Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework, A non-deterministic view on non-classical negations