All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

136 902 (0,314s) •

Result

Induced Ramsey-Type Results and Binary Predicates for Point Sets

Let k and p be positive integers and let Q be a finite point set in general position in the plane. We say that Q is (k,p)-Ramsey if there is a finite point set P. Nešetřil and Valtr proved that for every k ELEMENT ...

Pure mathematics

  • 2017
    • •
  • Jimp
Result

Induced Ramsey-type results and binary predicates for point sets

Let A and B be two finite sets of points in the plane in general position (neither of these sets contains three collinear points). We say that A lies deep below point set Q and a positive integer ...

Pure mathematics

  • 2017
    • •
  • JSC
    • •
  • Link
Result

The predicatives in youth slang

The paper deals with the debatable point of modern linguistics – the predicatives which express the state in the broad sense and are using exclusively as a predicate in a non-subject sentences. The author considers the spec...

Languages and Literature

  • 2016
    • •
  • D
    • •
  • Link
Result

Thomas?s theory of predication in the light of contemporary general semantic theory

The article explores Thomas Aquinas? theory of predication in the light of general principles on which semantic theories are based. Even though Thomas? theory is based on identity rather than inherency of the predicate, the author p...

AA - Filosofie a náboženství

  • 2004
    • •
  • Jx
Result

Morphological features of predicatives from comparative point of view (based on Russian and Czech languages)

The article is concerned with Russian and Czech predicatives. The author analyzes morphological features, e.g. grammatical mood and tense, degrees of comparison, which are assigned to Russian and Czech predicatives....

AI - Jazykověda

  • 2012
    • •
  • D
Result

On Equality and Natural Numbers in Cantor-Lukasiewicz Set Theory

Two equality predicates in Cantor-Lukasiewicz set theory (with full comprehension, over Lukasiewicz predicate logic) are investigated: extensional =e and Leibniz equality =. It is proved that there are many pairs of set...

BA - Obecná matematika

  • 2013
    • •
  • Jx
    • •
  • Link
Result

Arithmetical Complexity of Fuzzy Predicate Logics - A Survey II

Results on arithmetical complexity of important sets of formulas of several fuzzy predicate logics (tautologies, satisfable formulas, ...) are surveyed and some new results are proven....

BA - Obecná matematika

  • 2009
    • •
  • Jx
Result

Rationality from Logical Point of View

Basic themes of document: rationality; logic; rational reasoning; predicate logic...

IN - Informatika

  • 2007
    • •
  • C
Result

About category of evaluation in Russian language

The article is concerned with words that express evaluation of some action or situation and are usually used as predicate. Such units are analyzed from lexical, morphological and syntactic point of view. The author does the research...

AI - Jazykověda

  • 2012
    • •
  • D
Result

A Logical Framework for Graded Predicates

with graded predicates. We distinguish several types of graded predicates and discuss mathematical fuzzy logic as a set of logical tools that can be used to model reasoning with graded predicates, and discuss a ph...

Pure mathematics

  • 2017
    • •
  • D
    • •
  • Link
  • 1 - 10 out of 136 902