| Publication | Date of Publication | Type |
|---|
| Reasoning about covering-based rough sets using three truth values | 2022-09-28 | Paper |
Multi-valued verification of strategic ability
Fundamenta Informaticae | 2021-05-20 | Paper |
Modular construction of cut-free sequent calculi for paraconsistent logics
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Efficient reasoning with inconsistent information using C-systems
Information Sciences | 2017-05-16 | Paper |
Three-valued logic for reasoning about covering-based rough sets
Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam | 2015-04-02 | Paper |
Cut-free sequent calculi for C-systems with generalized finite-valued semantics
Journal Of Logic And Computation | 2013-06-27 | Paper |
| Analytic calculi for basic logics of formal inconsistency | 2013-04-24 | Paper |
Finite-valued logics for information processing
Fundamenta Informaticae | 2012-05-04 | Paper |
| A four-valued logic for reasoning about finite and infinite computation errors in programs | 2011-03-30 | Paper |
A decompositional deduction system for a logic featuring inconsistency and uncertainty
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Proof systems for reasoning about computation errors
Studia Logica | 2009-05-08 | Paper |
Rough sets and 3-valued logics
Studia Logica | 2009-03-17 | Paper |
Processing Information from a Set of Sources
Towards Mathematical Philosophy | 2009-02-05 | Paper |
Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
Logica Universalis | 2007-04-10 | Paper |
| A multi-modal logic for disagreement and exhaustiveness | 2007-02-26 | Paper |
Multi-valued Calculi for Logics Based on Non-determinism
Logic Journal of the IGPL | 2005-11-08 | Paper |
| scientific article; zbMATH DE number 2104629 (Why is no real title available?) | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2042616 (Why is no real title available?) | 2004-02-15 | Paper |
A multimodal logic for reasoning about complementarity
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
| scientific article; zbMATH DE number 1927565 (Why is no real title available?) | 2003-06-12 | Paper |
Rasiowa-Sikorski deduction systems in computer science applications.
Theoretical Computer Science | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1735909 (Why is no real title available?) | 2002-11-26 | Paper |
Decomposition proof systems for Gödel-Dummett logics
Studia Logica | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1418370 (Why is no real title available?) | 2000-12-06 | Paper |
| scientific article; zbMATH DE number 1343458 (Why is no real title available?) | 2000-11-14 | Paper |
Reasoning with first order nondeterministic specifications
Acta Informatica | 1999-11-01 | Paper |
A relational formalisation of arbitrary finite valued logics
Logic Journal of the IGPL | 1999-10-11 | Paper |
| scientific article; zbMATH DE number 1301759 (Why is no real title available?) | 1999-10-05 | Paper |
| scientific article; zbMATH DE number 1303442 (Why is no real title available?) | 1999-09-29 | Paper |
A logic for reasoning about relative similarity
Studia Logica | 1997-11-05 | Paper |
| scientific article; zbMATH DE number 883896 (Why is no real title available?) | 1996-10-08 | Paper |
Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
Journal of Applied Non-Classical Logics | 1994-12-12 | Paper |
| scientific article; zbMATH DE number 176148 (Why is no real title available?) | 1993-05-18 | Paper |
A logic for reasoning about stochastic information
Bulletin of the Polish Academy of Sciences. Technical Sciences | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 13471 (Why is no real title available?) | 1992-06-25 | Paper |
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic
Studia Logica | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4049118 (Why is no real title available?) | 1987-01-01 | Paper |
A query language allowing conditions of relational type in queries
Information Systems | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3913734 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3800969 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3750362 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3594679 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3635541 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3594680 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3506175 (Why is no real title available?) | 1975-01-01 | Paper |
Continuous machines
Information and Control | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3423564 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3513376 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3430127 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3413814 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3423563 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3425131 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3425132 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3358459 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3358460 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3358461 (Why is no real title available?) | 1971-01-01 | Paper |
