3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 2 cited
Dunn Semantics for Contra-Classical Logics
Luis Estrada-González
In this paper I show, with a rich and systematized diet of examples, that many contra-classical logics can be presented as variants of FDE, obtained by modifying at least one of th…
cs.LO2022★ 3 cited
Mortensen Logics
Luis Estrada-González, Fernando Cano-Jorge
Mortensen introduced a connexive logic commonly known as 'M3V'. M3V is obtained by adding a special conditional to LP. Among its most notable features, besides its being connexive,…