| Publication | Date of Publication | Type |
|---|
Unification types and union splittings in intermediate logics
Annals of Pure and Applied Logic | 2024-10-07 | Paper |
| Unification types and union splittings in intermediate logics | 2022-05-21 | Paper |
Finitary unification in locally tabular modal logics characterized
Annals of Pure and Applied Logic | 2022-03-03 | Paper |
Unification in first-order transitive modal logic
Logic Journal of the IGPL | 2019-11-04 | Paper |
UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
The Review of Symbolic Logic | 2019-06-07 | Paper |
Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\)
Logic Journal of the IGPL | 2019-01-08 | Paper |
Modal consequence relations extending S4.3: an application of projective unification
Notre Dame Journal of Formal Logic | 2016-12-15 | Paper |
Projective unification in modal logic
Logic Journal of the IGPL | 2012-08-01 | Paper |
An algorithm for the number of path homomorphisms
Discrete Mathematics | 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).
Annals of Pure and Applied Logic | 2008-06-23 | Paper |
Completeness theory for propositional logics
Studies in Universal Logic | 2007-07-27 | Paper |
A proof system for classical logic
Studia Logica | 2006-01-30 | Paper |
| scientific article; zbMATH DE number 2108198 (Why is no real title available?) | 2004-10-15 | Paper |
| scientific article; zbMATH DE number 1941933 (Why is no real title available?) | 2003-10-13 | Paper |
On the problem of R. E. Tax
Reports on Mathematical Logic | 2002-09-03 | Paper |
\(Cn\)-definitions of propositional connectives
Studia Logica | 2002-06-06 | Paper |
| scientific article; zbMATH DE number 1415873 (Why is no real title available?) | 2000-03-16 | Paper |
| scientific article; zbMATH DE number 1303454 (Why is no real title available?) | 1999-08-02 | Paper |
| scientific article; zbMATH DE number 966888 (Why is no real title available?) | 1997-01-15 | Paper |
| scientific article; zbMATH DE number 120350 (Why is no real title available?) | 1993-02-22 | Paper |
On structural completeness of implicational logics
Studia Logica | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 4143950 (Why is no real title available?) | 1990-01-01 | Paper |
Independent axiomatizability of sets of sentences
Annals of Pure and Applied Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 3914292 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3933037 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3896905 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3966034 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3813585 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3857062 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3733876 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3733875 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3636002 (Why is no real title available?) | 1979-01-01 | Paper |
Matrix representations for structural strengthenings of a propositional logic
Studia Logica | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3639593 (Why is no real title available?) | 1979-01-01 | Paper |
On structural completeness of many-valued logics
Studia Logica | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3557786 (Why is no real title available?) | 1977-01-01 | Paper |
