Informace o publikaci

Do we need formal language when starting a logical system?

Logo poskytovatele
Autoři

MATERNA Pavel

Rok publikování 2019
Druh Článek ve sborníku
Konference Slavonic Natural Language Processing in the 21st Century
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Klíčová slova logical system; formal language; explication
Popis Some logicians believe that when they start building a logical system they have to define a formal language. In the present paper I show that not only is it not needed but actually is it impossible.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info