Login / Signup
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths.
Fairouz Kamareddine
Twan Laan
Published in:
Log. J. IGPL (1996)
Keyphrases
</>
desirable properties
neural network
wide range
database
higher level
modal logic
inference rules