Working with SL Semantics
Lorne Falkenstein, Scott Stapleford, Molly Kao · 2021
In Chapter 5, three different techniques for determining consequence, satisfaction, and equivalence are developed: the short table method, the method of providing demonstrations by appeal to valuation rules and definitions of intensional properties, and the method of refutation by counterexample. The appendix to this chapter questions bivalence and introduces supervaluational semantics, some three-valued logics, and paraconsistent logic.