Copilot
Your everyday AI companion
About 4,980 results
Open links in new tab
  1. Springer
    https://link.springer.com/article/10.1007/s11225-020-09909-y

    Double Negation Semantics for Generalisations of Heyting …

    See results only from link.springer.com
  2. Springer
    https://link.springer.com/content/pdf/10.1007/s11225-020-09909-y.pdf
    [PDF]

    Double Negation Semantics for Generalisations of Heyting …

  3. ACM Digital Library
    https://dl.acm.org/doi/10.1007/s11225-020-09909-y

    Double Negation Semantics for Generalisations of Heyting Algebras

  4. CORE
    https://core.ac.uk/download/pdf/323287323.pdf
    [PDF]

    Double Negation Semantics for Generalisations of Heyting …

  5. ACM Digital Library
    https://dl.acm.org/doi/abs/10.1007/s11225-020-09909-y

    Double Negation Semantics for Generalisations of Heyting Algebras

  6. PhilPapers
    https://philpapers.org/rec/ARTDNS

    Double Negation Semantics for Generalisations of Heyting Algebras

  7. People also ask
    What is a double negation in logic?
    3. Generalised and Double Negation Semantics Beginning with Kolmogorov , logicians have studied double negation translations (or negative translations) that represent classical logic in in-tuitionistic logic. Kolmogorov’s translation inductively replaces every sub-formula of a formula by its double negation.

    Double Negation Semantics for Generalisations of Heyting Algebras

    link.springer.com
    Is double negation a homomorphism?
    The double negation operation is a homomorphism implying that all reasonable double nega-tion translation schemes are equivalent and hence satisfy our formulation of Troelstra’s formulation. The results for bounded hoops is dependent on certain algebraic identities, some of which are not easy to derive from the axioms for this class of algebra.

    Double Negation Semantics for Generalisations of Heyting Algebras

    link.springer.com
    Are negative translations syntactic?
    These so-called negative translations or double negation translations such as those proposed by Kolmogorov, G ̈odel, Gentzen and Glivenko are generally presented as syntactic translations and are studied by mainly syntactic methods (e.g., see [9,11]).

    Double Negation Semantics for Generalisations of Heyting Algebras

    link.springer.com
    What is the double negation operator?
    Applied to the internal Heyting algebra L = Ω L = \Omega of a topos, that is the subobject classifier, this lemma says exactly that the double negation operator ¬ ¬: Ω → Ω \neg \neg\colon \Omega \to \Omega defines a Lawvere–Tierney topology. Similarly, we get the double negation sublocale of any locale.

    Heyting algebra in nLab

    ncatlab.org
    Feedback
  8. Paperity
    https://paperity.org/p/250304227/double-negation...

    Double Negation Semantics for Generalisations of Heyting Algebras

  9. ACM Digital Library
    https://dl.acm.org/profile/81100226729

    Rob D Arthan - Home - ACM Digital Library

  10. Springer
    https://link.springer.com/article/10.1007/s11225-023-10053-6

    On Heyting Algebras with Negative Tense Operators

  11. nLab
    https://ncatlab.org/nlab/show/Heyting+algebra

    Heyting algebra in nLab - ncatlab.org