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

K vyhodnocování tohoto webu a k personalizaci obsahu a reklam používáme soubory cookies. Když klikněte na „přijmout cookies", poskytnete nám souhlas k jejich uložení, správě a analýze. Upravit možnosti

Jen nezbytné Přijmout cookies