Temat: Relevant logics - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyers Logic B
Autorzy:: López, Sandra M.
Tematy:: Ternary relational semantics
relevant logics
4-valued logics
Routley and Meyer's logic B
4-valued quasi-relevant logics; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/2142758.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: The Weak Variable Sharing Property
Autorzy:: Øgaard, Tore Fjetland
Tematy:: characteristic matrix
relevant logics
variable sharing properties; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/43179625.pdf Link otwiera się w nowym oknie
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 RM_2n-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.
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
Autorzy:: Szmuc, Damian E.
Tematy:: Relevant logics
non-transitive logics
p-matrix
weak Kleene algebra
infectious logics; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/2033853.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 4.

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.
Tematy:: Relevant logics
many-valued logics
4-valued logics
2-set-up Routley-Meyer semantics; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/749920.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 5.

Tytuł:: Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E
Autorzy:: Typańska-Czajka, Lidia
Tematy:: relevant logic
non-classical logics
lattice
universal algebra; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/749872.pdf Link otwiera się w nowym oknie
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].
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 6.

Tytuł:: Variable Sharing in Substructural Logics: an Algebraic Characterization
Autorzy:: Badia, Guillermo
Tematy:: relevant logic
algebraic characterizations of logical properties
variable sharing property
substructural logics; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/750042.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja