Tomasz Skura

Available identifiers

zbMath Open skura.tomasz-fMaRDI QIDQ689213

List of research outcomes

Publication	Date of Publication	Type
Refutation systems: an overview and some applications to philosophical logics	2024-09-11	Paper
Finite tree-countermodels via refutation systems in extensions of positive logic with strong negation	2024-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5104546	2022-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q5104545	2022-09-14	Paper
Implicational Logic, Relevance, and Refutability	2021-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q5114700	2020-06-25	Paper
Refutations in Wansing’s Logic	2018-03-29	Paper
A system for proper multiple-conclusion entailment	2017-05-18	Paper
On refutation rules	2013-03-21	Paper
A refutation theory	2013-01-25	Paper
The RM paraconsistent refutation system	2010-02-05	Paper
Intuitionistic Socratic procedures	2009-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q4408740	2003-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q4484080	2003-06-02	Paper
Refutations, proofs, and models in the modal logic K4	2002-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q5690148	1997-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4889421	1996-11-10	Paper
A Łukasiewicz-style refutation system for the modal logic S4	1996-03-06	Paper
Syntactic refutations against finite models in modal logic	1996-01-18	Paper
https://portal.mardi4nfdi.de/entity/Q5688804	1996-01-01	Paper
Refutation calculi for certain intermediate propositional logics	1993-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4009140	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3987719	1992-06-28	Paper
On decision procedures for sentential logics	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3486541	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3475248	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4731165	1989-01-01	Paper

Research outcomes over time

This page was built for person: Tomasz Skura