Poznámka o vzájemné vyjádřitelnosti logických spojek v konečněhodnotových Godelových-Dummettových logikách

Abstrakt

Je-li m>=3, pak v m-hodnotové Godel-Dummettově logice nelze konjunkci vyjádřit pomocí ostatních logických spojek, a to ani když se výrokový jazyk obohatí o konstanty pro všechny pravdivostní hodnoty. Totéž je pravda i pro implikaci.

Klíčová slova

• Inter-Expressibility
• Logical
• Connectives
• Finitely-Valued
• Godel-Dummett
• Logics