An existence predicate, often found in free logics, is a logical construct…
Sign in to your account
Remember me
