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 Nauki

Authors help

  1. 1 Surma S. J.

Years help

  1. 1 1993

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Publication available in full text mode
Content available

On Alternatives for the Proof-Theoretical Metalogic

100%
Surma S. J.
Filozofia Nauki
|
1993
|
vol. 1
|
issue 1
49-65
PL
the standard metalogical set-ups seem to be all based on the idea of consequence (or proof). However, metalogic can also be effectively constructed using some non-standard primmitive ideas. In this paper an outline is given to four metalogical frameworks, alternative to the standard set-ups. They are based, respectively, on the idea of consistency; on an omission (or separation) operator; on an extension operator (called in the paper a Lindenbaum operator); and on the idea of maximality. All these metalogics, including the standard consequence-based one, are one-to-one and proof-preserving translatable, and, in this sense, are seen pairwise equivalent and „externally” consistent.
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.