The following pages link to (Q4060958):
Displaying 4 items.
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories (Q598315) (← links)
- On the mutual definability of the notions of entailment, rejection, and inconsistency (Q2422532) (← links)
- CHOICE FUNCTIONS AND UPPER CHOICE FUNCTIONS (Q3520385) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)