A Variant with the Variable-Sharing Property of Brady’s 4-Valued Implicative Expansion BN4 of Anderson and Belnap’s Logic FDE
ISSN: 1611-3349, 0302-9743
ISBN: 9783030893903
Year of publication: 2021
Volume: 13040 LNAI
Pages: 362-376
Type: Conference paper