scientific article
From MaRDI portal
Publication:3028982
zbMath0626.03017MaRDI QIDQ3028982
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
paraconsistent logicvaluation semanticsC-omegaintuitionistic implicative logicsubcalculi of the classical calculus
Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (10)
Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic ⋮ Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ On the Propagation of Consistency in Some Systems of Paraconsistent Logic ⋮ Inferential Semantics, Paraconsistency, and Preservation of Evidence ⋮ Limits for paraconsistent calculi ⋮ An epistemic approach to paraconsistency: a logic of evidence and truth ⋮ Valuation semantics for first-order logics of evidence and truth ⋮ First-order logics of evidence and truth with constant and variable domains ⋮ On the system CB1 and a lattice of the paraconsistent calculi ⋮ An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
This page was built for publication:
