scientific article; zbMATH DE number 4012564

zbMATH Open0624.03004MaRDI QIDQ3762280FDOQ3762280

Authors: Harrie de Swart 

Publication date: 1985

Title of this publication is not available (Why is that?)

Recommendations

• Four relevant Gentzen systems
• scientific article; zbMATH DE number 2062375
• The complexity of decision procedures in relevance logic II
• Decision procedure of some relevant logics: a constructive perspective
• A note on the decidability of a strong relevant logic

zbMATH Keywords

decidabilityrelevant logicprovabilitysubformula propertyconstructive completeness proofspractical decision procedures

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Cited In (3)

• Gentzen-like systems for partial propositional calculi. I. II
• A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
• Title not available (Why is that?)

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