Pages that link to "Item:Q2557697"
From MaRDI portal
The following pages link to Theory of rejected propositions. I (Q2557697):
Displaying 23 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)
- Logic, formal methodology and semantics in works of Ryszard Wójcicki (Q647407) (← links)
- On comparison of theories by their contents (Q750411) (← links)
- The method of axiomatic rejection for the intuitionistic propositional logic (Q750414) (← links)
- On decision procedures for sentential logics (Q1181478) (← links)
- Proof of L-decidability of Lewis system S5 (Q1219801) (← links)
- Refutation systems in modal logic (Q1327486) (← links)
- A refutation theory (Q1931339) (← 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)
- European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Jerzy Słupecki (1904–1987) (Q4611692) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- Sequent calculi for default and autoepistemic logics (Q4645232) (← links)
- Logics and Their Galaxies (Q5350335) (← links)
- On consequence and rejection as operators (Q6146290) (← links)
- Operator counterparts of types of reasoning (Q6146294) (← links)
