Login / Signup
The simple substitution property of Gödel's intermediate propositional logics Sn's.
Katsumi Sasaki
Published in:
Stud Logica (1990)
Keyphrases
</>
default logic
inference rules
learning algorithm
expressive power