Quantifiers metamorphoses. Generalizations, variations, algorithmic semantics

08/24/2019
by   Alex Shkotin, et al.
0

This article contains ideas and their elaboration for quantifiers, which appeared after checking in practice the experimental language of the formal knowledge representation YAFOLL [1]: - looking at for_all and exists quantifiers as operators clarifying two trivial properties of a function: the constancy of result value and presence of a value in the result; -It turned out that the quantifier term can be written in the lambda calculus technique, i.e. as definition; -quantifier of quantity # is introduced into the language, as needed in practice and does not cause logical and algorithmic problems on finite structures; - the quantifier of the sum is mentioned because it is a quantifier of the language; -algorithmic semantics is written for for_all and exists quantifiers as an introduction to the topic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/13/2016

Natural Language Semantics and Computability

This paper is a reflexion on the computability of natural language seman...
research
06/07/2022

Q# as a Quantum Algorithmic Language

Q# is a standalone domain-specific programming language from Microsoft f...
research
01/09/2023

The Algebra of Nondeterministic Finite Automata

A process algebra is proposed, whose semantics maps a term to a nondeter...
research
09/23/2022

Formal Semantics of the CDL Language

We reverse-engineer a formal semantics of the Component Definition Langu...
research
06/20/2016

Introducing a Calculus of Effects and Handlers for Natural Language Semantics

In compositional model-theoretic semantics, researchers assemble truth-c...
research
07/23/2018

Toward a language-theoretic foundation for planning and filtering

We address problems underlying the algorithmic question of automating th...
research
01/15/2019

Existence of cube terms in finite finitely generated clones

We study the problem of whether a given finite clone generated by finite...

Please sign up or login with your details

Forgot password? Click here to reset