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

Sequents for non-wellfounded mereology
  • Strona domowa
  • /
  • Sequents for non-wellfounded mereology
  1. Strona domowa /
  2. Archiwum /
  3. Tom 25 Nr 3 (2016): wrzesień /
  4. Artykuły

Sequents for non-wellfounded mereology

Autor

  • Paolo Maffezioli Nicolaus Copernicus University, Department of Logic

DOI:

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

Słowa kluczowe

mereology, sequent calculi, proof theory

Abstrakt

The paper explores the proof theory of non-wellfounded mereology with binary fusions and provides a cut-free sequent calculus equivalent to the standard axiomatic system.

Bibliografia

Cotnoir, A., and A. Bacon, “Non-wellfounded mereology”, The Review of Symbolic Logic, 5, 2 (2012): 187–204. DOI:10.1017/S1755020311000293

D’Agostino, M., and M. Mondadori, “The taming of the cut. Classical refutations with analytic cut”, Journal of Logic and Computation, 4, 3 (1994): 285–319. DOI:10.1093/logcom/4.3.285

Dyckhoff, R., and S. Negri, “Geometrisation of first-order logic”, The Bullettin of Symbolic Logic,21,2 (2015):123–163. DOI:10.1017/bsl.2015.7

Maffezioli, P., “Analytic rules for mereology”, Studia Logica, 104, 1 (2016): 79–114. DOI:10.1007/s11225-015-9623-2

Negri, S., “Proof analysis beyond geometric theories: From rule systems to systems of rules”, Journal of Logic and Computation, 26, 2 (2016): 513–537. DOI:10.1093/logcom/exu037

Negri, S., and J. von Plato, Proof Analysis. A Contribution to Hilbert’s Last Problem, Cambridge University Press, 2011. DOI:10.1017/CBO9781139003513

Troelstra, A.S., and H. Schwichtemberg, Basic Proof Theory, Cambridge University Press, 2nd edition, 2000. DOI:10.1017/CBO9781139168717

Varzi, A., “The extensionality of parthood and composition”, The Philosophical Quarterly, 10, 58 (2008): 108–33. DOI:10.1111/j.1467-9213.2007.542.x

Varzi, A., “Mereology”, The Stanford Encyclopedia of Philosophy (Spring 2016 Edition), E.N. Zalta (ed.) http://plato.stanford.edu/archives/spr2016/entries/mereology/

Logic and Logical Philosophy

Pobrania

  • PDF (English)

Opublikowane

12.04.2016

Jak cytować

1.
MAFFEZIOLI, Paolo. Sequents for non-wellfounded mereology. Logic and Logical Philosophy [online]. 12 kwiecień 2016, T. 25, nr 3, s. 351–369. [udostępniono 3.7.2025]. DOI 10.12775/LLP.2016.005.
  • PN-ISO 690 (Polski)
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Pobierz cytowania
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Numer

Tom 25 Nr 3 (2016): wrzesień

Dział

Artykuły

Statystyki

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

mereology, sequent calculi, proof theory
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