Boolean-Like and Frequentistic Semantics for First-Order Predicate Calculus without Functions.

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F01%3A06010041" target="_blank" >RIV/67985807:_____/01:06010041 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Boolean-Like and Frequentistic Semantics for First-Order Predicate Calculus without Functions.

Original language description

A nonstandard evaluation of the classical first-ordered predicate language without functions is proposed and investigated. This evaluation meets the properties of probability and possibility measures with respect to nonstandard operations within the unitinternal of reals.

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

<a href="/en/project/IAA1030803" target="_blank" >IAA1030803: Alternative mathematical models for uncertainty quantification and processing</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2001

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Soft Computing

ISSN

1432-7643

e-ISSN

—

Volume of the periodical

5

Issue of the periodical within the volume

1

Country of publishing house

DE - GERMANY

Number of pages

13

Pages from-to

45-57

UT code for WoS article

—

EID of the result in the Scopus database

—