scientific article; zbMATH DE number 3882420

MaRDI QIDQ3216643zbMATH OpenFDO

Authors D. A. Bochvar

Publication date 1984

zbMATH Keywords

comprehensionparadoxes

Mathematics Subject Classification ID

Set theory (03E99)

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)