On interpretation and separation theorems for the logical systems E and R

DOI10.1007/BF02219810zbMath0252.02012MaRDI QIDQ2557238

Larisa L. Maksimova

Publication date: 1973

Published in: Algebra and Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (1)

Varieties of De Morgan monoids: minimality and irreducible algebras

Cites Work

• E and S4
• The pure calculus of entailment
• A Decision Procedure For the System E_Ī of Entailment with Negation
• Intensional models for first degree formulas
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On interpretation and separation theorems for the logical systems E and R