Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

Kolekcja
monografie
Pobierz opis bibliograficzny

Opis

  • Tytuł: Zagadnienia syntaktyki i semantyki systemów dedukcyjnych
  • Autor:
  • Wydawca: Akademia Ignatianum w Krakowie
  • Rok: 2024
  • Miejsce wydania: Kraków
  • Adres URL: https://wydawnictwo.ignatianum.edu.pl/zagadnienia-syntaktyki-i-semantyki-systemow-dedukcyjnych.htm
  • ISBN: 978-83-7614-616-4
  • Słowa kluczowe :
    • dowody indukcyjne
    • metody metalogiki
    • modelu (teoromodelowe i teoriomnogościowe)
    • niesprzeczność
    • pełność systemu
    • pojęcie konsekwencji
    • pojęcie spełniania
    • postaci normalne
    • prawdy
    • rozstrzygalność systemu
    • semantyczne pojęcie niesprzeczności
    • typy systemów dedukcyjnych
    • wynikanie logiczne
    • zupełność
  • Struktura:
    • Wydział Filozoficzny
    • Instytut Filozofii
  • Dyscyplina: filozofia

MARC

  • 002 $a Zagadnienia syntaktyki i semantyki systemów dedukcyjnych
  • 003 $a ADAM JONKISZ (Autor)
  • 003 $e 0000-0001-9850-2137
  • 004 $a Monografia naukowa
  • 005 $a 2024
  • 006 $c Akademia Ignatianum w Krakowie
  • 007 $a 978-83-7614-616-4
  • 011 $a https://wydawnictwo.ignatianum.edu.pl/zagadnienia-syntaktyki-i-semantyki-systemow-dedukcyjnych.htm
  • 016 $a Kraków
  • 017 $a 254
  • 023 $a dowody indukcyjne
  • 023 $a metody metalogiki
  • 023 $a modelu (teoromodelowe i teoriomnogościowe)
  • 023 $a niesprzeczność
  • 023 $a pełność systemu
  • 023 $a pojęcie konsekwencji
  • 023 $a pojęcie spełniania
  • 023 $a postaci normalne
  • 023 $a prawdy
  • 023 $a rozstrzygalność systemu
  • 023 $a semantyczne pojęcie niesprzeczności
  • 023 $a typy systemów dedukcyjnych
  • 023 $a wynikanie logiczne
  • 023 $a zupełność
  • 025 $a Zagadnienia syntaktyki i semantyki systemów dedukcyjnych
  • 336 $a Monografia naukowa
  • 985 $a Wydział Filozoficzny
  • 985 $b Instytut Filozofii
  • 999 $a filozofia

Dublin Core