zbMath0708.68056MaRDI QIDQ3490985
Bijan Arbab
Publication date: 1989
zbMATH Keywords
logic of proposition surrogates; paradox of name relation; representation and reasoning with opaque sentences
Mathematics Subject Classification ID
03B10: Classical first-order logic
03B35: Mechanization of proofs and logical operations