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	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 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
https://portal.mardi4nfdi.de/entity/Q5324062	2009-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q3540341	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
https://portal.mardi4nfdi.de/entity/Q2772905	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/Q3676122	1984-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/Q3661544	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3734369	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3325691	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3921200	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3921201	1981-01-01	Paper
Matrix representations for structural strengthenings of a propositional logic	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4196408	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

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: Piotr Wojtylak