Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions

Result code in IS VaVaI

RIV/67985955:_____/19:00508538 - isvavai.cz

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions

Original language description

We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are equivalent if and only if they have equivalent solution concepts. Solution concepts can be understood as a generalization of the notion of proof objects from the Curry-Howard isomorphism.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

60301 - Philosophy, History and Philosophy of science and technology

Project

GJ17-18344Y: A logico-philosophical analysis of the notion of identity

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2019

Confidentiality

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

Article name in the collection

The Logica Yearbook 2018

ISBN

978-1-84890-307-4

ISSN

—

e-ISSN

—

Number of pages

14

Pages from-to

197-210

Publisher name

College Publications

Place of publication

London

Event location

Hejnice

Event date

Jun 18, 2018

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—