In the mmset.html ref. [KalishMontague], p. 81 footnote says: "The fact
that (B7') [our ax-6] can be replaced by the weaker axiom (B7) [our ax-6v]
is stated implicitly in the abstract [5], where also the rather obvious
possibility is mentioned of extending the approach to predicate logic with
Sorry, ax-6
> On Aug 15, 2021, at 12:10 PM, Scott Fenton wrote:
>
>
> That and the paper it references are actually what I was working from! HF
> theory employs terms, so I was wondering, for instance, if ax-5 would need to
> be rephrased to work with terms.
>
>>> On Aug 15, 2021, at
That and the paper it references are actually what I was working from! HF
theory employs terms, so I was wondering, for instance, if ax-5 would need to
be rephrased to work with terms.
> On Aug 15, 2021, at 12:02 PM, Ken Kubota wrote:
>
>
> I’m not sure whether this helps, but Larry
I’m not sure whether this helps, but Larry Paulson's presentation employs HF set theory: https://www.cl.cam.ac.uk/~lp15/papers/Formath/Goedel-logic-mine.pdfKind regards,Ken KubotaKen Kubotahttps://doi.org/10./100
Am 15.08.2021 um 01:11
