Efficient Decision Procedures for RNmatrix Semantics

Renato R. Leme, Carlos Olarte, Elaine Pimentel

Logical matrices provide a semantic framework in which connectives are interpreted by deterministic truth-functions. While elegant, this approach is often too restrictive to captur…