Answers are grounded in this paper and cite their sources.
This article develops a sound and complete logic system in weak mixed algebras, addressing an open problem.
In previous work [4] we introduced and examined the class of betweenness algebras. In the current article we study a larger class of algebras with binary operators of possibility and sufficiency, the weak mixed algebras . Furthermore, we develop a system of logic with two binary modalities, sound and complete with respect to the class of frames closely related to the aforementioned algebras, and we prove an embedding theorem which solves an open problem from [4].
No takes yet. Share an insight, caveat, or question.
DÜNTSCH et al. (2026) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: