The following pages link to Tomasz Skura (Q689213):
Displaying 26 items.
- Refutation calculi for certain intermediate propositional logics (Q689214) (← links)
- On decision procedures for sentential logics (Q1181478) (← links)
- Refutations, proofs, and models in the modal logic K4 (Q1604792) (← links)
- Syntactic refutations against finite models in modal logic (Q1903134) (← links)
- A Łukasiewicz-style refutation system for the modal logic S4 (Q1908788) (← links)
- A refutation theory (Q1931339) (← links)
- On refutation rules (Q1941727) (← links)
- A system for proper multiple-conclusion entailment (Q2987737) (← links)
- The RM paraconsistent refutation system (Q3400308) (← links)
- (Q3475248) (← links)
- (Q3486541) (← links)
- Intuitionistic Socratic procedures (Q3647238) (← links)
- (Q3987719) (← links)
- (Q4009140) (← links)
- (Q4408740) (← links)
- (Q4484080) (← links)
- Refutations in Wansing’s Logic (Q4609357) (← links)
- (Q4731165) (← links)
- (Q4889421) (← links)
- Implicational Logic, Relevance, and Refutability (Q5006815) (← links)
- (Q5104545) (← links)
- (Q5104546) (← links)
- (Q5114700) (← links)
- (Q5688804) (← links)
- (Q5690148) (← links)
- Finite tree-countermodels via refutation systems in extensions of positive logic with strong negation (Q6146289) (← links)
