A decision procedure for the system E (of entailment). I

DOI10.1007/BF01063835MaRDI QIDQ802540zbMATH OpenFDO

Authors E. K. Vojshvillo

Publication date 1983

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

natural deductionentailment

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Recommendations

• A system for proper multiple-conclusion entailment
• Natural deduction systems for E
• On decision procedures for sentential logics
• LATIN 2004: Theoretical Informatics
• Decision procedures for logics of consequential implication
• A natural deduction system for first degree entailment
• scientific article; zbMATH DE number 2062375
• Decision procedure of some relevant logics: a constructive perspective
• Automated Reasoning
• An Inductive Inference System and Its Rationality

Cites work

• Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
• Entailment and relevance¹

Cited in

(5)

• Trees for E
• A system for proper multiple-conclusion entailment
• Rules in relevant logic. II: Formula representation
• scientific article; zbMATH DE number 3916225 (Why is no real title available?)
• Perfect validity, entailment and paraconsistency

This page was built for publication: A decision procedure for the system E (of entailment). I

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