2 Hits in 8.4 sec

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.  ...  Kaplan, Non-forking and preservation of NIP and dp-rank, preprint, 2019, [3] D.  ... 
doi:10.1017/bsl.2020.27 fatcat:4op2nkc7vjdqbndg6wnla6nehq

EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes

José Miguel Blanco
2021 Logic and Logical Philosophy  
Łukasiewicz and it is a four-valued modal logic that validates what is known as strong Łukasiewicz-type modal paradoxes.  ...  The logic BN4 was defined by R.T. Brady as a four-valued extension of Routley and Meyer's basic logic B.  ...  Sincere thanks are due to four anonymous referees for their comments on a previous version of this paper.  ... 
doi:10.12775/llp.2021.010 fatcat:zrzfijwqejcq3f3po6zewuwwd4