Pages that link to "Item:Q598315"
From MaRDI portal
The following pages link to Foundations for the formalization of metamathematics and axiomatizations of consequence theories (Q598315):
Displaying 9 items.
- Logical squares for classical logic sentences (Q346765) (← links)
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- On the mutual definability of the notions of entailment, rejection, and inconsistency (Q2422532) (← links)
- An open problem in Tarski's calculus of deductive systems (Q3989922) (← links)
- (Q4346400) (← links)
- (Q4535076) (← links)
- (Q4698613) (← links)
- Operator counterparts of types of reasoning (Q6146294) (← links)