| Publication | Date of Publication | Type |
|---|
MAXIMALITY OF LOGIC WITHOUT IDENTITY
Journal of Symbolic Logic | 2024-04-05 | Paper |
Metastable convergence and logical compactness
Beyond First Order Model Theory, Volume II | 2024-01-12 | Paper |
| Asymptotic truth-value laws in many-valued logics | 2023-06-24 | Paper |
Frame definability in finitely valued modal logics
Annals of Pure and Applied Logic | 2023-05-19 | Paper |
| Restricted analytic valued fields with partial exponentiation | 2023-02-18 | Paper |
One-variable fragments of intermediate logics over linear frames
Information and Computation | 2022-06-13 | Paper |
Every minimal dual discriminator variety is minimal as a quasivariety
Algebra Universalis | 2021-05-06 | Paper |
| scientific article; zbMATH DE number 7184880 (Why is no real title available?) | 2020-04-02 | Paper |
| The one-variable fragment of corsi logic | 2020-03-04 | Paper |
Lindström's theorem for positive logics, a topological view
Logic Without Borders | 2020-02-03 | Paper |
On a characterization of path connected topological fields
Journal of Pure and Applied Algebra | 2019-08-15 | Paper |
Decidability of order-based modal logics
Journal of Computer and System Sciences | 2017-06-30 | Paper |
Bi-modal Gödel logic over \([0,1\)-valued Kripke frames]
Journal Of Logic And Computation | 2015-02-26 | Paper |
Omitting uncountable types and the strength of \([0,1\)-valued logics]
Annals of Pure and Applied Logic | 2014-04-01 | Paper |
XV Latin American symposium on mathematical logic (SLALM 2012), sponsored by the Association for Symbolic Logic, Bogotá, Colombia, June 4--8, 2012
The Bulletin of Symbolic Logic | 2014-01-17 | Paper |
A finite model property for Gödel modal logics
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
| scientific article; zbMATH DE number 5829668 (Why is no real title available?) | 2010-12-28 | Paper |
Standard Gödel modal logics
Studia Logica | 2010-04-26 | Paper |
| A Godel Modal Logic | 2009-03-16 | Paper |
Equivalence and quantifier rules for logic with imperfect information
Logic Journal of the IGPL | 2009-03-11 | Paper |
| The Tikhonov theorem for weak forms of compactness. | 2008-06-02 | Paper |
Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
Lecture Notes in Computer Science | 2007-11-15 | Paper |
| The Hahn--Banach theorem as a principle of choice | 2006-11-27 | Paper |
Implicit connectives of algebraizable logics
Studia Logica | 2005-04-07 | Paper |
Definability and automorphisms in abstract logics
Archive for Mathematical Logic | 2005-02-11 | Paper |
| scientific article; zbMATH DE number 1779556 (Why is no real title available?) | 2002-10-14 | Paper |
An algebraic approach to intuitionistic connectives
Journal of Symbolic Logic | 2002-04-29 | Paper |
| scientific article; zbMATH DE number 1163942 (Why is no real title available?) | 2000-08-21 | Paper |
| scientific article; zbMATH DE number 1418439 (Why is no real title available?) | 2000-07-10 | Paper |
| scientific article; zbMATH DE number 1361517 (Why is no real title available?) | 1999-11-10 | Paper |
Subdirect decomposition of \(n\)-chromatic graphs
Journal of Algebraic Combinatorics | 1999-04-09 | Paper |
| scientific article; zbMATH DE number 1182787 (Why is no real title available?) | 1999-04-08 | Paper |
| scientific article; zbMATH DE number 1163936 (Why is no real title available?) | 1999-01-19 | Paper |
Finitely axiomatizable quasivarieties of graphs
Algebra Universalis | 1996-05-12 | Paper |
| scientific article; zbMATH DE number 761279 (Why is no real title available?) | 1995-06-06 | Paper |
| scientific article; zbMATH DE number 515370 (Why is no real title available?) | 1994-10-17 | Paper |
Compactness and normality in abstract logics
Annals of Pure and Applied Logic | 1993-05-16 | Paper |
Definability properties and the congruence closure
Archive for Mathematical Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4170882 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4037866 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4027448 (Why is no real title available?) | 1986-01-01 | Paper |
A simple solution to Friedman's fourth problem
Journal of Symbolic Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3910377 (Why is no real title available?) | 1985-01-01 | Paper |
On extensions of \(L_{\omega\omega}(Q_1)\)
Notre Dame Journal of Formal Logic | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3743501 (Why is no real title available?) | 1981-01-01 | Paper |
Independent Sets of Axioms In Lκα
Canadian Mathematical Bulletin | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3675868 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3722719 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3694159 (Why is no real title available?) | 1980-01-01 | Paper |
A formal system for the non-theorems of the propositional calculus
Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
