PL EN


Journal
1993 | 1 | 1 | 49-65
Article title

On Alternatives for the Proof-Theoretical Metalogic

Content
Title variants
PL
W duchu Tarskiego: o alternatywach teorio-dowodowej metalogiki
EN
On Alternatives for the Proof-Theoretical Metalogic
Languages of publication
PL
Abstracts
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.
Keywords
Journal
Year
Volume
1
Issue
1
Pages
49-65
Physical description
Dates
published
1993-03-01
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2657-5868-year-1993-volume-1-issue-1-article-5
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.