The Weak Variable Sharing Property
| dc.contributor.author | Øgaard, Tore Fjetland | |
| dc.date.accessioned | 2023-06-07T09:21:16Z | |
| dc.date.available | 2023-06-07T09:21:16Z | |
| dc.date.issued | 2023-04-21 | |
| dc.identifier.issn | 0138-0680 | |
| dc.identifier.uri | http://hdl.handle.net/11089/47238 | |
| dc.description.abstract | 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 \(\mathbf{RM}_{2n\mathord{-}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. | en |
| dc.language.iso | en | |
| dc.publisher | Wydawnictwo Uniwersytetu Łódzkiego | pl |
| dc.relation.ispartofseries | Bulletin of the Section of Logic;1 | en |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/4.0 | |
| dc.subject | characteristic matrix | en |
| dc.subject | relevant logics | en |
| dc.subject | variable sharing properties | en |
| dc.title | The Weak Variable Sharing Property | en |
| dc.type | Other | |
| dc.page.number | 85-99 | |
| dc.contributor.authorAffiliation | University of Bergen, Department of Philosophy, Postboks 7805, 5020 Bergen, Bergen, Norway | en |
| dc.identifier.eissn | 2449-836X | |
| dc.references | A. R. Anderson, N. D. Belnap, Entailment: The Logic of Relevance and Necessity, vol. 1, Princeton University Press, Princeton (1975). | en |
| dc.references | N. D. Belnap, Entailment and Relevance, Journal of Symbolic Logic, vol. 25(2) (1960), pp. 144–146, DOI: https://doi.org/10.2307/2964210 | en |
| dc.references | R. T. Brady, Completeness Proofs for the Systems RM3 and BN4, Logique et Analyse, vol. 25(97) (1982), pp. 9–32. | en |
| dc.references | J. Dugundji, Note on a Property of Matrices for Lewis and Langford’s Calculi of Propositions, The Journal of Symbolic Logic, vol. 5(4) (1940), pp. 150–151, DOI: https://doi.org/10.2307/2268175 | en |
| dc.references | J. M. Dunn, Algebraic Completeness Results for R-Mingle and its Extensions, Journal of Symbolic Logic, vol. 35(1) (1970), pp. 1–13, DOI: https://doi.org/10.1017/S0022481200092161 | en |
| dc.references | R. K. Meyer, R-Mingle and Relevant Disjunction, Journal of Symbolic Logic, vol. 36(2) (1971), p. 366, DOI: https://doi.org/10.2307/2270323 | en |
| dc.references | T. F. Øgaard, Non-Boolean Classical Relevant Logics II: Classicality Through Truth-Constants, Synthese, vol. 199 (2021), pp. 6169–6201, DOI: https://doi.org/10.1007/s11229-021-03065-z | en |
| dc.references | G. Robles, The Quasi-Relevant 3-Valued Logic RM3 and some of its Sublogics Lacking the Variable-Sharing Property, Reports on Mathematical Logic, vol. 51 (2016), pp. 105–131, DOI: https://doi.org/10.4467/20842589RM.16.008.5285 | en |
| dc.references | G. Robles, J. M. Méndez, A Companion to Brady’s 4-Valued Relevant Logic BN4: The 4-Valued Logic of Entailment E4, Logic Journal of the IGPL, vol. 24(5) (2016), pp. 838–858, DOI: https://doi.org/10.1093/jigpal/jzw011 | en |
| dc.references | E. Schechter, Equivalents of Mingle and Positive Paradox, Studia Logica, vol. 77(1) (2004), pp. 117–128, DOI: https://doi.org/10.2307/20016611 | en |
| dc.references | J. Slaney, MaGIC, Matrix Generator for Implication Connectives: Release 2.1 Notes and Guide, Tech. Rep. TR-ARP-11/95, Automated Reasoning Project, Australian National University (1995). | en |
| dc.references | J. K. Slaney, Computers and Relevant Logic: A Project in Computing Matrix Model Structures for Propositional Logics, Ph.D. thesis, Australian National University (1980), DOI: https://doi.org/10.25911/5d7396e3ab2c0 | en |
| dc.references | E. Yang, R and Relevance Principle Revisited, Journal of Philosophical Logic, vol. 42(5) (2013), pp. 767–782, DOI: https://doi.org/10.1007/s10992-012-9247-1 | en |
| dc.references | E. Yang, Substructural Fuzzy-Relevance Logic, Notre Dame Journal of Formal Logic, vol. 56(3) (2015), pp. 471–491, DOI: https://doi.org/10.1215/00294527-3132824 | en |
| dc.contributor.authorEmail | toreog@gmail.com | |
| dc.identifier.doi | 10.18778/0138-0680.2023.05 | |
| dc.relation.volume | 52 |
Pliki tej pozycji
Pozycja umieszczona jest w następujących kolekcjach
Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako https://creativecommons.org/licenses/by-nc-nd/4.0