Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Filozofia (Philosophy)

Authors help

  1. 1 Sedlár I.

Years help

  1. 1 2009

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  LOGIC OF STRICT PROCESSES (LSP)
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

IMPLIKÁCIA A TRI DRUHY OBSAHOVEJ SÚVISLOSTI

100%
Sedlár I.
Filozofia (Philosophy)
|
2009
|
vol. 64
|
issue 4
339-345
EN
The primary aim of the paper is to introduce a new notion of relevance of the antecedent of a true implication statement to its consequent, and to sketch a formalization of the new notion. The formalization is set up in the framework of the so called 'Logic of Strict Processes (LSP)', as articulated by the author in collaboration with J. Podrouzek. Their approach to the relevance is presented as a natural part of a wider specter of logics, including modal and relevance logics. The formalization is compared with consequence relations in normal modal logic and in the relevance logic R. In conclusion the author outlines the most important problems of LSP, which still remain open.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.