Michał Walicki

Available identifiers

zbMath Open walicki.michalMaRDI QIDQ409315

List of research outcomes

Publication	Date of Publication	Type
There are only two paradoxes	2023-09-06	Paper
Paraconsistent resolution	2022-10-04	Paper
Generated models and the ω-rule: The nondeterministic case	2022-08-18	Paper
Extensions in graph normal form	2022-03-30	Paper
Paraconsistency, resolution and relevance	2019-06-08	Paper
Kernels of digraphs with finitely many ends	2018-11-29	Paper
RESOLVING INFINITARY PARADOXES	2017-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q2818800	2016-09-08	Paper
Propositional discourse logic	2015-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q2844826	2013-08-19	Paper
Quantifier-free logic for multialgebraic theories	2013-06-06	Paper
Kernels in digraphs that are not kernel perfect	2012-08-10	Paper
Finding kernels or solving SAT	2012-05-11	Paper
Expressive power of digraph solvability	2012-04-13	Paper
https://portal.mardi4nfdi.de/entity/Q3092751	2011-09-22	Paper
Recent Trends in Algebraic Development Techniques	2010-04-20	Paper
Reference, paradoxes and truth	2010-03-09	Paper
Strongly Complete Axiomatizations of “Knowing at Most” in Syntactic Structures	2009-04-28	Paper
Developing bounded reasoning	2009-03-24	Paper
Complete Axiomatisations of Properties of Finite Sets	2008-06-27	Paper
Completeness and Decidability in Sequence Logic	2008-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q5437776	2008-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q3434500	2007-05-02	Paper
Algebra and Coalgebra in Computer Science	2006-10-20	Paper
Quantifier-free logic for nondeterministic theories	2006-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4474845	2004-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4782724	2002-12-02	Paper
Computation Algebras	2002-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q2765922	2002-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q3839063	1999-02-18	Paper
Singular and Plural Nondeterministic Parameters	1998-02-10	Paper
https://portal.mardi4nfdi.de/entity/Q4858905	1996-02-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: Michał Walicki