scientific article; zbMATH DE number 1163926

MaRDI QIDQ4395550zbMATH OpenFDO

Authors Vladimir M. Popov

Publication date 11 January 1999

zbMATH Keywords

consecution calculuscut-eliminationd-expressionGentzen systemparaconsistent logicRrelevance logicrelevant implicationrelevant logicsequent calculus

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

Recommendations

• On the Specification of Sequent Systems
• Intuitionistic sequent system with multiple succedent
• scientific article; zbMATH DE number 2109538
• A Sequent Systems without Improper Derivations
• Normal form theorem for systems of sequents
• \(R\)-systems
• Sequent-systems for modal logic
• Indexed systems of sequents and cut-elimination
• Sequent systems for nondeterministic propositional logics without reflexivity
• Sequent-systems and groupoid models. II

Cited in

(7)

• Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems
• Multiplicative Conjunction as an Extensional Conjunction
• A note on the system GRW with the intensional contraction rule
• Image of Soviet and Russian logic in the West. Latter Half of the XXth Century
• Intension, extension, distribution and decidability
• Four relevant Gentzen systems
• Solution to a problem of Ono and Komori

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 Q4395550)