Foundations for the formalization of metamathematics and axiomatizations of consequence theories

DOI10.1016/j.apal.2003.11.018zbMath1060.03028OpenAlexW2019063278MaRDI QIDQ598315

Urszula Wybraniec-Skardowska

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.018

zbMATH Keywords

Classical and nonclassical consequencesFormalization of metamathematicsRejection consequenceTheory of deductive systems

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Abstract deductive systems (03B22)

Related Items

Logical squares for classical logic sentences ⋮ On the mutual definability of the notions of entailment, rejection, and inconsistency ⋮ Operator counterparts of types of reasoning ⋮ On pairs of dual consequence operations

Cites Work

• Decidability without mathematics
• On comparison of theories by their contents
• Logical and philosophical ideas in certain formal approaches to language
• The theory of rejected propositions. II
• Basic properties of deductive systems based on nonclassical logics. Part I, II
• Theory of rejected propositions. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item