Piotr Wojtylak

Available identifiers

zbMath Open wojtylak.piotrMaRDI QIDQ195357

List of research outcomes

Publication	Date of Publication	Type
Unification types and union splittings in intermediate logics	2024-10-07	Paper
Unification types and union splittings in intermediate logics	2022-05-21	Paper
Finitary unification in locally tabular modal logics characterized	2022-03-03	Paper
Unification in first-order transitive modal logic	2019-11-04	Paper
UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS	2019-06-07	Paper
Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\)	2019-01-08	Paper
Modal consequence relations extending S4.3: an application of projective unification	2016-12-15	Paper
Projective unification in modal logic	2012-08-01	Paper
An algorithm for the number of path homomorphisms	2009-12-15	Paper
Characterizations of non-singular cycles, path and trees	2009-08-03	Paper
Characterizations of non-singular cycles and trees	2008-11-20	Paper
Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).	2008-06-23	Paper
Completeness theory for propositional logics	2007-07-27	Paper
A proof system for classical logic	2006-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4820597	2004-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q4408993	2003-10-13	Paper
On the problem of R. E. Tax	2002-09-03	Paper
\(Cn\)-definitions of propositional connectives	2002-06-06	Paper
https://portal.mardi4nfdi.de/entity/Q4943161	2000-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q4250065	1999-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5690140	1997-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4025011	1993-02-22	Paper
On structural completeness of implicational logics	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3475249	1990-01-01	Paper
Independent axiomatizability of sets of sentences	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3690794	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3707995	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3676122	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3734369	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3661544	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3325691	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3921201	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3921200	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4196408	1979-01-01	Paper
Matrix representations for structural strengthenings of a propositional logic	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4198478	1979-01-01	Paper
On structural completeness of many-valued logics	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133632	1977-01-01	Paper

Research outcomes over time

This page was built for person: Piotr Wojtylak