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

Some new results on PCL1 and its related systems
  • Strona domowa
  • /
  • Some new results on PCL1 and its related systems
  1. Strona domowa /
  2. Archiwum /
  3. Tom 19 Nr 1-2 (2010) /
  4. Artykuły

Some new results on PCL1 and its related systems

Autor

  • Toshiharu Waragai Department of Logic, Nicolaus Copernicus University
  • Hitoshi Omori Tokyo Institute of Technology

DOI:

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

Słowa kluczowe

paraconsistent logic, classical negation, da Costa's system C1

Abstrakt

In [Waragai & Shidori, 2007], a system of paraconsistent logic called PCL1, which takes a similar approach to that of da Costa, is proposed. The present paper gives further results on this system and its related systems. Those results include the concrete condition to enrich the system PCL1 with the classical negation, a comparison of the concrete notion of “behaving classically” given by da Costa and by Waragai and Shidori, and a characterisation of the notion of “behaving classically” given by Waragai and Shidori.

Biogramy autorów

Toshiharu Waragai - Department of Logic, Nicolaus Copernicus University

Graduate School of Decision Science and Technology

Hitoshi Omori - Tokyo Institute of Technology

Graduate School of Decision Science and Technology

Bibliografia

Arruda, A.I., 1980, “A survey of paraconsistent logic”, pp. 1–41 in: A.I. Arruda, R. Chuaqui, and N.C.A. da Costa (eds.), Mathematical Logic in Latin America: Proc. of the 4th Latin American Symposium on Mathematical Logic, North-Holand.

Béziau, J.-Y., 2002, “Are paraconsistent negations negations?”, pp. 465–486 in: W.A. Carnielli, M.E. Coniglio, and I.M.L. D’Ottaviano (eds.), Paraconsistency: The Logical Way to the Inconsistent, Proc. of the II World Congress on Paraconsistency, Marcel Dekker.

Carnielli, W.A., M.E. Coniglio, J. Marcos, 2005, “Logics of formal inconsistency”, pp. 1–93 in: D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic.

Carnielli, W.A., and J. Marcos, 1999, “Limits for paraconsistent calculi”, Notre Dame Journal of Formal Logic 40, 3: 375–390.

Carnielli, W.A., J. Marcos, 2002, “A taxonomy of C-systems”, pp. 1–94 in: W.A. Carnielli, M.E. Coniglio, and I.M.L. D’Ottaviano (eds.), Paraconsistency: The Logical Way to the Inconsistent, Proc. of the II World Congress on Paraconsistency, Marcel Dekker.

da Costa, N.C.A., 1974, “On the theory of inconsistent formal systems”, Notre Dame Journal of Formal Logic 15, 4: 497–510.

da Costa, N.C.A., and M. Guillaume, 1965, “Négations composées et loi de Peirce dans les systèmes C n ”, Portugaliae Mathematica 24, 4: 201–210.

Guillaume, M., 2007, “Da Costa 1964 logical seminar: revised memories”, pp. 3–62 in: J.-Y. Béziau, W.A. Carnielli and D. Gabbay (eds.), Handbook of Paraconsistency, College Publications.

Jaśkowski, S., 1948, “Rachunek zdań dla systemów dedukcyjnych sprzecznych”, Studia Societatis Scientiarum Torunensis, Sectio A, Vol. I, No. 5: 57–77.

Jaśkowski, S., 1949, “O koniunkcji dyskusyjnej w rachunku zdań dla systemów dedukcyjnych sprzecznych”, Studia Societatis Scientiarum Torunensis, Sectio A, Vol. I, No. 8: 171–172.

Jaśkowski, S., 1999, “A propositional calculus for inconsistent deductive systems”, Logic and Logical Philosophy 7: 35–56; translation of [Jaśkowski, 1948] by O. Wojtasiewicz with corrections and notes by J. Perzanowski.

Jaśkowski, S., 1999, “On the discussive conjunction in the propositional calculus for inconsistent deductive systems”, Logic and Logical Philosophy 7: 57–59; translation of [Jaśkowski, 1949] by J. Perzanowski.

Kleene, S.C., 1967, Introduction to Metamathematics, Amsterdam, North-Holland.

Kotas, J., 1975, “Discussive sentential calculus of Jaśkowski”, Studia Logica 34, 2: 149–168.

Marcos, J., 2005a, “Modality and paraconsistency”, pp. 213–222 in: M. Bilvoka and L. Behounek (eds.), The Logica Yearbook 2004, Filosofia.

Marcos, J., 2005b, “Nearly every normal modal logic is paranormal”, Logique et Analyse 48: 279–300.

Marcos, J., 2005c, “On a problem of da Costa”, pp. 53–69 in: G. Sica (ed.), Essays on the Foundations of Mathematics and Logic, vol. 2, Monza: Polimetrica.

Omori, H., and T. Waragai, 2010, “Propagation of consistency in some systems of paraconsistent logic”, to be presented to LRR10, Ghent, Belgium.

Priest, G., and R. Routley, 1984, “Introduction: Paraconsistent Logics”, Studia Logica 43, 1–2: 3–16.

Rasiowa, H., and R. Sikorski, 1970, The Mathematics of Metamathematics, Warszawa, Polish Scientific Publishers.

Urbas, I., 1989, “Paraconsistency and the C-systems of da Costa”, Notre Dame Journal of Formal Logic 30, 4: 583–597.

Waragai, T., and T. Shidori, 2007, “A system of paraconsistent logic that has the notion of ‘behaving classically’ in terms of the law of double negation and its relation to S5”, pp. 177–187 in: J.-Y. Béziau, W.A. Carnielli and D. Gabbay (eds.), Handbook of Paraconsistency, College Publications.

Logic and Logical Philosophy

Pobrania

  • PDF (English)

Opublikowane

30.06.2010

Jak cytować

1.
WARAGAI, Toshiharu & OMORI, Hitoshi. Some new results on PCL1 and its related systems. Logic and Logical Philosophy [online]. 30 czerwiec 2010, T. 19, nr 1-2, s. 129–158. [udostępniono 6.7.2025]. DOI 10.12775/LLP.2010.006.
  • PN-ISO 690 (Polski)
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Pobierz cytowania
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Numer

Tom 19 Nr 1-2 (2010)

Dział

Artykuły

Statystyki

Liczba wyświetleń i pobrań: 519
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:

paraconsistent logic, classical negation, da Costa's system C1
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