scientific article; zbMATH DE number 3882420
From MaRDI portal
Publication:3216643
zbMATH Open0554.03028MaRDI QIDQ3216643FDOQ3216643
Authors: D. A. Bochvar
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
- Analytic calculi for basic logics of formal inconsistency
- On a certain formalization of antonyms logic
- k-transforms in classical and paraconsistent logics
- Canonical extensions and Kripke-Galois semantics for non-distributive logics
- Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
- The proof-theoretical analysis of contraction-less relevant logics
- The logics of analytic equivalence
- scientific article; zbMATH DE number 3323814
- Extensions of the \(\aleph_ 0\)-valued Łukasiewicz propositional logic
- scientific article; zbMATH DE number 2170850
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 Q3216643)