Przejdź do sekcji głównej Przejdź do głównego menu Przejdź do stopki
  • Zarejestruj
  • Zaloguj
  • Język
    • English
    • Język Polski
  • Menu
  • Strona domowa
  • Aktualny numer
  • Archiwum
  • Prace online
  • O czasopiśmie
    • O czasopiśmie
    • Przesyłanie tekstów
    • Zespół redakcyjny
    • Rada redakcyjna
    • Proces recenzji
    • Komitet Logic and Logical Philosophy
    • Polityka Open Access
    • Polityka prywatności
    • Kontakt
  • Zarejestruj
  • Zaloguj
  • Język:
  • English
  • Język Polski

Logic and Logical Philosophy

Implicational Logic, Relevance, and Refutability
  • Strona domowa
  • /
  • Implicational Logic, Relevance, and Refutability
  1. Strona domowa /
  2. Archiwum /
  3. Tom 29 Nr 1 (2020): March /
  4. Artykuły

Implicational Logic, Relevance, and Refutability

Autor

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

DOI:

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

Słowa kluczowe

implicational logic, relevance logic, refutation systems

Abstrakt

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).

Bibliografia

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

Pobrania

  • PDF (English)

Opublikowane

19.06.2019

Jak cytować

1.
SKURA, Tomasz. Implicational Logic, Relevance, and Refutability. Logic and Logical Philosophy [online]. 19 czerwiec 2019, T. 29, nr 1, s. 19–33. [udostępniono 8.7.2025]. DOI 10.12775/LLP.2019.024.
  • PN-ISO 690 (Polski)
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Pobierz cytowania
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Numer

Tom 29 Nr 1 (2020): March

Dział

Artykuły

Statystyki

Liczba wyświetleń i pobrań: 861
Liczba cytowań: 0

Crossref
Scopus
Google Scholar
Europe PMC

Wyszukiwanie

Wyszukiwanie

Przeglądaj

  • Indeks autorów
  • Lista archiwalnych numerów

Użytkownik

Użytkownik

Aktualny numer

  • Logo Atom
  • Logo RSS2
  • Logo RSS1

Informacje

  • dla czytelników
  • dla autorów
  • dla bibliotekarzy

Newsletter

Zapisz się Wypisz się

Język / Language

  • English
  • Język Polski

Tagi

Szukaj przy pomocy tagu:

implicational logic, relevance logic, refutation systems
W górę

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partnerzy platformy czasopism

  • 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- Uniwersytet Mikołaja Kopernika w Toruniu Deklaracja dostępności Sklep wydawnictwa