Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Relevant logics" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-8 z 8
    Tytuł:
    Logiki relewantne i informacja
    Relevant Logics and Information
    Autorzy:
    Szczepiński, Rafał
    Powiązania:
    https://bibliotekanauki.pl/articles/967439.pdf
    Data publikacji:
    2015-09-01
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Opis:
    The aim of this paper is to survey informal interpretations of relational semantics for relevant logics in terms of the theory of semantic information. Relational semantics for relevant logics introduced a ternary accessibility relation which was often criticized as unintuitive. The paper presents three interpretations of the ternary accessibility relation based on the framework of situation theory.
    Źródło:
    Filozofia Nauki; 2015, 23, 3; 77-98
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Minimal Non-Relevant Logics without the K Axiom II. Negation Introduced as a Primitive Unary Connective
    Autorzy:
    Robles, Gemma
    Powiązania:
    https://bibliotekanauki.pl/articles/1368483.pdf
    Data publikacji:
    2010
    Wydawca:
    Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
    Opis:
    In the first part of this paper (RML No. 42) a spectrum of constructive logics without the K axiom is defined. Negation is introduced with a propositional falsity constant. The aim of this second part is to build up logics definitionally equivalent to those displayed in the first part, negation being now introduced as a primitive unary connective. Relational ternary semantics is provided for all logics defined in the paper.
    Źródło:
    Reports on Mathematical Logic; 2010, 45; 97-118
    0137-2904
    2084-2589
    Pojawia się w:
    Reports on Mathematical Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyers Logic B
    Autorzy:
    López, Sandra M.
    Powiązania:
    https://bibliotekanauki.pl/articles/2142758.pdf
    Data publikacji:
    2021-09-02
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Ternary relational semantics
    relevant logics
    4-valued logics
    Routley and Meyer's logic B
    4-valued quasi-relevant logics
    Opis:
    Six interesting variants of the logics BN4 and E4—which can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively—were previously developed in the literature. All these systems are related to the family of relevant logics and contain Routley and Meyer's basic logic B, which is well-known to be specifically associated with the ternary relational semantics. The aim of this paper is to develop reduced general Routley-Meyer semantics for them. Strong soundness and completeness theorems are proved for each one of the logics.
    Źródło:
    Bulletin of the Section of Logic; 2022, 51, 1; 27-56
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Weak Variable Sharing Property
    Autorzy:
    Øgaard, Tore Fjetland
    Powiązania:
    https://bibliotekanauki.pl/articles/43179625.pdf
    Data publikacji:
    2023
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    characteristic matrix
    relevant logics
    variable sharing properties
    Opis:
    An algebraic type of structure is shown forth which is such that if it is a characteristic matrix for a logic, then that logic satisfies Meyer's weak variable sharing property. As a corollary, it is shown that RM and all its odd-valued extensions RM2n-1 satisfy the weak variable sharing property. It is also shown that a proof to the effect that the "fuzzy" version of the relevant logic R satisfies the property is incorrect.
    Źródło:
    Bulletin of the Section of Logic; 2023, 52, 1; 85-99
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
    Autorzy:
    Szmuc, Damian E.
    Powiązania:
    https://bibliotekanauki.pl/articles/2033853.pdf
    Data publikacji:
    2021-05-27
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Relevant logics
    non-transitive logics
    p-matrix
    weak Kleene algebra
    infectious logics
    Opis:
    We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is defined in terms of a \(p\)-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints.
    Źródło:
    Bulletin of the Section of Logic; 2021, 50, 4; 421-453
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
    Autorzy:
    Robles, Gemma
    López, Sandra M.
    Blanco, José M.
    Recio, Marcos M.
    Paradela, Jesús R.
    Powiązania:
    https://bibliotekanauki.pl/articles/749920.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Relevant logics
    many-valued logics
    4-valued logics
    2-set-up Routley-Meyer semantics
    Opis:
    The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.
    Źródło:
    Bulletin of the Section of Logic; 2016, 45, 2
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Variable Sharing in Substructural Logics: an Algebraic Characterization
    Autorzy:
    Badia, Guillermo
    Powiązania:
    https://bibliotekanauki.pl/articles/750042.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    relevant logic
    algebraic characterizations of logical properties
    variable sharing property
    substructural logics
    Opis:
    We characterize the non-trivial substructural logics having the variable sharing property as well as its strong version. To this end, we find the algebraic counterparts over varieties of these logical properties.
    Źródło:
    Bulletin of the Section of Logic; 2018, 47, 2
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E
    Autorzy:
    Typańska-Czajka, Lidia
    Powiązania:
    https://bibliotekanauki.pl/articles/749872.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    relevant logic
    non-classical logics
    lattice
    universal algebra
    Opis:
    The only maximal extension of the logic of relevant entailment E is the classical logic CL. A logic L ⊆ [E,CL] called pre-maximal if and only if L is a coatom in the interval [E,CL]. We present two denumerable infinite sequences of premaximal extensions of the logic E. Note that for the relevant logic R there exist exactly three pre-maximal logics, i.e. coatoms in the interval [R,CL].
    Źródło:
    Bulletin of the Section of Logic; 2019, 48, 1
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-8 z 8

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies