Počet záznamů: 1  

Disjunction and Negation in Information Based Semantics

  1. 1.
    0547117 - FLÚ 2022 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Punčochář, Vít - Tedder, Andrew
    Disjunction and Negation in Information Based Semantics.
    Logic, Language, Information, and Computation. Cham: Springer, 2021 - (Silva, A.; Wassermann, R.; de Queiroz, R.), s. 355-371. Lecture Notes in Computer Science, 13038. ISBN 978-3-030-88852-7; ISBN 978-3-030-88853-4.
    [WoLLIC 2021. Workshop on Logic, Language, Information, and Computation /27./. online (NL), 05.10.2021-08.10.2021]
    Grant CEP: GA ČR(CZ) GM21-23610M
    Institucionální podpora: RVO:67985955
    Klíčová slova: Non-classical logics * Incompatibility * Information * Relational semantics * Negation * Disjunction
    Obor OECD: Philosophy, History and Philosophy of science and technology
    https://doi.org/10.1007/978-3-030-88853-4_22

    We investigate an information based generalization of the incompatibility-frame treatment of logics with non-classical negation connectives. Our framework can be viewed as an alternative to the neighbourhood semantics for extensions of lattice logic by various negation connectives, investigated by Hartonas. We set out the basic semantic framework, along with some correspondence results for extensions. We describe three kinds of constructions of canonical models and show that double negation law is not canonical with respect to any of these constructions. We also compare our semantics to Hartonas’.
    Trvalý link: http://hdl.handle.net/11104/0323448

     
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.