| 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
Logica Universalis | 2024-01-10 | Paper |
| scientific article; zbMATH DE number 7585088 (Why is no real title available?) | 2022-09-14 | Paper |
| scientific article; zbMATH DE number 7585087 (Why is no real title available?) | 2022-09-14 | Paper |
Implicational Logic, Relevance, and Refutability
Logic and Logical Philosophy | 2021-08-17 | Paper |
| scientific article; zbMATH DE number 7215080 (Why is no real title available?) | 2020-06-25 | Paper |
Refutations in Wansing's logic
Reports on Mathematical Logic | 2018-03-29 | Paper |
A system for proper multiple-conclusion entailment
Logic and Logical Philosophy | 2017-05-18 | Paper |
On refutation rules
Logica Universalis | 2013-03-21 | Paper |
A refutation theory
Logica Universalis | 2013-01-25 | Paper |
The RM paraconsistent refutation system
Logic and Logical Philosophy | 2010-02-05 | Paper |
Intuitionistic Socratic procedures
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
| scientific article; zbMATH DE number 1941685 (Why is no real title available?) | 2003-11-12 | Paper |
| scientific article; zbMATH DE number 1922478 (Why is no real title available?) | 2003-06-02 | Paper |
Refutations, proofs, and models in the modal logic K4
Studia Logica | 2002-07-08 | Paper |
| scientific article; zbMATH DE number 966896 (Why is no real title available?) | 1997-03-19 | Paper |
| scientific article; zbMATH DE number 915943 (Why is no real title available?) | 1996-11-10 | Paper |
A Łukasiewicz-style refutation system for the modal logic S4
Journal of Philosophical Logic | 1996-03-06 | Paper |
Syntactic refutations against finite models in modal logic
Notre Dame Journal of Formal Logic | 1996-01-18 | Paper |
| scientific article; zbMATH DE number 970625 (Why is no real title available?) | 1996-01-01 | Paper |
Refutation calculi for certain intermediate propositional logics
Notre Dame Journal of Formal Logic | 1993-12-06 | Paper |
| scientific article; zbMATH DE number 60837 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 31604 (Why is no real title available?) | 1992-06-28 | Paper |
On decision procedures for sentential logics
Studia Logica | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 4158595 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4143949 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4116494 (Why is no real title available?) | 1989-01-01 | Paper |
