Wojciech Dzik

Slawomir Kost

Ann. Pure Appl. Log., 2025

2023

The fork and its role in unification of closure algebras.

[BibT_eX]

[DOI]

Ivo Düntsch

CoRR, 2023

2022

Finitary unification in locally tabular modal logics characterized.

[BibT_eX]

[DOI]

Slawomir Kost

Ann. Pure Appl. Log., 2022

2021

Ideal related algebras and their logics.

[BibT_eX]

[DOI]

Ivo Düntsch

J. Log. Comput., 2021

2020

Ideal Related Algebras and Their Logics Extended Abstract.

[BibT_eX]

[DOI]

Ivo Düntsch

Proceedings of the Logic and Argumentation - Third International Conference, 2020

2019

Unification in superintuitionistic Predicate Logics and its Applications.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2019

Unification in first-order transitive modal logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2019

2017

Direct Product of ℓ-Algebras and Unification: An Application to Residuated Lattices.

[BibT_eX]

[DOI]

Sándor Radeleczki

J. Multiple Valued Log. Soft Comput., 2017

2016

Modal Consequence Relations Extending S4.3: An Application of Projective Unification.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 2016

Almost structural completeness; an algebraic approach.

[BibT_eX]

[DOI]

Michal M. Stronkowski

Ann. Pure Appl. Log., 2016

Unification in predicate logic.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Unification, 2016

2015

Almost structurally complete infinitary consequence operations extending S4.3.

[BibT_eX]

[DOI]

Log. J. IGPL, 2015

2014

Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2014

Characterizing intermediate tense logics in terms of Galois connections.

[BibT_eX]

[DOI]

Log. J. IGPL, 2014

2013

Intuitionistic modal logic with a galois connection has the finite model property<sup>1</sup>.

[BibT_eX]

[DOI]

Log. J. IGPL, 2013

2012

Projective unification in modal logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2012

2011

Projective Unifiers in Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the 25th International Workshop on Unification, 2011

2010

Intuitionistic propositional logic with Galois connections.

[BibT_eX]

[DOI]

Log. J. IGPL, 2010

2008

Unification in some substructural logics of BL-algebras and hoops.

[BibT_eX]

[DOI]

Reports Math. Log., 2008

2006

Relational Representation Theorems for Lattices with Negations: A Survey.

[BibT_eX]

[DOI]

Ewa Orlowska

Clint J. van Alten

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

Relational Representation Theorems for General Lattices with Negations.

[BibT_eX]

[DOI]

Ewa Orlowska

Clint J. van Alten

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2004

Chains of Structurally Complete Predicate Logics with the Application of Prucnal's Substitution.

[BibT_eX]

[DOI]