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 Citkin A.

Years help

  1. 1 2015

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

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

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

A meta-logic of inference rules: Syntax

100%
Citkin A.
Logic and Logical Philosophy
|
2015
|
vol. 24
|
issue 3
313–337
EN
This work was intended to be an attempt to introduce the meta-language for working with multiple-conclusion inference rules that admit asserted propositions along with the rejected propositions. The presence of rejected propositions, and especially the presence of the rule of reverse substitution, requires certain change the definition of structurality.
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.