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

Classical model existence and left resolution
  • Strona domowa
  • /
  • Classical model existence and left resolution
  1. Strona domowa /
  2. Archiwum /
  3. Tom 16 Nr 4 (2007) /
  4. Artykuły

Classical model existence and left resolution

Autor

  • Jui-Lin Lee Department of Logic, Nicolaus Copernicus University

DOI:

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

Słowa kluczowe

classical propositional logic, classical model existence theorem, Gentzen system, resolution

Abstrakt

By analyzing what are necessary conditions in the proof [4] of the classical model existence theorem CME (every consistent set has a classical model), we present the left resolution Gentzen systems R(¬,-), which proof-theoretically characterize CME.

Biogram autora

Jui-Lin Lee - Department of Logic, Nicolaus Copernicus University

Department of Philosophy

Bibliografia

Béziau. J.-Y., “Sequents and bivaluations”, Logique et Analyse 176 (2001), 373–94.

Buss, S.R., “An introduction to proof theory”, pp. 1–78 in Handbook of Proof Theory, Stud. Logic Found. Math., 137, North-Holland, Amsterdam, 1998.

Epstein, R.L., The Semantic Foundations of Logic. Vol. 1: Propositional logics, 2nd edn., Oxford University Press, 1995.

Lee, J.-L., “Classical model existence theorem in propositional logics”, pp. 179–197 in Perspectives on Universal Logic, J-Y. Béziau and A. Costa-Leite (eds.), Polimetrica, Monza, Italy, 2007.

Lee, J.-L., “Consistency and satisfiability”, presented in Taiwan Philosophical Association 2007 Annual meeting, on October 21, 2007.

Lee, J.-L., “Classical model existence theorem in subclassical predicate logics. I”, accepted and to appear in Trends in Logic: Towards Mathematical Philosophy, D. Makinson, J. Malinowski and H. Wansing (eds.), in the book series “Trends in Logic” – Studia Logica Library, 2008.

Lee, J.-L., “Glivenko’s Theorem for weak normal modal logics”, submitted to Advances in Modal Logic 2008, 2008.

Tarski, A., “Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I.”, Monatshefte für Mathematik und Physik 37 (1930), 361–404.

Tsejtin, G.S., “On the complexity of derivation in propositional logic”, Studies in Constructive Mathematics and Mathematical Logic 2 (1968), 115–125.

Wójcicki, R., Theory of Logical Calculi, Synthese Library, vol. 199, Dordrecht: Kluwer Academic Publishers Group Press, 1988.

Logic and Logical Philosophy

Pobrania

  • PDF (English)

Opublikowane

26.02.2008

Jak cytować

1.
LEE, Jui-Lin. Classical model existence and left resolution. Logic and Logical Philosophy [online]. 26 luty 2008, T. 16, nr 4, s. 323–352. [udostępniono 6.7.2025]. DOI 10.12775/LLP.2007.011.
  • PN-ISO 690 (Polski)
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Pobierz cytowania
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Numer

Tom 16 Nr 4 (2007)

Dział

Artykuły

Statystyki

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

classical propositional logic, classical model existence theorem, Gentzen system, resolution
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