Login / Signup
The simple substitution property of the intermediate propositional logics on finite slices.
Katsumi Sasaki
Published in:
Stud Logica (1993)
Keyphrases
</>
propositional logic
expressive power
search algorithm
expert systems
default logic