Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

Implicational Logic, Relevance, and Refutability
  • Home
  • /
  • Implicational Logic, Relevance, and Refutability
  1. Home /
  2. Archives /
  3. Vol. 29 No. 1 (2020): March /
  4. Articles

Implicational Logic, Relevance, and Refutability

Authors

  • Tomasz Skura University of Zielona Góra, Institute of Philosophy

DOI:

https://doi.org/10.12775/LLP.2019.024

Keywords

implicational logic, relevance logic, refutation systems

Abstract

The goal of this paper is to analyse Implicational Relevance Logic from the point of view of refutability. We also correct an inaccuracy in our paper “The RM paraconsistent refutation system” (DOI: http://dx.doi.org/10.12775/LLP.2009.005).

References

Anderson, A.R., and N.D. Belnap, Entailment, volume 1, Princeton University Press, Princeton, 1975.

Anderson, A.R., N.D. Belnap, and J.M. Dunn, Entailment, volume 2., Princeton University Press, Princeton, 1992.

Avron, A., “Relevance entailment: Semantics and formal systems”, Journal of Symbolic Logic 49, 2 (1984): 334–342. DOI: http://dx.doi.org/10.2307/2274169

Avron, A., “Relevance and paraconsistency – a new approach Part II: The formal systems”, Notre Dame Journal of Formal Logic 31, 2 (1990): 169–202. DOI: http://dx.doi.org/10.2307/2275380

Dunn, J.M., and G. Restall, “Relevance logic”, pages 1–128 in D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, volume 6, Kluwer, 2002. DOI: http://dx.doi.org/10.1007/978-94-017-0460-1_1

Gabbay, D.M., Semantical Investigations in Heyting’s Intuitionistic Logic, D. Reidel, Dordrecht, 1981. DOI: http://dx.doi.org/10.1007/978-94-017-2977-2

Parks, R.Z., “A note on R-mingle and Sobociński’s three-valued logic”, Notre Dame Journal of Formal Logic 13, 2 (1972): 227–228. DOI: http://dx.doi.org/10.1305/ndjfl/1093894720

Segerberg, K., “Proof of a conjecture of McKay”, Fundamenta Mathematicae 81 (1974): 267–270.

Skura, T., “Maximality and refutability”, Notre Dame Journal of Formal Logic 45, 2 (2004): 65–72. DOI: http://dx.doi.org/10.1305/ndjfl/1095386644

Skura, T., “The RM paraconsistent refutation system”, Logic and Logical Philosophy 18, 1 (2009): 65–70. DOI: http://dx.doi.org/10.12775/LLP.2009.005

Skura, T., “Refutation systems in propositional logic”, pages 115–157 in D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, volume 16, Springer, 2011. DOI: http://dx.doi.org/10.1007/978-94-007-0479-4_2

Logic and Logical Philosophy

Downloads

  • PDF

Published

2019-06-19

How to Cite

1.
SKURA, Tomasz. Implicational Logic, Relevance, and Refutability. Logic and Logical Philosophy. Online. 19 June 2019. Vol. 29, no. 1, pp. 19-33. [Accessed 7 July 2025]. DOI 10.12775/LLP.2019.024.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 29 No. 1 (2020): March

Section

Articles

Stats

Number of views and downloads: 861
Number of citations: 0

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski

Tags

Search using one of provided tags:

implicational logic, relevance logic, refutation systems
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop