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 436 (0,13s) •

Result

A Generalization of Inquisitive Semantics

This paper introduces a generalized version of inquisitive semantics, denoted this framework, it is shown that the main results concerning inquisitive semantics framework. Two alternative semantic conditio...

AA - Filosofie a náboženství

  • 2016
    • •
  • Jx
    • •
  • Link
Result

Algebras of Information States

as a generalization of inquisitive semantics that enables us to add inquisitive disjunction to anyIn this article, a non-standard informational semantics for superintuitionistic that are interpreted as algebras of...

Philosophy, History and Philosophy of science and technology

  • 2017
    • •
  • Jimp
    • •
  • Link
Result

Weak negation in inquisitive semantics

This paper introduces and explores a conservative extension of inquisitive logic. In particular, weak negation is added to the standard propositional language of inquisitive semantics, and it is shown that, although we lose...

AA - Filosofie a náboženství

  • 2015
    • •
  • Jx
    • •
  • Link
Result

Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics

the meaning of questions, inquisitive semantics replaces the truth-conditional approach sentences to information states. The standard framework of inquisitive semantics that in the resulting framework that fuzzifi...

Philosophy, History and Philosophy of science and technology

  • 2023
    • •
  • D
    • •
  • Link
Result

Informative Presupposition in Inquisitive Logic

to a Kripke semantics based on inquisitive Kripke models and an algebraic semantics based on the notion of inquisitive nucleus. We argue that our setting sheds some light on the relation between different approach...

Philosophy, History and Philosophy of science and technology

  • 2024
    • •
  • D
Result

Substructural inquisitive logics

in the style of inquisitive semantics and logic. We introduce a relational semantic of an inquisitive extension of λ, denoted as λ?, for any logic λ that is at least as strong as BSL. A general theory of these “

Philosophy, History and Philosophy of science and technology

  • 2019
    • •
  • Jimp
    • •
  • Link
Result

A general framework for logics of questions

This paper provides an overview of basic inquisitive semantics and its generalization proposed in (Punčochář, submitted). It is shown that the generalization allows to model questions over any of a large class of non-classical logic...

Philosophy, History and Philosophy of science and technology

  • 2017
    • •
  • D
Result

A relevant logic of questions

This paper introduces the inquisitive extension of R, denoted as InqR, which of declaratives. A semantics for InqR is developed, and it is shown that this semantics is, in a precisely defined sense, dual to Routley-Meyer

Philosophy, History and Philosophy of science and technology

  • 2020
    • •
  • Jimp
    • •
  • Link
Result

Inquisitive Heyting Algebras

semantics of inquisitive superintuitionistic logics, i.e. logics of questions basedIn this paper we introduce a class of inquisitive Heyting algebras as algebraic algebra is inquisitive if and only if its prime fi...

Philosophy, History and Philosophy of science and technology

  • 2021
    • •
  • Jimp
    • •
  • Link
Result

Inquisitive Propositional Dynamic Logic

This paper combines propositional dynamic logic (PDL) with propositional inquisitive logic (InqB). The result of this combination is a logical system InqPDL that conservatively extends both PDL and InqB, and, moreover, allows for an interact...

Pure mathematics

  • 2021
    • •
  • Jimp
    • •
  • Link
  • 1 - 10 out of 7 436