scientific article; zbMATH DE number 4016868
From MaRDI portal
Publication:3028982
zbMATH Open0626.03017MaRDI QIDQ3028982FDOQ3028982
Authors: Andrea Loparic 
Publication date: 1986
Title of this publication is not available (Why is that?)
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
paraconsistent logicvaluation semanticsC-omegaintuitionistic implicative logicsubcalculi of the classical calculus
Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cited In (18)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
- A Schemata Calculus for Propositional Logic
- A semantical investigation on Brouwer-Zadeh logic
- Limits for paraconsistent calculi
- An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
- Theory of valuation
- Inferential semantics, paraconsistency, and preservation of evidence
- Title not available (Why is that?)
- Valuation semantics for some systems of non-normal modal logic
- Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
- An epistemic approach to paraconsistency: a logic of evidence and truth
- A Semantics for Propositions as Sessions
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3
- On the system CB\(^1\) and a lattice of the paraconsistent calculi
- Valuation semantics for first-order logics of evidence and truth
- First-order logics of evidence and truth with constant and variable domains
- A Couple of Novelties in the Propositional Calculus
- On the propagation of consistency in some systems of paraconsistent logic
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)
