Publication:4060958
From MaRDI portal
zbMath0305.02064MaRDI QIDQ4060958
Publication date: 1975
Related Items
Foundations for the formalization of metamathematics and axiomatizations of consequence theories, 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