The following pages link to (Q3028982):
Displaying 17 items.
- Limits for paraconsistent calculi (Q701299) (← links)
- A semantical investigation on Brouwer-Zadeh logic (Q1181477) (← links)
- An epistemic approach to paraconsistency: a logic of evidence and truth (Q2053983) (← links)
- Valuation semantics for first-order logics of evidence and truth (Q2079711) (← links)
- First-order logics of evidence and truth with constant and variable domains (Q2084569) (← links)
- An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\) (Q2118976) (← links)
- Theory of valuation (Q2735686) (← links)
- A Semantics for Propositions as Sessions (Q2802455) (← links)
- On the Propagation of Consistency in Some Systems of Paraconsistent Logic (Q3295789) (← links)
- Inferential Semantics, Paraconsistency, and Preservation of Evidence (Q3305663) (← links)
- A Schemata Calculus for Propositional Logic (Q3648719) (← links)
- A Couple of Novelties in the Propositional Calculus (Q3676116) (← links)
- On the system CB1 and a lattice of the paraconsistent calculi (Q5006825) (← links)
- Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic (Q6067099) (← links)
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287) (← links)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth (Q6562366) (← links)
- Valuation semantics for some systems of non-normal modal logic (Q6623953) (← links)
