Tomasz Skura

Available identifiers

zbMath Open skura.tomasz-fMaRDI QIDQ689213

List of research outcomes

Publication	Date of Publication	Type
Finite tree-countermodels via refutation systems in extensions of positive logic with strong negation	2024-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q5104545	2022-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q5104546	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/Q3475248	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3486541	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4731165	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tomasz Skura