Show simple item record

A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)

dc.contributor.authorRobles, Gemma
dc.contributor.authorMéndez, José M.
dc.date.accessioned2023-02-10T07:50:38Z
dc.date.available2023-02-10T07:50:38Z
dc.date.issued2022-10-14
dc.identifier.issn0138-0680
dc.identifier.urihttp://hdl.handle.net/11089/45869
dc.description.abstractG3 is Gödelian 3-valued logic, G3\(_\text{Ł}^\leq\) is its paraconsistent counterpart and G3\(_\text{Ł}^1\) is a strong extension of G3\(_\text{Ł}^\leq\). The aim of this paper is to endow each one of the logics just mentioned with a 2 set-up binary Routley semantics.en
dc.language.isoen
dc.publisherWydawnictwo Uniwersytetu Łódzkiegopl
dc.relation.ispartofseriesBulletin of the Section of Logic;4en
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0
dc.subjectbinary Routley semanticsen
dc.subject2 set-up binary Routley semanticsen
dc.subject3-valued logicsen
dc.subjectparaconsistent logicsen
dc.subjectGödelian 3-valued logic G3en
dc.titleA 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\)en
dc.typeOther
dc.page.number487-505
dc.contributor.authorAffiliationRobles, Gemma - Universidad de Léon, Departamento de Psicología, Sociología y Filosofía, Campus de Vegazana, s/n, 24071, Léon, Spainen
dc.contributor.authorAffiliationMéndez, José M. - University of Salamanca, Edificio FES, Campus Unamuno, 37007, Salamanca, Spainen
dc.identifier.eissn2449-836X
dc.referencesA. Avron, Proof systems for 3-valued Logics based on Gödel’s implication, Logic Journal of the IGPL, vol. 30(3) (2021), pp. 437–453, DOI: https://doi.org/10.1093/jigpal/jzab013en
dc.referencesR. T. Brady, Completeness proofs for the systems RM3 and BN4, Logique et Analyse, vol. 25(97) (1982), pp. 9–32, URL: https://www.jstor.org/stable/44084001en
dc.referencesK. Gödel, Zum Intuitionistischen Aussagenkalkül, Anzeiger Der Akademie Der Wissenschaften in Wien, vol. 69 (1932), pp. 65–66.en
dc.referencesG. Robles, A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart, Logica Universalis, vol. 7(4) (2013), pp. 507–532, DOI: https://doi.org/10.1007/s11787-013-0088-7en
dc.referencesG. Robles, J. M. Blanco, S. M. López, J. R. Paradela, M. M. Recio, Relational semantics for the 4-valued relevant logics BN4 and E4, Logic and Logical Philosophy, vol. 25(2) (2016), pp. 173–201, DOI: https://doi.org/10.12775/LLP.2016.006en
dc.referencesG. Robles, J. M. Méndez, A paraconsistent 3-valued logic related to G¨odel logic G3, Logic Journal of the IGPL, vol. 22(4) (2014), pp. 515–538, DOI: https://doi.org/10.1093/jigpal/jzt046en
dc.referencesG. Robles, J. M. Méndez, A binary Routley semantics for intuitionistic De Morgan minimal logic H {M} and its extensions, Logic Journal of the IGPL, vol. 23(2) (2015), pp. 174–193, DOI: https://doi.org/10.1093/jigpal/jzu029en
dc.referencesG. Robles, J. M. Méndez, Routley-Meyer ternary relational semantics for intuitionistic-type negations, Academic Press, Elsevier, London (2018), DOI: https://doi.org/10.1016/C2015-0-01638-0en
dc.referencesG. Robles, F. Salto, J. M. Méndez, Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix II, Journal of Applied Non-Classical Logics, vol. 23(3) (2019), pp. 307–325, DOI: https://doi.org/10.1080/11663081.2019.1644079en
dc.referencesR. Routley, R. K. Meyer, V. Plumwood, R. T. Brady, Relevant logics and their rivals, vol. 1, Ridgeview Publishing Co., Atascadero, CA (1982).en
dc.contributor.authorEmailRobles, Gemma - gemma.robles@unileon.es
dc.contributor.authorEmailMéndez, José M. - sefus@usal.es
dc.identifier.doi10.18778/0138-0680.2022.20
dc.relation.volume51


Files in this item

Thumbnail
Name:
487-505_Robles,_Mendez.pdf
Size:
1.745Mb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

https://creativecommons.org/licenses/by-nc-nd/4.0
Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by-nc-nd/4.0