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

DOI10.1007/BF01063835zbMATH Open0559.03009MaRDI QIDQ802540FDOQ802540

Authors: E. K. Vojshvillo 

Publication date: 1983

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

natural deductionentailment

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Trees for E
• A system for proper multiple-conclusion entailment
• Rules in relevant logic. II: Formula representation
• Title not available (Why is that?)
• 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)