Autor: Robles, Gemma - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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ł

Skocz do pozycji: 2.

Tytuł:: Paraconsistency and Consistency Understood as the Absence of the Negation of any Implicative Theorem
Autorzy:: Robles, Gemma
Powiązania:: https://bibliotekanauki.pl/articles/1368568.pdf
Data publikacji:: 2012
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Opis:: As is stated in its title, in this paper consistency is understood as the absence of the negation of any implicative theorem. Then, a series of logics adequate to this concept of consistency is defined within the context of the ternary relational semantics with a set of designated points, negation being modelled with the Routley operator. Soundness and completeness theorems are provided for each one of these logics. In some cases, strong (i.e., in respect of deducibility) soundness and completeness theorems are also proven. All logics in this paper are included in Lewis’ S4. They are all paraconsistent, but none of them is relevant.
Źródło:: Reports on Mathematical Logic; 2012, 47
0137-2904
2084-2589
Pojawia się w:: Reports on Mathematical Logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: A Note on Gödel-Dummet Logic LC
Autorzy:: Robles, Gemma
Méndez, José M.
Powiązania:: https://bibliotekanauki.pl/articles/2033854.pdf
Data publikacji:: 2021-07-01
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Intermediate logics
Gödel-Dummet logic LC
Opis:: Let \(A_{0},A_{1},...,A_{n}\) be (possibly) distintict wffs, \(n\) being an odd number equal to or greater than 1. Intuitionistic Propositional Logic IPC plus the axiom \((A_{0}\rightarrow A_{1})\vee ...\vee (A_{n-1}\rightarrow A_{n})\vee (A_{n}\rightarrow A_{0})\) is equivalent to Gödel-Dummett logic LC. However, if \(n\) is an even number equal to or greater than 2, IPC plus the said axiom is a sublogic of LC.
Źródło:: Bulletin of the Section of Logic; 2021, 50, 3; 325-335
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
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.
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ł

Informacja