scientific article; zbMATH DE number 4016868
From MaRDI portal
Publication:3028982
zbMATH Open0626.03017MaRDI QIDQ3028982FDOQ3028982
Recommendations
- scientific article; zbMATH DE number 1390272
- Some structure results for propositional calculi
- The classification of propositional calculi
- On a Method of Axiomatization of Some Propositional Calculi
- scientific article; zbMATH DE number 4035794
- scientific article; zbMATH DE number 3871313
- A Couple of Novelties in the Propositional Calculus
- scientific article; zbMATH DE number 4010498
- scientific article; zbMATH DE number 4055579
Cited in
(18)- Valuation semantics for some systems of non-normal modal logic
- Limits for paraconsistent calculi
- An epistemic approach to paraconsistency: a logic of evidence and truth
- On the system CB\(^1\) and a lattice of the paraconsistent calculi
- An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
- Theory of valuation
- First-order logics of evidence and truth with constant and variable domains
- Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
- Inferential semantics, paraconsistency, and preservation of evidence
- Valuation semantics for first-order logics of evidence and truth
- A Schemata Calculus for Propositional Logic
- A Couple of Novelties in the Propositional Calculus
- On the propagation of consistency in some systems of paraconsistent logic
- scientific article; zbMATH DE number 150214 (Why is no real title available?)
- A semantical investigation on Brouwer-Zadeh logic
- A Semantics for Propositions as Sessions
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3028982)
