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, p. 156-161. ISBN 978-80-263-1545-2.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Do we need formal language when starting a logical system?
Authors MATERNA, Pavel (203 Czech Republic, guarantor, belonging to the institution).
Edition Brno, Slavonic Natural Language Processing in the 21st Century, p. 156-161, 6 pp. 2019.
Publisher Tribun EU
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10200 1.2 Computer and information sciences
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
Publication form printed version "print"
RIV identification code RIV/00216224:14330/19:00107940
Organization unit Faculty of Informatics
ISBN 978-80-263-1545-2
Keywords in English logical system; formal language; explication
Tags International impact
Changed by Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2020 11:08.
Abstract
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.
Links
GA18-23891S, research and development projectName: Hyperintensionální usuzování nad texty přirozeného jazyka
Investor: Czech Science Foundation
PrintDisplayed: 23/7/2024 02:36