relevance logic

mathematical logic system that imposes certain restrictions on implication

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

Kategorie:

modal logicnon-classical logicsubstructural logic