1 problem

0 votes0 replies1 view
Conjecture on modular combination of classical negation–implication and disjunction–implication fragments
Modularity conjecture. The combination of these two fragments is the full classical negation–disjunction–implication fragment:
Conjectureopenabstract-algebraic-logic combined-logics many-valued-logicarXiv posted 2 days ago

Conjecture on modular combination of classical negation–implication and disjunction–implication fragments