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

DOI10.1007/BF01063835zbMath0559.03009MaRDI QIDQ802540

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)

Cites Work

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

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