The principle of separation of variables in propositional logics

DOI10.1007/BF01877235zbMath0363.02024MaRDI QIDQ1240219

Larisa L. Maksimova

Publication date: 1977

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

Mathematics Subject Classification ID

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

Related Items (4)

Singly generated quasivarieties and residuated structures ⋮ The disjunction property of intermediate propositional logics ⋮ Minimally congruential contexts: observations and questions on embedding E in K ⋮ A syntactic approach to Maksimova's principle of variable separation for some substructural logics

Cites Work

• Begründung einer strengen Implikation
• Entailment and relevance¹
• E, R AND γ
• Algebraic completeness results for R-mingle and its extensions

This page was built for publication: The principle of separation of variables in propositional logics