Pages that link to "Item:Q1941723"
From MaRDI portal
The following pages link to On pairs of dual consequence operations (Q1941723):
Displaying 9 items.
- Logical squares for classical logic sentences (Q346765) (← links)
- On essential variables of dual operations and the consequences for operations (Q364683) (← links)
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories (Q598315) (← links)
- Beyond logical pluralism and logical monism (Q2183711) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- On the mutual definability of the notions of entailment, rejection, and inconsistency (Q2422532) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- Operator counterparts of types of reasoning (Q6146294) (← links)