MATERNA, Pavel. Do we need formal language when starting a logical system? In A. Horák, K. Osolsobě, A. Rambousek, P. Rychlý. Slavonic Natural Language Processing in the 21st Century. Brno: Tribun EU, 2019, s. 156-161. ISBN 978-80-263-1545-2. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1599619, author = {Materna, Pavel}, address = {Brno}, booktitle = {Slavonic Natural Language Processing in the 21st Century}, editor = {A. Horák, K. Osolsobě, A. Rambousek, P. Rychlý}, keywords = {logical system; formal language; explication}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Brno}, isbn = {978-80-263-1545-2}, pages = {156-161}, publisher = {Tribun EU}, title = {Do we need formal language when starting a logical system?}, year = {2019} }
TY - JOUR ID - 1599619 AU - Materna, Pavel PY - 2019 TI - Do we need formal language when starting a logical system? PB - Tribun EU CY - Brno SN - 9788026315452 KW - logical system KW - formal language KW - explication N2 - 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. ER -
MATERNA, Pavel. Do we need formal language when starting a logical system? In A. Horák, K. Osolsobě, A. Rambousek, P. Rychlý. \textit{Slavonic Natural Language Processing in the 21st Century}. Brno: Tribun EU, 2019, s.~156-161. ISBN~978-80-263-1545-2.
|