Results 11 to 20 of about 9,194 (262)
Henkin semantics for reasoning with natural language
Journal of Language Modelling, 2016 The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by formal semanticists.
Michael Hahn, Frank Richter
doaj +1 more source
Natural Logic for Natural Language [PDF]
, 2007 For a cognitive account of reasoning it is useful to factor out the syntactic aspect -- the aspect that has to do with pattern matching and simple substitution -- from the rest. The calculus of monotonicity, alias the calculus of natural logic, does precisely this, for it is a calculus of appropriate substitutions at marked positions in syntactic ...
openaire +4 more sources
Unnaturalness of Negation – an Old Wives’ Tale Retold
ELOPE, 2006 Negation has a very long history of study. In the realm of logic, negation is seen as a simple operation that turns an affirmative to a negative. This assumption strongly affected the linguistic study of negation, and led to some misconceptions.
Gašper Ilc
doaj +1 more source
A Fuzzy Grammar for Evaluating Universality and Complexity in Natural Language
Mathematics, 2022 The paper focuses on linguistic complexity and language universals, which are two important and controversial issues in language research. A Fuzzy Property Grammar for determining the degree of universality and complexity of a natural language is ...
Adrià Torrens-Urrutia +3 more
doaj +1 more source
Traditional Logic, Modern Logic and Natural Language [PDF]
Journal of Philosophical Logic, 2009 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Les proverbes : des règles de vie souvent hors la loi
Recherches, 2019 Spanish proverbs are general prescriptive principles, since they systematically induce a directive act. Guardians of a natural logic, they admit exceptions and are therefore flexible didactic norms.
Sonia Fournet-Pérot
doaj +1 more source
Natural language understanding for logical games
CoRR, 2021 We developed a system able to automatically solve logical puzzles in natural language. Our solution is composed by a parser and an inference module. The parser translates the text into first order logic (FOL), while the MACE4 model finder is used to compute the models of the given FOL theory.
Adrian Groza, Cristian Nitu
openaire +2 more sources
Вестник Кемеровского государственного университета, 2022 The article introduces translative linguistics as a special branch in the study of natural languages and describes the history of its development.
N. D. Golev
doaj +1 more source
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II) [PDF]
Logical Methods in Computer Science, 2020 There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals.
Willem Conradie +2 more
doaj +1 more source
ACC Journal, 2023 The author’s dissertation deals with the contemporary styles of Russian and Czech scientific prose in natural sciences. The aim of the research is to provide a detailed description of the language means of functional-semantic categories such as ...
Matyášková Gabriela
doaj +1 more source