Atomic sentence
View article
Exploring Semantic Properties of Sentence Embeddings Open
Neural vector representations are ubiquitous throughout all subfields of NLP. While word vectors have been studied in much detail, thus far only little light has been shed on the properties of sentence embeddings. In this paper, we assess …
View article
Spatiotemporally distributed frontotemporal networks for sentence reading Open
Reading a sentence entails integrating the meanings of individual words to infer more complex, higher-order meaning. This highly rapid and complex human behavior is known to engage the inferior frontal gyrus (IFG) and middle temporal gyrus…
View article
STRUKTUR KALIMAT TUNGGAL BAHASA SINDANG DI KOTA LUBUKLINGGAU DAN PENGARUHNYA DALAM PEMBELAJARAN BAHASA INDONESIA Open
The objective of this research is to give the understanding about the simple sentence structure Sindang Language ini Lubuklinggau and describe the effect in Indonesian language learning process. This research used descriptive qualitative m…
View article
A Novel Categorical Approach to Semantics of Relational First-Order Logic Open
We present a categorical formalization of a variant of first-order logic. Unlike other texts on this topic, the goal of this paper is to give a very transparent and self-contained account without requiring more background than basic logic …
View article
Fusing Recency into Neural Machine Translation with an Inter-Sentence\n Gate Model Open
Neural machine translation (NMT) systems are usually trained on a large\namount of bilingual sentence pairs and translate one sentence at a time,\nignoring inter-sentence information. This may make the translation of a\nsentence ambiguous …
View article
Interval vs. Point Temporal Logic Model Checking Open
In recent years, model checking with interval temporal logics is emerging as a viable alternative to model checking with standard point-based temporal logics, such as LTL, CTL, CTL*, and the like. The behavior of the system is modeled by m…
View article
Inferentialism, Context-Shifting and Background Assumptions Open
In this paper I present how the normative inferentialist can make the distinction between sentence meaning and content of the utterance. The inferentialist can understand sentence meaning as a role conferred to that sentence by the rules g…
View article
An Analysis on Students’ Errors in Writing Sentence Patterns Open
Simple, compound, complex, and compound-complex sentences are sentence patterns which each sentence has different pattern, and it is strongly related to grammatical structure, punctuation marks, and connectors. Due to the complexity, EFL l…
View article
An Axiomatization of a First-order Branching Time Temporal Logic Open
Early decisions relating to the implementation of virtual care relied on necessity and clinical judgement, but there is a growing need for the generation of evidence to inform policy and practice designs. The need for stronger partnerships…
View article
ANALISIS KALIMAT BERDASARKAN POLA KALIMAT DASAR DAN KALKULUS PREDIKAT Open
This study aims to analyze the sentences based on the basic sentence patterns of Indonesian and predicate calculus. These approaches put the predicate as a core component in the sentence structure. The object of study is focused on declara…
View article
ANALYSIS OF SIMPLE SENTENCE STRUCTURE IN ENGLISH: FUNCTIONAL SYNTAX APPROACH Open
Many approaches in syntax give a deeper chance to analyze the sentence beyond its formal structure even though those approaches focus on the issues of words category, function and role in a sentence construction. The approach of functional…
View article
Clause order and syntactic integration patterns in Dutch conditionals Open
Conditional clauses in Dutch can occur in sentence-initial and sentence-final position. For sentence-initial conditionals, a number of syntactic integration patterns are available. This corpus study investigates to what extent clause order…
View article
Deontology of Compound Actions Open
This paper, being a companion to the book [2] elaborates the deontology of sequential and compound actions based on relational models and formal constructs borrowed from formal linguistics. The semantic constructions presented in this pape…
View article
A Syntactical Analysis on Sentence Structures Spoken by Joe Biden and Donald Trump in the Election Night Speeches Open
This study attempted to investigate the types of sentence structures spoken by Joe Biden and Donald Trump in the election night speech in the year of 2020. The design of this research was qualitative and quantitative research. The total of…
View article
Fusing Recency into Neural Machine Translation with an Inter-Sentence Gate Model Open
Neural machine translation (NMT) systems are usually trained on a large amount of bilingual sentence pairs and translate one sentence at a time, ignoring inter-sentence information. This may make the translation of a sentence ambiguous or …
View article
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison Open
Model checking is a powerful method widely explored in formal verification to check the (state-transition) model of a system against desired properties of its behaviour. Classically, properties are expressed by formulas of a temporal logic…
View article
Logic without metaphysics Open
Standard definitions of logical consequence for formal languages are atomistic. They take as their starting point a range of possible assignments of semantic values to the extralogical atomic constituents of the language, each of which gen…
View article
Sentence Encoding with Tree-constrained Relation Networks Open
The meaning of a sentence is a function of the relations that hold between its words. We instantiate this relational view of semantics in a series of neural models based on variants of relation networks (RNs) which represent a set of objec…
View article
Feature analysis of sentence vectors by an image-generation model using Sentence-BERT Open
In this study, using k-means and UMAP, we verified that the sentence vectors generated by Sentence-BERT as distributed representations of sentences capture the meaning of sentences well. To this end, we visualized the sentence vectors by g…
View article
Dialogue Generation on Infrequent Sentence Functions via Structured Meta-Learning Open
Sentence function is an important linguistic feature indicating the communicative purpose in uttering a sentence. Incorporating sentence functions into conversations has shown improvements in the quality of generated responses. However, th…
View article
AutoHyper: Explicit-State Model Checking for HyperLTL Open
HyperLTL is a temporal logic that can express hyperproperties, i.e., properties that relate multiple execution traces of a system. Such properties are becoming increasingly important and naturally occur, e.g., in information-flow control, …
View article
Sentence Reduction for Syntactic Analysis of Compound Sentences in Punjabi Language Open
Objective: This research paper is an attempt to develop a syntactic analysis system for compound sentences of Punjabi language. Methods/Statistical Analysis: Sentence simplification approach has been used for splitting compound sentences i…
View article
Neural encoding of semantic structures during sentence production Open
The neural representations for compositional processing have so far been mostly studied during sentence comprehension. In an fMRI study of sentence production, we investigated the brain representations for compositional processing during s…
View article
STRUCTURE SHIFT IN INDONESIAN – ENGLISH TRANSLATION Open
Structure shift is one of the problems in translations. This problem is important to be dealt with because it is the most frequent category occurring at all rank in translation. Besides, in grammar structure shift can occur at all ranks. T…
View article
Events under Negation Open
The paper centers on the problem of how the event role of verbs interacts with sentence negation. We investigate the behavior of sentence negation in the syntax-semantics mapping, placing special focus on the influence of sentence negation…
View article
Adding 4.0241 to TLP Open
Tractatus 4.024 inspired the dominant semantics of our time: truth-conditional semantics. This is focused on possible worlds: the content ofpis theset of worlds wherepis true. It has become increasingly clear that such an accountis, at bes…
View article
The Propositional Logic of Frege’s Grundgesetze: Semantics and Expressiveness Open
In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, t…
View article
Methods of identifying logical connections between parts of text documents Open
Для здійснення змістовного аналізу електронних текстових документів запропоновано використовувати
\nформальні логіко-лінгвістичні моделі. Метою статті є опис критеріїв аналізу формальних моделей, що здатні
\nвідображати зміст речень природ…
View article
Safe Formulas in the General Theory of Stable Models Open
Safe first-order formulas generalize the concept of a safe rule, which plays an important role in the design of answer set solvers. We show that any safe sentence is equivalent, in a certain sense, to the result of its grounding -- to the …
View article
Actualism, Serious Actualism, and Quantified Modal Logic Open
This article studies seriously actualistic quantified modal logics. A key component of the language is an abstraction operator by means of which predicates can be created out of complex formulas. This facilitates proof of a uniform substit…