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

10 227 (0,136s) •

Result

Substructural propositional dynamic logics

We prove completeness and decidability of a version of Propositional Dynamic Logic where the underlying non-modal propositional logic is a substructural logic in the vicinity of the Full Distributive Non-associativ...

Pure mathematics

  • 2019
    • •
  • D
    • •
  • Link
Result

Epistemic Extensions of Substructural Inquisitive Logics

inquisitive logics. Substructural inquisitive logics are logics of questions based on substructural logics of declarative sentences. They generalize basic inquisitive logic which sub...

Pure mathematics

  • 2021
    • •
  • Jimp
    • •
  • Link
Result

Disjunction Property and Complexity of Substructural Logics

We systematically identify a large class of substructural logics that satisfy the disjunction property (DP), and show that every consistent substructural logic with the DP is PSPACE-hard. Our results are obtained b...

BA - Obecná matematika

  • 2011
    • •
  • Jx
    • •
  • Link
Result

Prague Seminar on Substructural Logics

Substructural logics are non-classical logics weaker than classical logic, notable for the absence of structural rules present in classical logic. These logics are motivated by considerations from...

IN - Informatika

  • 2014
    • •
  • W
    • •
  • Link
Result

Knowledge interpretation in substructural frames

The article deals with problems of standard epistemic logics with a special attention to the context of scientific reasoning and to the problem of logical omniscience. The authors discuss various solutions of these problems and prop...

AA - Filosofie a náboženství

  • 2013
    • •
  • Jx
Result

Non?classical epistemic logics

The workshop was focused on alternative approaches to epistemic logics with special attention to systems based on justification, dynamic and substructural logics....

AA - Filosofie a náboženství

  • 2012
    • •
  • W
Result

Herbrand Theorems for Substructural Logics

Herbrand and Skolemization theorems are obtained for a broad family of first-order substructural logics. These logics typically lack equivalent prenex forms, a deduction theorem, and reductions of semantic consequence to sa...

BA - Obecná matematika

  • 2013
    • •
  • D
    • •
  • Link
Result

Substructural inquisitive logics

This paper shows that any propositional logic that extends a basic substructural logic BSL (a weak, nondistributive, nonassociative, and noncommutative version of Full Lambek logic with a paraconsistent negation) c...

Philosophy, History and Philosophy of science and technology

  • 2019
    • •
  • Jimp
    • •
  • Link
Result

Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties

Substructural logics extending the full Lambek calculus FL have largely substructural logics (i.e., logics complete with respect to linearly ordered algebras). Axiomatizations of the weakest semilinear

BA - Obecná matematika

  • 2013
    • •
  • Jx
    • •
  • Link
Result

Implicational Kleene Algebra With Domain and the Substructural Logic of Partial Correctness

We show that Kozen and Tiuryn’s substructural logic of partial correctness S embeds into the equational theory of Kleene algebra with domain, KAD. We provide an implicational formulation of KAD which sets S in the context of implica...

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

  • 2024
    • •
  • Jimp
    • •
  • Link
  • 1 - 10 out of 10 227