relevance logic

mathematical logic system that imposes certain restrictions on implication

en-US/ˈɹɛləvəns ˈlɑd͡ʒɪk/
en-GB/ˈɹɛləvəns ˈlɒd͡ʒɪk/

Categories:

modal logicnon-classical logicsubstructural logic