Login / Signup

A Variant with the Variable-Sharing Property of Brady's 4-Valued Implicative Expansion BN4 of Anderson and Belnap's Logic FDE.

Gemma Robles
Published in: CLAR (2021)
Keyphrases