| Publication | Date of Publication | Type |
|---|
Kanger-Wang-type sequent calculi with equality
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications | 2024-11-25 | Paper |
A NOTE ON THE SEQUENT CALCULI
The Review of Symbolic Logic | 2022-05-25 | Paper |
The elimination of atomic cuts and the semishortening property for Gentzen's sequent calculus with equality
The Review of Symbolic Logic | 2022-02-07 | Paper |
Absorbing the structural rules in the sequent calculus with additional atomic rules
Archive for Mathematical Logic | 2020-04-01 | Paper |
| A simplified version of the Sequent Calculus G3[mic]^= | 2018-10-26 | Paper |
| The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality | 2017-05-01 | Paper |
| Contraction Elimination in Sequent Based Ground Equational Calculus | 2015-12-30 | Paper |
Henkin's completeness proof and Glivenko's theorem
Studies in Universal Logic | 2015-11-27 | Paper |
Cut elimination for Gentzen's sequent calculus with equality and logic of partial terms
Logic and Its Applications | 2015-01-06 | Paper |
Truth-value semantics and functional extensions for classical logic of partial terms based on equality
Notre Dame Journal of Formal Logic | 2014-09-02 | Paper |
Truth-value semantics and functional extensions for classical logic of partial terms based on equality
Notre Dame Journal of Formal Logic | 2014-09-02 | Paper |
Decidability of ^*-sentences in HF
Notre Dame Journal of Formal Logic | 2010-01-13 | Paper |
Truth In V for ∃*∀∀-Sentences is Decidable
Journal of Symbolic Logic | 2007-01-19 | Paper |
The decidability of the ^* class and the axiom of foundation
Notre Dame Journal of Formal Logic | 2003-10-13 | Paper |
Finite families with few symmetric differences
Proceedings of the American Mathematical Society | 1999-01-25 | Paper |
| scientific article; zbMATH DE number 937378 (Why is no real title available?) | 1997-03-19 | Paper |
Witnessing differences without redundancies
Proceedings of the American Mathematical Society | 1997-02-19 | Paper |
| scientific article; zbMATH DE number 922623 (Why is no real title available?) | 1996-11-07 | Paper |
Decidability and completeness for open formulas of membership theories
Notre Dame Journal of Formal Logic | 1996-05-13 | Paper |
Decidability of ∀*∀‐Sentences in Membership Theories
Mathematical Logic Quarterly | 1996-05-02 | Paper |
Undecidability results for restricted universally quantified formulae of set theory
Communications on Pure and Applied Mathematics | 1994-10-17 | Paper |
A derived algorithm for evaluating -expressions over abstract sets
Journal of Symbolic Computation | 1994-09-26 | Paper |
THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION
Mathematical Logic Quarterly | 1994-07-11 | Paper |
Expressing infinity without foundation
Journal of Symbolic Logic | 1992-06-27 | Paper |
Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability
Journal of Automated Reasoning | 1991-01-01 | Paper |
Note on "The Logically Simplest Form of the Infinity Axiom"
Proceedings of the American Mathematical Society | 1990-01-01 | Paper |
| The Logically Simplest Form of the Infinity Axiom | 1988-01-01 | Paper |
Decision procedures for elementary sublanguages of set theory IX. Unsolvability of the decision problem for a restricted subclass of the Δ0-formulas in set theory
Communications on Pure and Applied Mathematics | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3948262 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3979048 (Why is no real title available?) | 1984-01-01 | Paper |
Binumerability in a sequence of theories
Rendiconti del Seminario Matematico della Università di Padova | 1981-01-01 | Paper |
Binumerability in a sequence of theories
Rendiconti del Seminario Matematico della Università di Padova | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3645076 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3628943 (Why is no real title available?) | 1978-01-01 | Paper |
Admissibility of the Structural Rules in the Sequent Calculus with Equality
(available as arXiv preprint) | N/A | Paper |
