On the Proof Theory of Natural Many-valued Logics

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationCollegium Logicum
Subtitle of host publicationAnnals of the Kurt-Gödel-Society
Place of PublicationWien
PublisherInstitute of Computer Science AS CR Prague
Pages51-59
Volume3
StatePublished - 1999

Publication series

NameCollegium Logicum
Volumevol. 3

Keywords

  • MEHRWERTIGE LOGIK (MATHEMATISCHE LOGIK)
  • INFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC)
  • MANY-VALUED LOGIC (MATHEMATICAL LOGIC)
  • RECHERCHE D'INFÉRENCE + THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE)
  • LOGIQUE MULTIVALENTE (LOGIQUE MATHÉMATIQUE)
  • ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK)
  • SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK)
  • ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK)
  • COMPLEXITÉ ALGORITHMIQUE (MATHÉMATIQUES)
  • DECISION PROBLEMS (MATHEMATICAL LOGIC)
  • ALGORITHMIC COMPLEXITY (MATHEMATICS)
  • PROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE)

Cite this