An Implicative Expansion of Belnap's Four-Valued Matrix: A Modal Four-Valued Logic Without Strong Modal Lukasiewicz-Type Paradoxes

José Miguel Blanco
2020 Bulletin of Symbolic Logic  
Towards the end of his life, the great Polish logician J. Łukasiewicz developed the fourvalued modal system known as Ł. This system validated theses as (MA ∧ MB) → M (A ∧ B) terms of use, available at https://doi.
doi:10.1017/bsl.2020.27 fatcat:4op2nkc7vjdqbndg6wnla6nehq