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 Logic and Logical Philosophy

Authors help

  1. 1 Sochacki R.

Years help

  1. 1 2011

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  Ł-decidability
help Sort By:

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

Refutation Systems for a System of Nonsense-Logic

100%
Sochacki R.
Logic and Logical Philosophy
|
2011
|
vol. 20
|
issue 3
233-239
EN
In the paper rejection systems for a system of nonsense-logic are investigated. The first rejection system consists of four rejected axioms and only one rejection rule - the rule of rejection by detachment. The second one consists of one rejected axiom and two rejection rules: the rule of rejection by detachment and the rule of rejection by substitution. The aim of the paper is to present also a proof of Ł-decidability for the considered systems.
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.