scientific article; zbMATH DE number 3477161

MaRDI QIDQ4060958zbMATH OpenFDO

Authors Urszula Wybraniec-Skardowska

Publication date 1975

Mathematics Subject Classification ID

General logic (03B99) Proof theory and constructive mathematics (03F99)

Cited in

(4)

• On the mutual definability of the notions of entailment, rejection, and inconsistency
• CHOICE FUNCTIONS AND UPPER CHOICE FUNCTIONS
• Rejection in Łukasiewicz’s and Słupecki’s Sense
• Foundations for the formalization of metamathematics and axiomatizations of consequence theories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4060958)