Login / Signup
On Harrop disjunction property in intermediate predicate logics.
Katsumasa Ishii
Published in:
Arch. Math. Log. (2024)
Keyphrases
</>
expressive power
first order logic
inference rules
website
image sequences