Analytic tableaux for positive logic free from ``paradoxes of material implication

zbMATH Open0980.03021MaRDI QIDQ2751827

P. I. Bystrov

Publication date: 12 March 2002

zbMATH Keywords

relevant logicanalytic tableaux

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Analytic tableaux for higher-order logic with choice 👍 👎
• Table-analytical axiomatizations of expansions of logic Par 👍 👎
• Аналитические таблицы для интуиционистского аналога FDE 👍 👎
• Classic-Like Analytic Tableaux for Finite-Valued Logics 👍 👎
• Analytic tableaux for default logics 👍 👎
• Strongly analytic tableaux for normal modal logics 👍 👎
• Tableau Metatheorem for Modal Logics 👍 👎
• Analytic Tableaux for Higher-Order Logic with Choice 👍 👎

This page was built for publication: Analytic tableaux for positive logic free from ``paradoxes of material implication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2751827)