Results 31 to 40 of about 10,814 (309)

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, Salih Durhan, Guido Sciavicco   +2 more
doaj   +1 more source

Comparative Analysis of Grammatical Aspects of Contemporary Russian and Czech Style of Exact Science (in the Field of Geology)

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

Between Codes and Palimpsest: Stephanie Strickland's Dragon Logic

Ex-centric Narratives: Journal of Anglophone Literature, Culture and Media, 2019
This article will study the impact of programming languages on poetic language in Stephanie Strickland’s print poetry collection Dragon Logic (2013). In this article, I argue that Dragon Logic not only ponders on the changes that occur in contemporary ...
Lizzy Pournara
doaj   +1 more source

Varieties of conventional implicature

Semantics and Pragmatics, 2010
This paper provides a system capable of analyzing the combinatorics of a wide range of conventionally implicated and expressive constructions in natural language via an extension of Potts's (2005) L_CI logic for supplementary conventional implicatures ...
Eric Scott McCready
doaj   +1 more source

Intuitionistic quantum logic of an n-level system [PDF]

, 2009
A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics.
Landsman, N.P., Nicolaas P. Landsman, Caspers, Martijn, Landsman, Klaas, Heunen, C., Klaas Landsman, Spitters, Bas, Bas Spitters, Spitters, BAW Bas, Spitters, B., Landsman, NP, Landsman, Nicolaas P., Caspers, M, Spitters, B.A.W., Heunen, C, Martijn Caspers, Chris Heunen, Heunen, Chris, Caspers, M., Caspers, M.P.T.   +19 more
core   +1 more source

A logic for natural language.

Notre Dame Journal of Formal Logic, 1991
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Richard Montague’s Turn Towards Natural Language

Philosophies
Richard Montague (1930–1971) is known as a founding figure of natural language semantics, i.e., the formal study of the semantics of natural languages by means of tools from mathematical logic.
Ivano Caponigro
doaj   +1 more source

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I) [PDF]

Logical Methods in Computer Science, 2018
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, Salih Durhan, Guido Sciavicco   +2 more
doaj   +1 more source

Semantic pollution and syntactic purity

, 2015
Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus.
Read, Stephen
core   +1 more source

Mapping Natural Language to Description Logic [PDF]

, 2017
While much work on automated ontology enrichment has focused on mining text for concepts and relations, little attention has been paid to the task of enriching ontologies with complex axioms. In this paper, we focus on a form of text that is frequent in industry, namely system installation design principle (SIDP) and we present a framework which can be
Bikash Gyawali, Anastasia Shimorina, Claire Gardent, Samuel Cruz-Lara, Mariem Mahfoudh   +4 more
openaire   +1 more source