nach oben

Journal of Logic, Language and Information

Erschienen in:

02.11.2019

The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3

verfasst von: Gemma Robles, José M. Méndez

Erschienen in: Journal of Logic, Language and Information | Ausgabe 3/2020

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

We consider the logics determined by the set of all natural implicative expansions of Kleene’s strong 3-valued matrix (with both only one and two designated values) and select the class of all logics functionally equivalent to Łukasiewicz’s 3-valued logic Ł3. The concept of a “natural implicative matrix” is based upon the notion of a “natural conditional” defined in Tomova (Rep Math Log 47:173–182, 2012).

Vorheriger Artikel A Note on the Issue of Cohesiveness in Canonical Models

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Nur mit Berechtigung zugänglich

Anderson, A. R., & Belnap, N. D, Jr. (1975). Entailment. The logic of relevance and necessity (Vol. 1). Princeton, NJ: Princeton University Press.

Asenjo, F. G. (1966). A calculus of antinomies. Notre Dame Journal of Formal Logic, 7(1), 103–105. https://doi.org/10.1305/ndjfl/1093958482.CrossRef

Avron, A. (1991). Natural 3-valued logics-characterization and proof theory. Journal of Symbolic Logic, 56(1), 276–294.CrossRef

Avron, A. (1999). On the expressive power of three-valued and four-valued languages. Journal of Logic and Computation, 9(6), 977–994. https://doi.org/10.1093/logcom/9.6.977.CrossRef

Baaz, M., Preining, N., & Zach, R. (2007). First-order Gödel logics. Annals of Pure and Applied Logic, 147, 23–47.CrossRef

Belnap, N. D, Jr. (1960). Entailment and relevance. The Journal of Symbolic Logic, 25(2), 144–146.CrossRef

Belnap, N. D, Jr. (1977a). How a computer should think. In G. Ryle (Ed.), Contemporary aspects of philosophy (pp. 30–55). Stocksfield: Oriel Press Ltd.

Belnap, N. D, Jr. (1977b). A useful four-valued logic. In G. Epstein & J. M. Dunn (Eds.), Modern uses of multiple-valued logic (pp. 8–37). Dordrecht: D. Reidel Publishing Co.

Brady, R. T. (1982). Completeness proofs for the systems RM3 and BN4. Logique et Analyse, 25, 9–32.

Brady, R. T. (ed.) (2003). Relevant logics and their rivals (Vol. 2). Aldershot: Ashgate.

Carnielli, W., Coniglio, M., & Marcos, J. (2007). Logics of formal inconsistency. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 14, pp. 1–93). Berlin: Springer.

Dunn, J. M. (1976). Intuitive semantics for first-degree entailments and “coupled trees”. Philosophical Studies, 29, 149–168.CrossRef

Dunn, J. M. (2000). Partiality and its dual. Studia Logica, 65, 5–40. https://doi.org/10.1023/A:1026740726955.CrossRef

Finn, V. K. (1969). O predpolnote klassa funktsii, sootvetstvuyushchego trekhznachnoi logike J. Łukasiewicza (The precompleteness of the class of functions that corresponds to the three-valued Logic of J. Łukasiewicz). Nauchno-tekhnicheskaya informatsiya. Ser. 2, 10, 35–38. (in Russian).

Fitting, M. (1992). Kleene’s three valued logics and their children. Fundamenta Informaticae, 20, 113–131.CrossRef

González, C. (2012). MaTest. Retrieved from http://ceguel.es/matest. Last retrieved 09/07/2019.

Gottwald, S. (2001). A treatise on many-valued logics., Studies in logic and computation Baldock: Research Studies Press.

Hacking, I. (1963). What is strict implication? Journal of Symbolic Logic, 28, 51–71.CrossRef

Jaśkowski, S. (1948). Rachunek zdań dla systemów dedukcyjnych sprzecznych. Studia Societatis Scientiarum Torunensis, 1(5), Sectio A (English translation: “Propositionl calculus for contradictory deductive systems”, Studia Logica 24, 143–157, 1969)

Karpenko, A. S. (1999). Jaśkowski’s criterion and three-valued paraconsistent logics. Logic and Logical Philosophy, 7, 81–86.CrossRef

Karpenko, A., & Tomova, N. (2017). Bochvar’s three-valued logic and literal paralogics: Their lattice and functional equivalence. Logic and Logical Philosophy, 26(2), 207–235. https://doi.org/10.12775/LLP.2016.029.CrossRef

Kleene, S. C. (1952). Introduction to metamathematics. Amsterdam: North Holland. (Reprinted Ishi Press 2009).

Kracht, M. (1998). On extensions of intermediate logics by strong negation. Journal of Philosophical Logic, 27(1), 49–73. https://doi.org/10.1023/A:1004222213212.CrossRef

Łukasiewicz, J. (1920). On three-valued logic (in: J. Łukasiewicz (ed. by L. Borkowski), Selected works, North-Holland Pub. Co., Amsterdam, 1970), pp. 87–88.

Łukasiewicz, J., & Tarski, A. (1930). Untersuchungen über den Aussagenkalkul. Comptes Rendus de Séances de la Societé de Sciences et des Lettres de Varsovie, III(23), 1–21 (English translation: Investigation into the sentential calculus, (in J. Łukasiewicz (ed. by L. Borkowski), Selected works, North-Holland Pub. Co., Amsterdam, 1970).

Petrukhin, Y., & Shangin, V. (2018). Natural three-valued logics characterized by natural deduction. Logique et Analyse, 61(244), 407–427.

Priest, G. (2002). Paraconsistent logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 6, pp. 287–393). Berlin: Springer.CrossRef

Rasiowa, H. (1974). An algebraic approach to non-classical logics (Vol. 78). Amsterdam: North-Holland Publishing Company.CrossRef

Robles, G. (2014). A simple Henkin-style completeness proof for Gödel 3-valued logic G3. Logic and Logical Philosophy, 23(4), 371–390. https://doi.org/10.12775/LLP.2014.001.CrossRef

Robles, G., & Méndez, J. M. (2014). A paraconsistent 3-valued logic related to Gödel logic G3. Logic Journal of the IGPL, 22(4), 515–53. https://doi.org/10.1093/jigpal/jzt046.CrossRef

Robles, G., & Méndez, J. M. (2019a). Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix with two designated values. Journal of Applied Non-Classical Logics, 29(1), 37–63. https://doi.org/10.1080/11663081.2018.1534487.CrossRef

Robles, G., & Méndez, J. M. (2019b). Partiality and its dual in natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value. Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzz021.

Robles, G., & Méndez, J. M. (in preparation). Relevant natural 3-valued logics.

Robles, G., Salto, F., & Méndez, J. M. (2013). Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz’s 3-valued logic Ł3. Journal of Philosophical Logic. https://doi.org/10.1007/s10992-012-9264-0.

Robles, G., Salto, F., & Méndez, J. M. (2019). Belnap–Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix II. Only one designated value. Journal of Applied Non-Classical Logics, 29(3), 307–325. https://doi.org/10.1080/11663081.2019.1644079.CrossRef

Routley, R., Meyer, R. K., Plumwood, V., & Brady, R. T. (1982). Relevant logics and their rivals (Vol. 1). Atascadero, CA: Ridgeview Publishing Co.

Sette, A. M. (1973). On propositional calculus P\(_{1}\). Mathematica Japonica, 16, 173–180.

Sobociński, B. (1952). Axiomatization of a partial system of three-valued calculus of propositions. The Journal of Computing Systems, I, 23–55.

Tomova, N. (2010a). Regular Kleene’s logics: Extensions and generalization. Ph.D. dissertation, Lomonosov Moscow State University (in Russian).

Tomova, N. (2010b). Implicative extensions of regular Kleene logics. Logical Investigations, 16, 233–258.CrossRef

Tomova, N. (2012). A lattice of implicative extensions of regular Kleene’s logics. Reports on Mathematical Logic, 47, 173–182.

Tomova, N. (2013). Natural three-valued logics and classical logic. Logical Investigations, 19(Special Issue), 344–352.CrossRef

Wójcicki, R. (1988). Theory of logical calculi: Basic theory of consequence operations (Vol. 199)., Synthese library Dordrecht: Springer.CrossRef

Titel: The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3
verfasst von: Gemma Robles
José M. Méndez
Publikationsdatum: 02.11.2019
Verlag: Springer Netherlands
Erschienen in: Journal of Logic, Language and Information / Ausgabe 3/2020
Print ISSN: 0925-8531
Elektronische ISSN: 1572-9583
DOI: https://doi.org/10.1007/s10849-019-09306-2

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner