Pages that link to "Item:Q1843431"
From MaRDI portal
The following pages link to The theory of rejected propositions. II (Q1843431):
Displayed 11 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories (Q598315) (← links)
- A certain interpretation of the theory of rejected propositions (Q1212924) (← links)
- Anti-intuitionism and paraconsistency (Q1775870) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- Is `no' a force-indicator? Yes, sooner or later! (Q2399605) (← 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)