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

7 526 (0,126s) •

Result

Critical Remark on the Semantic basis of the Transparent Intensional Logic

Some critical remarks to the philosophical presuppositions of intensional logic of P.Tichý.

AA - Filosofie a náboženství

  • 2010
    • •
  • O
Result

Fuzzification of Groenendijk-Stokhof Propositional Erotetic Logic

The paper develops a fuzzy generalization of Groenendijk-Stokhof erotetic logic. Since the latter (also known as the partition semantics of questions) is based on intensional semantics of classical logic, fuzzy intensio...

BA - Obecná matematika

  • 2004
    • •
  • Jx
Result

Fuzzy intensional semantics

The study of weighted structures is one of the important trends in recent computer science. The aim of the article is to provide a weighted, many-valued version of classical intensional semantics formalized in the framework of highe...

Pure mathematics

  • 2018
    • •
  • JSC
    • •
  • Link
Result

Epistemic Logics of Structured Intensional Groups

Epistemic logics of intensional groups lift the assumption that membership of agents, intensional groups are represented by a property that may change its of the intensional group framework where group-specifying properties...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2023
    • •
  • D
    • •
  • Link
Result

Intensionalisation of Logical Operators

This paper introduces and explores semantics for propositional laguage in which every logical operator is intensional in a specific sense: its meaning is not based. In the semantics, the consequence relation preserves asser...

AA - Filosofie a náboženství

  • 2014
    • •
  • D
Result

Procedural Semantics of TIL

In the paper I deal with the most important feature of Tichý's Transparent Intensional Logic, which is its procedural semantics.

IN - Informatika

  • 2016
    • •
  • Jx
Result

Names and Descriptions: Logico-Semantical Investigations

transparent intensional logic and utilize his semantic theory.The book investigates various logical and semantical problems related to proper names and descriptions. Especially the puzzles connected with a=b statements hav...

AA - Filosofie a náboženství

  • 2009
    • •
  • B
Result

The Logos of Semantic Structure

We consider it a mythos that semantic structure should be either redundant or unattainable. We argue in favour of a robustly realist notion of semantic structure based on the hyperintensional procedural semantics of Transpa...

AA - Filosofie a náboženství

  • 2010
    • •
  • C
Result

AST: New Tool for Logical Analysis of Sentences based on Transparent Intensional Logic

Logical analysis of natural language is able to extract semantic relations that follow the underlying logical formalism. Transparent Intensional Logic (TIL) has been, for automatic semantic analysis of sentence. This tool i...

AI - Jazykověda

  • 2015
    • •
  • D
Result

TIL and hyperintenzionality.

base this semantics directly on them (as the transparent intensional logic doesThe paper is a reaction to the claim of B. Jespersepen that semantics based on truth condition cannot be hyperintensional, and hence must be re...

AA - Filosofie a náboženství

  • 2001
    • •
  • Jx
  • 1 - 10 out of 7 526