Reports on Mathematical Logic

Author Index

ABAD, MANUEL
1. (and L. Monteiro) Number of Epimorphisms Between Finite Boolean Algebras. 10, 1978, pp. 3-7.
2. (and A. Figallo) Characterization of Three-valued Lukasiewicz Algebras. 18, 1984, pp. 47-59.
3. (and A. Fernandez and N. Meske) Free Boolean Correlations Lattices. 30, 1996, pp. 3-11.
4. (and J. P. D. Varela and M. Zander) Boolean algebras with a distinguished automorphism. 37, 2003, pp. 101-112.
5. (and L. Monteiro, S. S., J. Sewald and M. Zander), Subalgebras of a finite monadic Boolean Algebra. 40, 2006, pp. 199-206.
6. (and J. P. Diaz Varela, L. Rueda and A. M. Suardiaz), Free three-valued Closure \L ukasiewicz Algebras. 42, 2007, pp. 3-17.
7. (and J. M. Cornejo and J.e P. D\'iaz Varela) The Variety of Semi-Heyting Algebras Satisfying the equation (0 \to 1)^* \vee (0 \to 1)^{**} \approx 1. 46, 2011, pp. 75-90.

ACHTELIK, GRAZYNA
1. (and L. Dubikajtis, E. Dudek and J. Konior) On Independence of Axioms of Jaskowski's Discussive Propositional Calculus. 11, 1981, pp. 3-11.

ACKERMAN, NATHANAEL
1. (and M. L. Karker) Maximality for Continuous First Order Theories. 57, 2022, pp. 61-93.

ALBUQUERQUE, HUGO
1. (and J. M. Font, R. Jansana) Note of the Full Generalized Models of the Extensions of a Logic. 52, 2017, pp. 57-68.

AMER, MOHAMED A.
1. Probability Logic and Measures on Epimorphic Images of Coproducts of Measurable Spaces. 28, 1994, pp. 29-52.

BABYONYSHEV, SERGEI
1. Fully Fregean logics. 37, 2003, pp. 59-78

BARCA, ANNE
1. (and M. McRobbie) Constructive Interpolation Theorems for S$2^0$ and S2. 23, 1989, pp. 3-15.

BATENS, DIDERIK
1. (and K. De Clercq and N. Kurtonina) Embedding and Interpolation for Some Paralogics. The Propositional Case. 33, 1999, pp. 29-44.

BAYU, SURARSO
1. (and H. Ono) Cut Elimination in Noncommutative Substructural Logics. 30, 1996, pp. 13-29.

BENDOVA, KAMILA
1. Interpolation and three-valued logics. 39, 2005, pp. 127-131.
2. A weak essentially undecidable theory. 42, 2007, pp. 145-151.

BERGER, JOSEF
1. (and H. Ishihara, P. Schuster) The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice. 47, 2012, pp. 63-86.

BERNERT, JAN
1. (and A. Biela) On Two Different Modal Logics Denoted by S9. 13, 1981, pp. 3-9.
2. A Note on Existing of Matrices Strongly Adequate for Some Positive Logics. 14, 1982, pp. 3-7.

BIELA, ANDRZEJ
1. (and W. A. Pogorzelski) The Power of the Class of Lindenbaum-Asser Extensions of Consistent Set of Formulas. 2, 1974, pp. 5-8.
2. Structural Incompleteness of the Quine's Formalisation of the Classical Predicate Calculus. 3, 1974, pp. 3-8.
3. Note on the Structural Incompleteness of Some Modal Propositional Calculi. 4, 1975, pp. 3-6.
4. On the so-called Tarski's Property in the Theory of Lindenbaum's Oversystems. 7, 1976, pp. 3-20.
5. On the so-called Tarski's Property in the Theory of Lindenbaun's Oversystems.Part II.Axiomatizable Systems. 11, 1981, pp. 13-48.
6. (and J. Bernert) On Two Different Modal Logics Denoted by S9. 13, 1981, pp. 3-9.
7. (and T. Stepien) Lindenbaum's Extensions. 15, 1983, pp. 9-11.
8. (and W. Dziobiak) On Two Properties of Structurally Complete Logics. 16, 1983, pp. 51-54.

BLOK, WILLEM J.
1. (and S. B. la Falce) Komori Identities in Algebraic Logic. 34, 2000, pp. 79-106.
2. (and C. J. van Alten) On the finite embeddability property for residuated lattices, pocrims and BCK-algebras. 34, 2000, pp. 159-165.

BLOOM, STEPHEN L.
1. A Note on $\Psi$-Consequences. 8, 1977, pp. 3-9.

BLASZCZUK, JERZY J.
1. (and W. Dziobiak) An Axiomatisation of $M^n$-Counterparts for Some Modal Calculi. 6, 1976, pp. 3-6.

BONACINA, ROBERTA
1. (and D. Misselbeck-Wessel) A formal approach to Menger's theorem. 57, 2022, pp. 45-51.

BRUNNER, NORBERT
1. Lattice Points in Metric Spaces. 18, 1984, pp. 45-46.
2. Mappings on Quasiminimal Sets. 20, 1986, pp. 35-37.
3. (and J. E. Rubin) Two Conjectures about the Axiom of Choice. 20, 1986, pp. 99-100.
4. Superamorphous Sets. 21, 1987, pp. 15-17.
5. Cardinality Quantifiers and Choice Principles. 25, 1991, pp. 75-80.

BUGAJSKA-JASZCZOLT, BEATA
1. (and K. Dyrda) On the Rules of Substitution in the First-order Predicate Logics. 28, 1994, pp. 21-27.
2. (and T. Prucnal) Axiomatization of the Logic Determined by the System of Natural Numbers with Identity. 28, 1994, pp. 61-71.
3. Axiomatization of the Logic Determined by some Finite Relational Systems. 32, 1998, pp. 11-20.

BULL, ROBERT A.
1. The Algebraic Foundations of Logic. 6, 1976, pp. 7-28.

BURRIS, STANLEY
1. (and I. M. A. Ferreirim) Decidable Varieties of Hoops. 28, 1994, pp. 53-59.

BUSZKOWSKI, WOJCIECH
1. A representation theorem for co-diagonalizable algebras. 38, 2004, pp. 13-22.
2. On the complexsity of some substructural logics. 43, 2008, pp. 5-24.

BYRD, MICHAEL
1. Boundary Logics. 20, 1986, pp. 39-62.

CABRER, LEONARDO M.
1. Non canonicity of BL-algebras. 44, 2009, pp. 85-103.

CALOMINO, ISMAEL
1. (and S. Celani) On homomorphic images and the free distributive lattice extension of a distributive nearlattice. 51, 2016, pp. 57-73.

CAMERLO, RICCARDO
Continuous reducibility: functions versus relations. 54, 2019, pp. 45-63.

CAPINSKA, EWA
1. On Intermediate Logics Which Can Be Axiomatized by Means of Implicationless Formulas. 13, 1981, pp. 11-16.
2. (and A. Wronski) On Classes of Distributive Lattices with Pseudocomplementation Definable by Conditional Identities. 20, 1986, pp. 93-97.

CARNIELLI, WALTER A.
1. Methods of Proof for Relatedness and Dependence Logics. 21, 1987, pp. 35-46.

CARPENTER, AMOS J.
1. For a Countable Admissible Ordinal, the α-Recursive Functions Are Exactly the α-Definite Functions. 9, 1977, pp. 3-13.
2. Forcing with α-Finite Conditions. 14, 1982, pp. 9-22.

CASTIGLIONI, JOSE L.
1. (and M. Sagastume and H. J. San Martin) On frontal Heyting algebras. 45, 2010, pp. 201-224.
2. (and H. J. San Martin) On the variety of Heyting algebras with successor generated by all finite chains. 45, 2010, pp. 225-248.
3. (and H. J. San Martin) Errata on ``On the variety of Heyting algebras with successor generated by all finite chains. 48, 2013, pp. 117-120.

CAVAGNETTO, STEFANO
1. String Rewriting and Proof Complexity: an interpretation of Resolution. 44, 2009, pp. 167-200.

CELANI, SERGIO A.
1. A Note on Classical Modal Relevant Algebras. 32, 1998, pp. 35-52.
2. Modal Tarski algebras. 39, 2005, pp. 113- 126.
3. A semantic analysis of some distributive logics with negation. 48, 2013, pp. 81-100
4. (and D. Montagie) Hilbert algebras with a necessity modal operator. 49, 2014, pp. 47-77.
5. (and I. Calomino) On homomorphic images and the free distributive lattice extension of a distributive nearlattice. 51, 2016, pp. 57-73.

CHOMPITAKI, DIMITRA
1. (and M. Kamarianakis, T. Pheidas) Decidability of addition and Frobenius map for polynomials and rational functions. 57, 2022, pp. 53-60.

CINTIOLI, PATRIZIO
1. Sets with no subsets of higher weak truth-table degree. 53, 2018, pp. 3-17.
2. Corrigendum to "Sets with no subsets of higher weak truth-table degree", Reports on Mathematical Logic, 53 (2018). 55, 2020, pp. 143 - 144.

CITKIN, ALEX
1. Jankov-style formulas and refutation systems. 48, 2013, pp. 67-80.

De CLERCQ, Kristof
1. (and D. Batens, N. Kurtonina) Embedding and Interpolation for Some Paralogics. The Propositional Case. 33, 1999, pp. 29-44.

CLIMENT VIDAL, JUAN,
1. (and J. Soliveres Tur) On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories. 40, 2006, pp. 127-158.
2. (and J. Soliveres Tur) A 2-categorical framework for the syntax and semantics of many-sorted equational logic. 45, 2010, pp. 37-95.

COCHIARELLA, NINO B.
1. A Second-Order Logic of Variable Binding Operators. 5, 1975, pp. 3-18.

CONIGLIO, MARCELO E.
1. (and L. A. Sbardellini) Some results on ordered structures in toposes. 40, 2006, pp. 181-198.

CORDERO, PABLO
1. (and M. Enciso, I. P. de Guzman): From the poset of temporal implicates/implicants to a temporal negative form. 36, 2002, pp. 3-53.

CORNEJO, JUAN M.
1. (and M. Abad and J. P. D\'iaz Varela) The Variety of Semi-Heyting Algebras Satisfying the equation (0 \to 1)^* \vee (0 \to 1)^{**} \approx 1. 46, 2011, pp. 75-90.

COSTA, NEWTON C. A. Da
1. Remarks on Jaskowski's Discussive Logic. 4, 1975, pp. 7-16.
2. (and F.A. Doria, N. Papavero) Meinong's Theory of Objects and Hilbert's ε-Symbol. 25, 1991, pp. 119-132.

COWEN, ROBERT H.
1. Partition Principles for Properties of Finite Character. 14, 1982, pp. 23-28.
2. Hypergraph Satisfiability. 25, 1991, pp. 113-117.
3. Combinatorial Analytic Tableaux. 27, 1993, pp. 29-39.
4. A Compactness Theorem for Infinite Constraint Satisfaction. 32, 1998, pp. 97-108.
5. Property S. 35, 2001, pp. 61-74.

CRESSWELL, M. J.
1. Omnitemporal Logic and Tense Logic. 4, 1975, pp. 17-24.
2. Some Unsolved Problems in Modal Logic. 20, 1986, 101.

CRVENKOVIC, S.
1. (and M. Mitrovic and D. A. Romano) Complementary pair of quasi-antiorders. 45, 2010, pp. 135-142.

CROSSLEY, JOHN N.
1. (and L. Humberstone) The Logic of 'Actually'. 8, 1977, pp. 11-29.

CZELAKOWSKI, JANUSZ
1. Partial Boolean Algebras in a Broader Sense as a Semantics For Quantum Logic. 11, 1981, pp. 49-56.
2. Equivalential Logics (after 25 years of investigations). 38, 2004, pp. 23-36.
3. (and W. Dziobiak), On truth-schemes for intensional logics. 41, 2006, pp. 151-171.
4. Additivity of the commutator and residuation. 43, 2008, pp. 109-132.

DANIELS, CHARLES B.
1. (and J. B. Freeman) A Logic of Generalised Quantification. 10, 1978, pp.9-41.

DAVIDSON, BARBARA
1. (and B. Ellis) Logic and Strict Coherence. 6, 1976, pp. 29-40.

DEGEN, J. W.
1. Proof Theory for Finitely Valid Sentences. 35, 2001, pp. 47-60.

DELHOMME, CHRISTIAN
1. (and M. Morillon) Spanning graphs and the Axiom of Choice. 40, 2006, pp. 165-180.

DELLUNDE, PILAR
1. Equality-free saturated models. 37, 2003, pp. 3-22.

DIMONTE, VINCENZO
1. The *-Prikry condition. 53, 2018, pp. 111-142.

DINIS, BRUNO
1. (and G. Ferreira) Instantiation overflow. 51, 2016, pp. 15-33.

DISHKANT, HERMAN
1. The First Order Predicate Calculus Based on the Logic of Quantum Mechanics. 4, 1974, pp. 9-18.
2. The Connective 'Becoming' and the Paradox of Electron Diffraction. 9, 1977, pp. 15-21.

DORIA, F. A.
1. (and N.C.A. da Costa, N. Papavero) Meinong's Theory of Objects and Hilbert's ε-Symbol. 25, 1991, pp. 119-132.

DO\u SEN, KOSTA
1. Negation as a Modal Operator. 20, 1986, pp. 15-28.

DUBIKAJTIS, LECH
1. (with G. Achtelik, E. Dudek and J. Konior) On Independence of Axioms of Jaskowski's Discussive Propositional Calculus. 11, 1981, pp. 3-11.
2. (with L. de Moraes) On Single Operator for Lewis S5 Modal Logic. 11, 1981, pp. 57-61.
3. On the First Order Logic true in every universe (including the empty universe). 37, 2003, pp. 41-58.

DUDEK, ELZBIETA
1. (with G. Achtelik, L. Dubikajtis and J. Konior) On Independence of Axioms of Jaskowski's Discussive Propositional Calculus. 11, 1981, pp. 3-11.

DYRDA, KAZIMIERA
1. (and B. Bugajska) On the Rules of Substitution in the First-order Predicate Logics. 28, 1994, pp. 21-27.

DYWAN, ZDZISLAW
1. On a Certain Condition of the Finite Structural Axiomatization of the Classical Propositional Calculus. 9, 1977, pp. 23-26.
2. Finite Unaxiomatizability of Propositional Calculi with One Variable. 12, 1981, pp. 3-7.

DZIK, WOJCIECH
1. On Structural Completeness of Some Nonclassical Predicate Calculi. 5, 1975, pp. 19-26.
2. On the Content of Lattices of Logics. Part I: The Representation Theorem for Lattices of Logics. 13, 1981, pp. 17-27.
3. The Existence of Lindenbaum's Extensions Is Equivalent to the Axiom of Choice. 13, 1981, pp. 29-31.
4. On the Content of Lattices of Logics. Part II. 14, 1982, pp. 29-47.
5. (and M. Tokarz) Invariant Matrix Consequences. 18, 1984, pp. 37-43.
6. Chains of structurally complete predicate logics with the application of Prucnal's substitution. 38, 2004, pp. 37-48.
7. Unification in some substructural logics of BL-algebras and hoops. 43, 2008, pp. 73-84.

DZIOBIAK, WIESLAW
1. (and J. J. Blaszczuk) An Axiomatization of $M^n$ -Counterparts for Some Modal Calculi. 6, 1976, pp. 3-6.
2. (and A. Biela) On Two Properties of Structurally Complete Logics. 16, 1983, pp. 51-54.
3. A Finite Matrix Whose Set of Tautologies Is Not Finitely Axiomatizable. 25, 1991, pp. 105-112.
4. (and J. Czelakowski), On truth-schemes for intensional logics. 41, 2006, pp. 151-171.

EBERL, MATTHIAS
1. A Model Theory for the Potential Infinite. 57, 2022, pp. 3-30.

ELLENTUCK, ERIK
1. (and F. Halpern) Theories Having Many Extensions. 4, 1975, pp. 25-29.

ELLIS, BRIAN
1. (and B. Davidson) Logic and Strict Coherence. 6, 1976, pp. 29-40.

ENCISO, MANUEL
1. (and P. Cordero, I. P. de Guzman): From the poset of temporal implicates/implicants to a temporal negative form. 36, 2002, pp. 3-53.

EPSTEIN, RICHARD L.
1. The Algebra of Dependence Logic. 21, 1987, pp. 19-34.
2. A Parconsistent Many-Valued Propositional Logic: J$_3$. 22, 1988, pp. 89-103.
3. Valid Deductions for Falsity-Default Logics. 26, 1992, pp. 89-95.

ERTOLA, RODOLFO
1. (and Marta Sagastume), Subminimal logic and weak algebras. 44, 2009, pp. 153-166.

ESSER, OLIVIER
1. Mildly ineffable cardinals and hiperuniverces. 37, 2003, pp. 23-40.

LA FALCE, SILVIA B.
1. (and W. Blok) Komori Identities in Algebraic Logic. 34, 2000, pp. 79-106.

FARULEWSKI, MACIEJ
1. Finite embeddability property for residuated groupoids. 43, 2008, pp. 25- 42.

FERENCZI, M.
1. A Remark on the Concept of Conditional Probability. 20, 1986, pp. 3-6.

FERNANDEZ, ALICIA
1. (and M. Abad and N. Meske) Free Boolean Correlations Lattices 30, 1996, 3-11

FERREIRA, GILDA,
1. (and B. Dinis) Instantiation overflow, 51, 2016, 15-33

FERREIRIM, ISABEL M.A.
1. (and S. Burris) Decidable Varieties of Hoops. 28, 1994, pp. 53-59.
2. A short note on hoops and continuous {t}-norms. 34, 2000, pp. 141-152.

FIDEL, MANUEL M.
1. The Decidability of the Calculi $C_n$. 8, 1977, pp. 31-40.

FIGALLO, ALDO V.
1. (and M. Abad) Characterization of Three-valued Lukasiewicz Algebras. 18, 1984, pp. 47-59.
2. I$\Delta_3$-Algebras. 24, 1990, pp. 3-16.
3. (and P. Landini) On Generalized I-Algebras and 4-valued Modal Algebras. 29, 1995, pp. 3-18.

FIGALLO, MARTIN
1. Some results on diagonal-free two-dimensional cylindric algebras. 46, 2011, pp. 3-15.

FIORENTINI, CAMILLO
1. Hypercanonicity, extensive canonicity, canonicity and strong completeness of intermediate propositional logics. 35, 2001, pp. 3-46.

FONT, JOSEP M.
1. Implication and Deduction in Some Intuitionistic Modal Logic. 17, 1984, pp. 27-38.
2. (and Ramon Jansana, Don Pigozzi) Fully adequate Gentzen Systems and the Deduction Theorem. 35, 2001, pp. 115-165.
3. On semilattice-based logics with an algebraizable assertional companion. 46, 2011, pp. 109-132.
4. (and H. Albuquerque, R. Jansana) Note of the Full Generalized Models of the Extensions of a Logic. 52, 2017, pp.57-68.

FRANKOWSKI, SZYMON
1. On the Lattice of p-consequences. 45, 2010, pp. 23-35.

FREEMAN, JAMES B.
1. (and Ch. B. Daniels) A Logic of Generalised Quantification. 10, 1978, pp. 9-41.

FREIRE, RODRIGO A.
1. Embeddability Between Orderings and GCH. 56, 2021, pp. 101 - 109.

FREYTES, HECTOR
1. (and R. Giuntini, A. Ledda, F. Paoli) On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras. 44, 2009, pp. 31-63.

GAITAN, HERNANDO
1. Finitely Generated Subvarieties of Demi-p-lattices. 26, 1992, pp. 25-38.
2. Endomorphisms and subalgebras of Tarski algebras. 50, 2015, pp. 31-39.

GALATOS, NIKOLAOS
1. (and J. S. Olson, J. G. Raftery, Irreducible residuated semilattices and finitely based varieties. 43, 2008, pp. 85-108.

GAUTHIER, YVON
1. Kronecker in Contemporary Mathematics. General Arithmetic as a Foundational Programme. 48, 2013, pp. 37-65.

GEHRKE, MAI
1. (and Hilary A. Priestley) Canonical extensions and completions of posets and lattices. 43, 2008, pp. 133-152.

GEORGESCU, GEORGE
1. Pierce Sheaf and The Duality of Lukasiewicz-Moisil Algebras. 26, 1992, pp. 67-74.
2. Some model theory for probability structures. 35, 2001, pp. 103-113.

GIAMBRONE, STEVE
1. A Critique of 'Decision Procedures for Two Positive Relevance Logics'. 19, 1985, pp. 13-16.
2. Orlowska's Relevant Implications, Relevant Logics and Analytic Implication. 24, 1990, pp. 37-47.

GIL, ANGEL J.
1. (and J. Rebagliato) Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics. 41, 2006, pp. 9-30.

GISPERT i BRASO, JOAN
1. Axiomatic extensions of the milpotent minimum logic. 37, 2003, pp. 113-124.

GIUNTINI, ROBERTO
1. (and A. Ledda, H. Freytes, F. Paoli) On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras. 44, 2009, pp. 31-63.
2. (and C. Mureşan, F. Paoli), PBZ*-lattices: Structure theory and subvarieties. 55, 2020, pp. 3 - 39.

GOAD, C. A.
1. Monadic Infinitary Propositional Logic: A Special Operator. 10, 1978, pp. 43-50.

GOLDBLATT, ROBERT I.
1. Methamathematics of Modal Logic. Part I. 6, 1976, pp. 41-78
2. Methamathematics of Modal Logic. Part II. 7, 1976, pp. 21-52.

GOMEZ, CONRADO
1. (and M. A. Marcos, J. San Martin) On the relation of negations in Nelson algebras. 56, 2021, pp. 15 - 56.

GONZALEZ, LUCIANO J.
1. Perfect Hilbert algebras. 59, 2024, pp. 27-48.

GORAZD, TOMASZ A.
1. The isomorphism testing for directly representable varieties. 31, 1997, pp. 75-92.
2. (and J. Krzaczkowski) The complexity of problems connected with two-element algebras. 46, 2011, pp. 91-108.

GRABOWSKI, ADAM
1. Lattice of Substitutions. 33, 1999, pp. 99-109.

GRELL, BOGDAN
1. Un simple systeme de logique fonde sur regles. 2, 1974, pp. 9-24.

GRIMSON, RAFAEL
1. (and B. Kuijpers) Some fragments of second-order logic over the reals for which satis ability and equivalence are (un)decidable. 49, 2014, pp. 23-34.

GRODZKI, ZDZISLAW
1. The Kolmorgov's Complexity of the Computations of the $k$-Machines. 3, 1974, pp. 19-30.
2. Generalised Markov Normal Algorithms. 5, 1975, pp. 27-35.
3. (and J. Zurawiecki) The ($k, m$)-Computation Sets. 6, 1976, pp. 79-86.
4. ( and J. Mycka) Classes of Markov-like k-ALGORITHMS. 30, 1996, pp. 83-99.

GRYGIEL, JOANNA
1. Absolutely Independent Sets of Generators of Filters in Boolean Algebras. 24, 1990, pp. 25-35.
2. (and P. Wojtylak) The uniqueness of the decomposition of distributive lattices into sums of Boolean lattices. 31, 1997, pp. 93-102.
3. Boolean constructions of independent sets of generators for filters. 35, 2001, pp. 75-85.
4. Application of the Cantor-Bendixon construction to the problem of freely generated filters. 38, 2004, pp. 49-59.

GUMB, RAYMOND D.
1. Metaphor Theory. 10, 1978, pp. 51-60.

GUZMAN, INMACULADA P. DE
1. (and P. Cordero, M. Enciso): From the poset of temporal implicates/implicants to a temporal negative form. 36, 2002, pp. 3-53.

HALPERN, FRED
1. (and E. Ellentuck) Theories Having Many Extensions. 4, 1975, pp. 25-30.

HAMAL, AHMET
1. (and M. Terziler) Peritopological Spaces and Bisimulations. 50, 2015, pp. 67-81.

HANSSON, SWEN OVE
1. A Note on Anti-cyclic Properties of Complete Binary Relations. 27, 1993, pp. 41-44.

HANUSEK, JERZY
1. Decidability of finite Boolean algebras with a distinguished subset closed under some operations. 29, 1995, pp. 59-79.
2. Decidability of Classes of Finite Algebras with a Distinguished Subset Closed Under a Discriminator Clone. 30, 1996, pp. 65-82.

HASHIMOTO, YASUSI
1. (and A. Maruyama) Inclusion Relationship between Pseudo-Euclidean Logics. 46,2011, pp. 133-142.

HAWRANEK, JACEK
1. (and M. Tokarz) Matrices for Predicate Logics. 9, 1978, pp. 27-30.

HERMAN, GRZEGORZ
1. Complexity of cover-preserving embeddings of bipartite orders into Boolean lattices. 49, 2014, pp. 99-117.

HERRING, JOHN M.
1. Equivalence of Several Notions of Theory Completeness in a Free Logic. 6, 1976, pp. 87-92.

HINNION, ROLAND
1. Intensional positive set theory. 40, 2006, pp. 107-125.
2. Intensional solutions to the identity problem for partial sets. 42, 2007, pp. 47-69.
3. Ultrafilters (with dense elements) over closure spaces. 47, 2012, pp. 115-124.

HSIEH, AI-NI
1. Some locally tabular logics with contraction and mingle. 45, 2010, pp. 143-159.

HUGHES, GEORGE E.
1. Modal Systems with No Minimal Proper Extensions. 6, 1976, pp. 93-98.
2. Omnitemporal Logic and Nodal Time. 8, 1977, pp. 41-61.

HUMBERSTONE, LLOYD
1. (and J. N. Crossley) The Logic of 'Actually'. 8, 1977, pp. 11-29.
2. Relative Necessity Revisited. 13, 1981, pp. 33-42.
3.Extensions of Intuitionistic Logic Without the Deduction Theorem: Some Simple Examples. 40, 2006, pp. 45-82.

IDZIAK, KATARZYNA
1. Quasivarieties of Equivalential Algebras. 29, 1995, pp. 81-85.
2. Counting quasivarieties of equivalential algebras. 34, 2000, pp. 153-156.

IDZIAK, PAWEL M.
1. Undecidability of Free Pseudocomplemented Distributive Lattices. 21, 1987, pp. 97-100.
2. Decision Problem for Relatively Free Brouwerian Semilattices. 22, 1988, pp. 39-50.
3. Sheaves in Universal Algebra and Model Theory.Part I. 23, 1989, pp. 39-65.
4. Elementary Theory of Free Heyting Algebras. 23, 1989, pp. 71-73.
5. Sheaves in Universal Algebra and Model Theory.Part II. 24, 1990, pp. 61-86.
6. Elementary Theory of Finite Equivalential Algebras. 25, 1991, pp. 81-89.

ILIC, MIRJANA
1. A Natural Deduction and its Corresponding Sequent Calculus for Positive Contraction-less Relevant Logic. 52, 2017, pp. 101-132.

ISHIHARA, HAJIME
(and J. Berger, P. Schuster) The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice. 47, 2012, pp. 63-86.

ISLES, DAVID
1. The Accessibility of $\varepsilon_0$. 5, 1975, pp. 37-42.
2. Theorems of Peano arithmetic are Buridan-Volpin recursively satisfable. 31, 1997, pp. 57-74.

ITURRIOZ, LUISA
1. Two Characteristic Properties of Monadic Three-valued Lukasiewicz Algebras. 8, 1977, pp. 63-69.

JAGIELLA, GRZEGORZ
1. (and L. Newelski) On ordered minimal structures. 49, 2014, pp. 35-46.

JANSANA, RAMON
1. (and J. M. Font, D. Pigozzi) Fully adequate Gentzen Systems and the Deduction Theorem. 35, 2001, pp. 115-165.
2. (and A. Palmigiano) Referential semantics: duality and applications. 41, 2006, pp. 63-93.
3. (and H. Albuquerque, J. M. Font) Note of the Full Generalized Models of the Extensions of a Logic. 52, 2017, pp. 57-68.

JIPSEN, PETER
1. (and A. Ledda, F. Paoli) On some properties of quasi-MV algebras and $\sqrt{^{\prime}}$ quasi-MV algebras. Part IV. 48, 2013, pp. 3-36.

JUNGABEL, EVA
1. On some homomorphism-homogeneous point-line geometries. 54, 2019, pp. 101-119.

KABZINSKI, JACEK K.
1. (and M. Porebska) Proof of the Separability of the Intuitionistic Propositional Logic by the Wajsberg's Method. 4, 1977, pp. 31-38.

KAGAN, JOEL
1. (and R. Quackenbush) Monadic Algebras. 7, 1976, pp. 53-62.

KAMARIANAKIS, MANOS
1. (and D. Chompitaki, T. Pheidas) Decidability of addition and Frobenius map for polynomials and rational functions. 57, 2022, pp. 53-60.

KARKER, MARY LEAH
1. (and N. Ackerman) Maximality for Continuous First Order Theories. 57, 2022, pp. 61-93.

KAMIDE, NORIHIRO
1. A canonical model construction for substructural logics with strong negation. 36, 2002, pp. 95-116.
2. Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems. 45, 2010, pp. 3-21.
3. A logic of sequences. 46, 2011, pp. 29-57.
4. Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic. 47, 2012, pp. 29-61.
5. An eight-valued praconsistent logic. 49, 2014, pp. 3-21.
6. Interpolation theorems for some variants of LTL. 50, 2015, pp. 3-30.
7. Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning. 52, 2017, pp. 3-44.

KARIMI, AHMAD
1. A Non-Self-Referential Paradox in Epistemic Game Theory. 52, 2017, pp. 45-56.

KATOH, YOSUKE
1. (and T. Kowalski, M. Ueda), Almost minimal varieties related to fuzzy logic. 41, 2006, pp. 173-194.

KIELKOPF, CHARLES F.
1. Kant's Deontic Logic. 5, 1975, pp. 43-51.

KIHARA, HITOSHI
1. (and H. Ono), Algebraic characterizations of variable separation properties. 43, 2008, pp. 43-63.

KISIELEWICZ, ANDRZEJ
1. Double Extension Set Theory. 23, 1989, pp. 81-89.

KLOCH, KAMIL
1. Online dimension of partially ordered sets. 42, 2007, pp. 101-116.

KOJIMA, KENSUKE
1. Relational and neighborhood semantics for intuitionistic modal logic. 47, 2012, pp. 87-113.

KOLANY, ADAM
1. (and P. Wojtylak) Restricted Versions of the Compactness Theorem. 25, 1991, pp. 91-103.
2. Hypergraphs and the Intuitionistic Propositional Calculus. 27, 1993, pp. 55-66.
3. Grabowski lattices are generated by graphs. 36, 2002, pp. 63-70.

KOMORI, YUICHI
1. Some Results on the Super-intuitionistic Predicate Logics. 15, 1983, pp. 13-31.

KONDO, MICHIRO
1. Simple Completeness Proof of Lemmon's SO.5. 22, 1988, pp. 3-8.

KONIOR, JAN
1. (with G. Achtelik, L. Dubikajtis and E. Dudek) On Independence of Axioms of Jaskowski's Discussive Propositional Calculus. 11, 1981, pp. 3-11.

KOTAS, JERZY
1. (and P. Wojtylak)Finite Distributive Lattices as Sums of Boolean Algebras. 29, 1995, pp. 35-40.
2. Self-dual boolean functions. 38, 2004, pp. 61-64.
3. (and M. Malycha) Remarks on the arrangement of the irreducible elements of finitely generated distributive lattices in a Boolean cube. 38, 2004, pp. 65-68.

KOWALSKI, TOMASZ
1. A Syntactic Proof of a Conjecture of Andrzej Wronski. 28, 1994, pp. 81-86.
2. The bottom of the lattice of BCK-varieties. 29, 1995, pp. 87-93.
3. Varieties of Tense Algebras. 32, 1998, 53-96,
4. Pretabular Varieties of Equivalential Algebras. 33, 1999, pp. 3-10.
5. (and H. Ono) The variety of residuated lattices is generated by its finite simple members. 34, 2000, pp. 59-78.
6. (and H. Ono) Remarks on splittings in the variety of residuated lattices. 34, 2000, pp. 133-140.
7. (and Y. Katoh, M. Ueda), Almost minimal varieties related to fuzzy logic. 41, 2006, pp. 173-194.
8. (and J. Slaney) A finite fragment of S3. 43, 2008, pp. 65-72. 9. (and F. Paoli) On some properties of quasi MV algebras and square root quasi MV algebras. Part III. 45, 2010, pp. 161-199.

KRAJEWSKI, STANISLAW
1. Relatedness Logic. 20, 1986, pp. 7-14.

KREISEL, GEORG
1. Monadic Operators Defined by Means of Propositional Quantification in Intuitionistic Logic. 12, 1981, pp. 9-15.

KRON, ALEXANDER
1. Decision Procedures for Two Positive Relevance Logics. 10, 1978, pp. 61-78.

KRZACZKOWSKI, JACEK
1. (and T. Gorazd) The complexity of problems connected with two-element algebras. 46, 2011, pp. 91-108.

KRZYSTEK, PIOTR
1. On the Free Relatively Pseudocomplemented Semilattice with Three Generators. 9, 1977, pp. 31-38.
2. (and S. Zachorowski) L ukasiewicz Logics Have Not the Interpolation Property. 9, 1977, pp. 39-40.

KUHNRICH, MARTIN
1. On the Hermes Term Logic. 16, 1983, pp. 3-16.

KUIJPERS, BART
1. (and R. Grimson) Some fragments of second-order logic over the reals for which satis ability and equivalence are (un)decidable. 49, 2014, pp. 23-34.

KURTONINA, Natasha
1. (and D. Batens, K. De Clercq) Embedding and Interpolation for Some Paralogics. The Propositional Case. 33, 1999, pp. 29-44.

KYSIAK, MARCIN
1. A note on transitive sets without the foundation axiom. 40, 2006, pp. 159-163.

LACHOWSKI, LUKASZ
1. On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic. 53, 2018, pp. 19-42.

LA FALCE, SILVIA B.
1. (and W. Blok) Komori Identities in Algebraic Logic. 34, 2000, pp. 79-106

LANDINI, PAOLO
1. (and A. V. Figallo) On Generalized I-Algebras and 4-valued Modal Algebras. 29, 1995, pp. 3-18.

LATTANZI, MARINA
1. (n+1)-bounded Wajsberg Algebras with a U-operator. 39, 2005, pp. 89-111.
2. (and A. Petrovich) A Duality for (n+1)-valued MV-algebras. 44, 2009, pp. 65-84.

LATOCHA, PIOTR
1. The Problem of Structural Completeness of the Intuitionistic Propositional Logic and Its Fragments. 16, 1983, pp. 17-22.
2. (and W. A. Pogorzelski) On Hilbert's Operation on Logical Rules. III. 19, 1985, pp. 17-39.

LEBLANC, HUGUES
1. (with J. Paulos and G. E. Weaver) Rules of Deduction and Truth Tables. 8, 1977, pp. 71-79.

LEDDA, ANTONIO
1. (and R. Giuntini, H. Freytes, F. Paoli) On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras. 44, 2009, pp. 31-63.
2. (and P. Jipsen, F. Paoli) On some properties of quasi-MV algebras and $\sqrt{^{\prime}}$ quasi-MV algebras. Part IV. 48, 2013, pp. 3-36.

LESISZ, WLODZIMIERZ
1. (and W. A. Pogorzelski) A Simplified Definition of the Notion of Similarity Between Formulas of the First-order Predicate Calculus. 7, 1977, pp. 63-69.
2. On Propositional Calculus with a Variable Functor. 17, 1984, pp. 19-25.

LIPPARINI, PAOLO
1. Non-generators in extensions of infinitary algebras. 57, 2022, pp. 31-43.
2. A short way to directed J{\'o}nsson terms. 59, 2024, pp. 79-95.

LITAK, TADEUSZ
1. A continuum of incomplete intermediate logics. 36, 2002, pp. 131-142.

LOKHORST, GERT-JAN C.
1. An alternative intuitionistic version of Mally's deontic logic. 51, 2016, pp. 35-41.

MAKINSON, DAVID
1. A Chaacterization of Structural Completeness of a Structural Consequence Operation. 6, 1976, pp. 99-102.

MALINOWSKI, GRZEGORZ
1. Classical Characterization of $n$-valued Lukasiewicz Calculi. 9, 1977, pp. 41-45.
2. A Characterization of Strenghtenings of a Two-valued Non-uniform Sentential Calculus. 12, 1981, pp. 17-33.
3. Q-Consequence Operation. 24, 1990, pp. 49-59.

MALYCHA, MACIEJ
1. (and J. Kotas) Remarks on the arrangement of the irreducible elements of  finitely generated distributive lattices in a Boolean cube. 38, 2004, pp. 65-68.

MANKA, ROMAN
1. Turinici's Fixed Point Theorem and the Axiom of Choice. 22, 1988, pp. 15-19.

MARCONI, DIEGO
1.An Algebraic Characterization of Thomason's System $\Delta$. 27, 1993, pp. 3-18.

MARCOS, MIGUEL ANDRES
1. (and C. Gomez, J. San Martin) On the relation of negations in Nelson algebras. 56, 2021, pp. 15 - 56.

MARES, EDWIN D.
1. The Semantic Completeness of RK. 26, 1992, pp. 3-10.

MAREK, IWONA
1. Consequence Operations Defined by Partial Matrices. 17, 1984, pp. 47-55.

MARIANO, HUGO LUIZ
1. (and F. Miraglia), Profinite Structures are Retracts of Ultraproducts of Finite Structures. 42, 2007, pp. 171-184.

MARTINEZ, JUAN CARLOS
1. On PCF spaces which are not Frechet-Urysohn. 53, 2018, pp. 67-77.

MARUYAMA, AKIO
1. (and Y. Hashimoto) Inclusion Relationship between Pseudo-Euclidean Logics. 46, 2011, pp. 133-142.

McROBBIE, MICHAEL
1. (and A. Barca) Constructive Interpolation Theorems for S2 and S2. 23, 1989, pp. 3-15.

MASCHIO, SAMUELE
1. Natural density and probability, constructively. 55, 2020, pp. 41 - 59.

MENDEZ, JOSE M.
1. Deduction Theorems for T$^0_\ra$, E$^0_\ra$, R$^0_\ra$, S4$^0_\ra$, and I$^0_\ra$. 22, 1988, pp. 9-13.
2. (and F. Salto, G. Robles) Anderson and Belnap's minimal positive logic with minimal negation. 36, 2002, pp. 117-130,
3.(and G. Robles, F. Salto) Minimal negation in the ternary relational semantics. 39, 2005, pp. 47-65.
4. (and G. Robles) Minimal non-relevant logics without the K axiom. 42, 2007, pp. 117-144.

MESKE, NELLI
1. (and M. Abad, A. Fernandez) Free Boolean Correlations Lattices. 30,1996, pp. 3-11.

MEYER, ROBERT K.
1. (and R. Routley) Towards a General Semantical Theory of Implication and Conditionals. I. Systems with Normal Conjunctions and Disjunction and Aberrant and Normal Negations. 4, 1975, pp. 67-90.
2. Two Questions from Anderson and Belnap. 7, 1976, pp. 71-86.
3. (and R. Routley) Towards a General Semantical Theory of Implication and Conditionals. II. Improved Negation Theory and Propositional Identity. 9, 1977, pp. 47-62.
4. More Implicative Extensions for Belnap Lattices. 13, 1981, pp. 43-51.

MICHAELS, ALLEEN
1. (and R. Suszko) Sentential Calculus of Identity and Negation. 7, 1976, pp. 87-106.

MIKEC, LUKA
1. (and T. Perkov) Tableau-based translation from first-order logic to modal logic. 56, 2021, pp. 57 - 74.

MINARI, PIERLUIGI
1. On the Algebraic and the Kripkean Logical Consequence Relation for the Orthomodular Quantum Logic. 21, 1987, pp. 47-54.
2. (and A. Wronski) The Property (HD) in Intermediate Logics. A Partial Solution of a Problem of H. Ono. 22, 1988, pp. 21-25.

MIRAGLIA, FRANCISCO
1. (and H.L. Mariano), Profinite Structures are Retracts of Ultraproducts of Finite Structures. 42, 2007, pp. 171-184.

MIRANDA FILHO, RICARDO C.
1. (and A. A. M. Rodrigues , E. G. de Souza) Invariance and Set-Theoretical Operations in First Order Structures. 40, 2006, pp. 207-213.
2. (and A. A. M. Rodrigues , E. G. de Souza) Definability in infinitary languages and invariance by automorphims. 45, 2010, pp. 119-133.

MISSELBECK-WESSEL (Wessel), DANIEL
1. (and Peter Schuster) A General Extension Theorem for Directed-Complete Partial Orders. 53, 2018, pp. 79-96.
2. (and R. Bonacina) A formal approach to Menger's theorem. 57, 2022, pp. 45-51.

MITROVIC, MELANIJA
1. (and S. Crvenkovic and D. A. Romano) Complementary pair of quasi-antiorders, 45, 2010, pp. 135-142.

MIYAZAKI, YUTAKA
1. The Super-Amalgamation Prperty of the Variety of Ortholattices. 33, 1999, pp. 45-64.

MONIRI, MOJTABA
1. On definable completeness for ordered fields. 54, 2019, pp. 95-100.
2. Corrigendum to "On definable completeness for ordered fields" RML, 54 (2019). 56, 2021, pp. 111 - 113.

MONTANGIE, DANIELA
1. (and S.A. Celani) Hilbert algebras with a necessity modal operator. 49, 2014, pp. 47-77.

MONTEIRO, LUIZ
1. Une construction des algebres de Morgan libres sur un ensemble ordonne. 3, 1974, pp. 31-36.
2. (and M. Abad) Number of Epimorphisms between Finite Symmetric Boolean Algebras. 10, 1978, pp. 3-8.
3. (and M. Abad, S. Savini, J. Sewald and M. Zander) Subalgebras of a finite monadic Boolean Algebra. 40, 2006, pp.199-206.

MORASCHINI, TOMMASO
1. On everywhere strongly logifiable algebras. 50, 2015, pp. 83-107.

 MORILLON, MARIANNE
(and Christian Delhomme) Spanning graphs and the Axiom of Choice. 40, 2006, pp. 165-180.

MOSTOWSKI, MARCIN
1. Truth in the limit. 51, 2016, pp. 75-89.

MUDRINSKI, NEBOJSA
1. The largest higher commutator sequence. 54,2019, pp. 83-94.

MURAWSKI, ROMAN
1. A Note on Inner Interpretations of Models of Peano Arithmetic. 13, 1981, pp. 53-57.
2. Semantics for Nonstandard Languages. 22, 1988, pp. 105-114.

MUREŞAN, CLAUDIA
1. (and R. Giuntini, F. Paoli), PBZ*-lattices: Structure theory and subvarieties. 55, 2020, pp. 3 - 39.

MUZIO, ION C.
1. The Size of Some Large Classes of $n$-valued Sheffer Functions. 5, 1975, pp. 53-62.
2. The Class Structure of Complete Binary Opreations on (0, 1, 2). 8, 1978, pp. 81-85.

MYCIELSKI, JAN
1. An Essay about Old Model Theory. 14, 1982, pp. 49-58.

MYCKA, JERZY
1. (and Z. GRODZKI) Classes of Markov-like k-ALGORITHMS. 30, 1996, pp. 83-99.
2. A simple observation regarding iterations of finite-valued polynomial-time functions. 44, 2009, pp. 19-29.
3. Recursively enumerable sets and well-ordering of their enumerations. 49, 2014, pp. 79-97.

NAKAMURA, TETSUO
1. Disjunction Property for Some Intermediate Predicate Logics. 15, 1983, pp. 33-39.

NEWELSKI, LUDOMIR
1. (and G. Jagiella) On ordered minimal structures. 49, 2014, pp. 35-46.

NIEBERGAL, KARL-GEORG
(and M. Schirn), Finitism = PRA? On a Thesis of W. W. Tait. 39, 2005, pp. 3-24.

NIKI, SATORU
1. (and H. Omori) A note on Humberstone's constant $\Omega$. 56, 2021, pp. 75 - 99.

NUTE, DONALD
1. Algebraic Semantic for Conditional Logics. 10, 1978, pp. 79-101.

OLSON, JEFFREY S.
1. (and Nikolaos Galatos, James G. Raftery), Irreducible residuated semilattices and finitely based varieties. 43, 2008, pp. 85-108.

OMAN, GREG
1. Unifying some notions of infinity in ZC and ZF. 51, 2016, pp. 43-56.

OMORI, HITOSHI
1. An axiomatization of Wansing's expansion of Nelson's logic. 50, 2015, pp. 41-51.
2. A Note on Wansing's expansion of Nelson's logic. 51, 2016, pp. 133-144.
3. (and S. Niki) A note on Humberstone's constant $\Omega$. 56, 2021, pp. 75 - 99.

ONO, HIROAKIRA
1. Model Extension Theorem and Craig's Interpolation Theorem for Intermediate Predicate Logics. 15, 1983, pp. 41-58.
2. Some Remarks on Semantics for the Classical Logic without the Contraction Rules. 19, 1985, pp. 3-12.
3. Some Problems in Intermediate Predicate Logics. 21, 1987, pp. 55-67.
4. (and N. Suzuki) Relations Between Intuitionistic Modal Logics and Intermediate Predicate Logics. 22, 1988, pp. 65-87.
5. Supplement to 'Some Problems in Intermediate Predicate Logics'. 22, 1988, pp. 117-118.
5. (and B. Surarso) Cut Elimination in Noncommutative Substructural Logics. 30, 1996, pp. 13-29.
6. (and T. Kowalski) The variety of residuated lattices is generated by its finite simple members. 34, 2000, pp. 59-78.
7. (and T. Kowalski) Remarks on splittings in the variety of residuated lattices. 34, 2000, pp. 133-140.
8. (and H. Kihara), Algebraic characterizations of variable separation properties. 43, 2008, pp. 43-63.

OTTAVIANO, ITALA M. L. d'
1. (and R. L. Epstein) A Paraconsistent Many-Valued Propositional Logic: J$_3$. 22, 1988, pp. 89-103.

OZDEMIR, ZAFER
1. Tableaux Approach for Contact Logics Interpreted over Intervals. 58, 2023, pp. 3-13.

PALASINSKA, KATARZYNA
1. On Free BCK-Algebras with the Operation (S). 20, 1986, pp. 29-34.
2. Amalgamation Property in Some Classes of BCK- Algebras. 21, 1987, pp. 73-84.
3. Sequent calculi and quasivarieties. 34, 2000, pp. 107-131.

PALASINSKI, MAREK
1. (and A. Wronski) Eight Simple Questions Concerning BCK-Algebras. 20, 1986, pp. 87-91.

PALMIGIANO, ALESSANDRA
1. (and R. Jansana) Referential semantics: duality and applications. 41, 2006, pp. 63-93.

PAOLI, FRANCESCO
1. Semantics for First Degree Relatedness Logic. 27, 1993, pp. 81-94.
2. S is Constructively Complete. 30, 1997, pp. 31-47.
3. Simplified Affine Phase Structures. 32, 1998, pp. 21-34.
4. (and A. Ledda, R. Giuntini, H. Freytes) On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras. 44, 2009, pp. 31-63.
5. (and T. Kowalski) On some properties of quasi MV algebras and square root quasi MV algebras. Part III. 45, 2010, pp. 161-199.
6. (and P. Jipsen, A. Ledda) On some properties of quasi-MV algebras and $\sqrt{^{\prime}}$ quasi-MV algebras. Part IV. 48, 2013, pp. 3-36.
7. (and R. Giuntini, C. Mureşan), PBZ*-lattices: Structure theory and subvarieties. 55, 2020, pp. 3 - 39.

PAOLINI, GIANLUCA
1. (and S. Shelah), Some Results on Polish Groups. 55, 2020, pp. 61 - 71.
2. A New ω-Stable Plane. 55, 2020, pp. 87 - 111.
3. Invariant Universality for Projective Planes. 58, 2023, pp. 15 - 27.

PAPAVERO, N.
1. (and N.C.A. da Costa, F.A. Doria) Meinong's Theory of Objects and Hilbert's ε-Symbol. 25, 1991, pp. 119-132.

PAULOS, JOHN
1. (with H. Leblanc, G. E. Weaver) Rules of Deduction and Truth Tables. 8, 1977, pp. 71-79.

PAZDYKA, PAWEL The First-order Coding of Models in Models with a Single Binary Relation. 27, 1993, pp. 45-54.

PEREIRA, LUIZ CARLOS P.D.
1. (and H.W. Poubel) A Categorical Approach to Higher-level Introduction and Elimination Rules. 28, 1994, pp. 3-19.

PERKOV, TIN
1. Tableau-based bisimulation invariance testing. 48, 2013, pp. 101-115.
2. (and L. Mikec) Tableau-based translation from first-order logic to modal logic. 56, 2021, pp. 57 - 74.

PERZANOWSKI, JERZY
1. The Deduction Theorems for the Modal Propositional Calculi Formalised after the Manner of Lemmon. Part I. 1, 1973, pp. 1-12.
2. The Linguistic Criterion of Structural Incompleteness. 1, 1973, pp. 13-14.
3. On M-fragments and L-fragments of Normal Modal Propositional Calculi. 5, 1975, pp. 63-72.
4. Towards Combination Metaphisics. 38, 2004, pp. 93-116.

PETROVICH, ALEJANDRO
1. (and M. Lattanzi) A Duality for (n+1)-valued MV-algebras. 44, 2009, pp. 65-84.

PHEIDAS, THANASES
1. (and D. Chompitaki, M. Kamarianakis) Decidability of addition and Frobenius map for polynomials and rational functions. 57, 2022, pp. 53-60.

PIETRUSZCZAK, ANDRZEJ
1. Cardinalities of Models for Pure Calculi of Names. 28, 1994, pp. 87-102.
2. Cardinalities of Models and the Expressive Power of Monadic Predicate Logic (with equality and individual constants). 30, 1996, pp. 49-64.

PIGOZZI, DON
(and J. M. Font, R. Jansana) Fully adequate Gentzen Systems and the Deduction Theorem. 35, 2001, pp. 115-165.

PIKUL, PIOTR
1. Locally ordered topological spaces. 55, 2020, pp. 113 - 141.

POGORZELSKI, WITOLD A.
1. (and T. Prucnal) Some Remarks on the Notion of Completeness of the Propositional Calculus. II. 1, 1973, pp. 15-19.
2. (and T. Prucnal) Equivalence of the Structural Completeness Theorem for Propositional Calculus and the Boolean Representation Theorem. 3, 1974, pp. 37-40.
3. On the Notion of the Rule of Inference and Completeness of Systems (Some Comments on H. C. Wasserman's Remarks). 5, 1975, pp. 73-75.
4. (and T. Prucnal) The Substitution Rule for Predicate Letters in the First-order Predicate Calculus. 5, 1975, pp. 77-90.
5. (and W. Lesisz) A Simplified Definition of the Notion of Similarity between Formulas of the First-order Predicate Calculus. 7, 1976, pp. 63-69.
6. On Hilbert's Operation on Logical Rules. I. 12, 1981, pp. 35-50.
7. On Hilbert's Operation on Logical Rules. II. 17, 1984, pp. 3-11.
8. (and P. Latocha) On Hilbert's Operation on Logical Rules. III. 19, 1985, pp. 17-39.

POLACIK, TOMASZ
1. Operators Defined by Propositional Quantification and Their Interpretation over Cantor Space. 27, 1993, pp. 67-79.
2. Induction Schemata Valid in Kripke Models of Arithmetical Theories. 33, 1999, pp. 111-125.

POREBSKA, MALGORZATA
1. (and J. K. Kabzinski) Proof of the Separability of the Intuitionistic Propositional Logic by the Wajberg's Method. 4, 1975, pp. 31-38.
2. (and A. Wronski) A Characterization of Fragments of the Intuitionistic Propositional Logic. 4, 1975, pp. 39-42.
3. Interpolation for Fragments of Intermediate Logics. 21, 1987, pp. 9-14.

PORTE, JEAN
1. Axiomatization and Independence in S4 and S5. 16, 1983, pp. 23-35.
2. On Structurally Saturated Axiomatizations of PC. 19, 1985, pp. 41-47.

POUBEL, HAYDEE W.
1. (and L. C. P. D. PEREIRA) A Categorical Approach to Higher-level Introduction and Elimination Rules. 28, 1994, pp. 3-19.

PRIESTLEY, HILARY
1. (and M. Gehrke) Canonical extensions and completions of posets and lattices. 43, 2008, pp. 133-152.

PRUCNAL, TADEUSZ
1. (and W. A. Pogorzelski) Some Remarks on the Notion of Completeness of the Propositional Calculus. 1, 1973, pp. 15-19.
2. (and W. A. Pogorzelski) Equivalence of the Structural Completeness Theorem for Propositional Calculus and the Boolean Representation Theorem. 3, 1973, pp. 37-40.
3. (and W. A. Pogorzelski) The Substitution Rule for Predicate Letters in the First-order Predicate Calculus. 5, 1975, pp. 77-90.
4. Structural Completeness of Medvedev's Propositional Calculus. 6, 1976, pp. 103-105.
5. (and B. Bugajska-Jasztolt) Axiomatization of the Logic Determined by the System of Natural Numbers with Identity. 28, 1994, pp. 61-71.
6. On the Logic Determined by some Finite Relational Systems. 32, 1998, pp. 3-9.

PYNKO, ALEXEJ P.
1. Implication Systems For Many-Dimensional Logics. 33, 1999, pp. 11-27.

QUACKENBUSH, ROBERT
1. (and J. Kagan) Monadic Algebras. 7, 1976, pp. 53-62.

RAFTERY, JAMES G.
1. (and C.J. van Alten) On Quasivariety Semantics of fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules. 31, 1997, pp. 3-56.
2. (and C.J. van Alten) Residuation in Commutative Ordered Monoids with Minimal Zero. 34, 2000, pp. 23-58.
Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero. 39, 2005, pp. 133-135.
3. The equational definability of truth predicates. 41, 2006, pp. 95-149.
4. On the variety generated by involutive pocrims. 42, 2007, pp. 71-86.
5. (and N. Galatos, J. S. Olson), Irreducible residuated semilattices and finitely based varieties. 43, 2008, pp. 85-108.

RAUTENBERG, WOLFGANG
1. A Note on Completeness and Maximality in Propositional Logic. 21, 1987, pp. 3-8.

REBAGLIATO, JORDI
1. (and A. J. Gil) Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics. 41, 2006, pp. 9-30.

RESTALL, GREG
1. Display Logic and Gaggle Theory. 29, 1995, pp. 133-146.

RINE, DAVID C.
1. There Is More to Boolean Algebra than You Would Have Thought. 2, 1974, pp. 25-32.
2. Representation and Design of Production Systems. 4, 1975, pp. 43-66.
3. A Note on Multi-valued Interrogation Logic of Associative Memories. 8, 1977, pp. 87-100.

ROBLES, GEMMA
1. (and J. Mendez, F. Salto) Anderson and Belnap's minimal positive logic with minimal negation. 36, 2002, pp. 117-130.
2. (and J. Mendez, F. Salto), Minimal negation in the ternary relational semantics. 39, 2005, pp. 47-65.
3. (and J. Mendez) Minimal non-relevant logics without the K axiom. 42, 2007, pp. 117-144.
4. Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connective. 45, 2010, pp. 97-118.
5. Paraconsistency and consistency understood as the absence of the negation of any implicative theorem. 47, 2012, pp. 147-171.
6. The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property. 51, 2016, pp. 105-131.

RODRIGUES, ALEXANDRE A. M.
1. (and R. C. Miranda Filho , E. G. de Souza) Invariance and Set-Theoretical Operations in First Order Structures. 40, 2006, pp. 207-213.
2. (and R. C. Miranda Filho , E. G. de Souza) Definability in infinitary languages and invariance by automorphims. 45, 2010, pp. 119-133.

ROMANO, DANIEL ABRAHAM
1. (and S. Crvenkovic and M. Mitrovic) Complementary pair of quasi-antiorders. 45, 2010, pp. 135-142.

ROSLANOWSKI, ANDRZEJ
1. (and S. Shelah) Borel sets without perfectly many overlapping translations. 54, 2019, pp. 3-43.

RUEDA, LAURA
1. (and M. Abad, J. P. Diaz Varela, A. M. Suardiaz), Free three-valued Closure \L ukasiewicz Algebras. 42, 2007, pp. 3-17.

ROUTLEY, RICHARD
1. A Rival Account of Logical Consequence. 3, 1974, pp. 41-52.
2. (and R. K. Meyer) Towards a General Semantical Theory of Implication and Conditionals. I. Systems with Normal Conjunction and Disjunction and Aberrant and Normal Negations. 4, 1975, pp. 67-90.
3. (and R. K. Meyer) Towards a General Semantical Theory of Implication and Conditionals. II. Improved Negation Theory and Propositional Identity. 9, 1977, pp. 47-62.
4. Constant Domain Semantics for Quantified Non-normal Modal Logics and for Certain Quantified Quasi-entailment Logics. 10, 1978, pp. 103-121.

RUBIN, JEAN E.
1. (and N. Brunner) Two Conjectures about the Axiom of Choice. 20, 1986, pp. 99-100.

SACK, IRA HOWARD
1. Prefilter Consequence Operators and Their Realizations by Logical Matrices with Multi-valued Truth Sets. 5, 1975, pp. 91-92.

SAGASTUME, MARTA
1. (and R. Ertola), Subminimal logic and weak algebras. 44, 2009, pp. 153-166.
2. (and J. L. Castiglioni, H. J. San Martin) On frontal Heyting algebras. 45, 2010, pp. 201-224.

SAKHAROV, ALEXANDER
1. Intuitionistic Predicate Logic with Decidable Propositional Formulas. 42, 2007, 153-169.

SALEHI, SAEED
1. Decidable formulas of intuitionistic primitive recursive arithmetic. 36, 2002, pp. 55-62.
2. On Rudimentarity, Primitive Recursivity and Representability. 55, 2020, pp. 73 - 85.

SALTO, FRANCISCO
1. (and J. Mendez, G. Robles) Anderson and Belnap's minimal positive logic with minimal negation. 36, 2002, pp. 117-130.
3. (and G.Robles, J.M.Mendez), Minimal negation in the ternary relational semantics. 39, 2005, pp. 47-65.

SAN MARTIN, HERNAN J.
1. (and J. L. Castiglioni, M. Sagastume) On frontal Heyting algebras. 45, 2010, pp. 201-224.
2. (and Jose L. Castiglioni) On the variety of Heyting algebras with successor generated by all finite chains. 45, 2010, pp. 225-248.
3. (and Jose L. Castiglioni) Errata on "On the variety of Heyting algebras with successor generated by all finite chains". 48, 2013, pp. 117-120.
4. (and C. Gomez, M. A. Marcos) On the relation of negations in Nelson algebras. 56, 2021, pp. 15 - 56.

SANZA, CLAUDIA
1. n x m Łukasiewicz algebras with parameters. 40, 2006, pp. 83-106.

SASAKI, KATSUMI
1. Formalizations for the Consequence Relation of Visser's Propositional Logic. 33, 1999, pp. 65-78.

SAVINI, SONIA
1. (and M. Abad, L. Monteiro, J. Sewald and M. Zander), Subalgebras of a finite monadic Boolean Algebra. 40, 2006, pp. 199-206.

SBARDELLINI, LUIS A.
(and M. E. Coniglio) Some results on ordered structures in toposes. 40, 2006, pp. 181-198.

SCHIRN, MATTHIAS
(and K.G. Niebergal), Finitism = PRA? On a Thesis of W. W. Tait. 39, 2005, pp. 3-24.

SCHUMM, GEORGE F.
1. Interpolation in S5 and Some Related Systems. 6, 1976, pp. 107-110.
2. Modalities in the Extensions of B. 10, 1978, pp. 123-128.

SCHUSTER, JOSEF
1. (and J. Berger, H. Ishihara) The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice. 47, 2012, pp. 63-86.

SCHUSTER, PETER
1. (and Daniel Wessel) A General Extension Theorem for Directed-Complete Partial Orders. 53, 2018, pp. 79-96.

SEKI, TAKAHIRO
1. Completness of relevant modal logics with disjunctive rules. 44, 2009, pp. 3-18.

SEWALD, JULIO
1. (and M. Abad, L. Monteiro, S. Savini and M. Zander), Subalgebras of a finite monadic Boolean Algebra. 40, 2006, pp. 199 - 206.

SENDLEWSKI, ANDRZEJ
1. Topologicality of Kleene Algebras With a Weak Pseudocomplementation Over Distributive P-Algebras. 25, 1991, pp. 13-56.

SHELAH, SAHARON
1. (and A. Roslanowski) Borel sets without perfectly many overlapping translations. 45, 2019, pp. 3-43.
2. (and G. Paulini), Some Results on Polish Groups. 55, 2020, pp. 61 - 71.

da SILVA, SAMUEL G.
1. Reductions between certain incidence problems and the Continuum Hypothesis. 54, 2019, pp. 121-143.

SHIMURA, TATSUYA
1. Cut-Free Systems for the Modal Logic S4.3 and S4.3Grz. 25, 1991, pp. 57-73.
2. Cut-free systems for some modal logics containing S4. 26, 1992, pp. 39-65.

SKURA, TOMASZ
1. A Complete Syntactic Characterization of the Intuitionistic Logic. 23, 1989, pp. 75-80.
2. Some Aspects of Refutation Rules. 29, 1995, pp. 109-116.
3. Refutations in Wansing's Logic. 52, 2017, pp. 83-99.

SKVORTSOV, D. P.
1. On Axiomatizability of Some Intermediate Predicate Logics. (Summary). 22, 1988, pp. 115-116.

SLANEY, JOHN
1. (and T. Kowalski) A finite fragment of S3. 43, 2008, pp. 65-72.

SLOMCZYNSKA, KATARZYNA
1. Decompositions and Projections in Equivalential Algebras. 26, 1992, pp. 11-24.
2. Normal Retractions in Ordered Equivalential Algebras. 26, 1992, pp. 75-87.
3. Linear Equivalential Algebras. 29, 1995, pp. 41-58.
4. Finite algebras from Fregean varieties: decomposition and polynomials. 34, 2000, pp. 157-158.
5. Purely equivalential propositional formulas in the intermediate Godel-Dummett logic. 42, 2007, pp. 87-100.

SOBOT, BORIS
1. Divisibility in the Stone-\v Cech compactification. 50, 2015, pp. 53-66.
2. Divisibility in $\beta N$ and $\zve N$. 54, 2019, pp. 65-82.

SOLIVERES TUR, JUAN,
1. (and J. Climent Vidal) On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and B�nabou theories. 40, 2006, pp. 127-158.
2. (and J. Climent Vidal) A 2-categorical framework for the syntax and semantics of many-sorted equational logic. 45, 2010, pp. 37-95.

SONPANOW, NATTAPON
1. (and P. Vejjajiva) Some cardinal characteristics related to the covering number and the uniformity of the meagre ideal. 56, 2021, pp. 3 - 14.

SOUMA, DAISUKE
1. Minimal subvarieties of involutive residuated lattices. 46, 2011, pp. 17-27.

de SOUZA, EDELCIO G.
1. (and A. A. M. Rodrigues , Ricardo C. Miranda Filho) Invariance and Set-Theoretical Operations in First Order Structures. 40, 2006, pp. 207-213.
2. (and Alexandre A. M. Rodrigues , Ricardo C. Miranda Filho) Definability in infinitary languages and invariance by automorphims. 45, 2010, pp. 119-133.

SOZA, GRZEGORZ
1. Asymptotic density as a method of expressing titative relations in Intuitionistic Logic. 36, 2002, pp. 71-94.

SPASOWSKI, MACIEJ
1. Some Properties of the Operation $d$. 3, 1974, pp. 53-56.

STAHL, GEROLD
1. Character and Acceptability of Church's Thesis. 11, 1981, pp. 63-67.

STELZNER, WERNER
1. Eine formule Losung epistemologischer Antinomien. 2, 1974, pp. 33-36.

STEPIEN, TEODOR
1. (and A. Biela) Lindenbaum's Extensions. 15, 1983, pp. 9-11.
2. System $\bar S$. 15, 1983, pp. 59-65.
3. First-Order Theories without Axioms. 23, 1989, pp. 67-70.
4. Single-Axiom Systems. 24, 1990, pp. 87-96.
5. A Note on Formalisations of First-order Theories. 27, 1993, pp. 19-28.
6. Derivability. 33, 1999, pp. 79-98.

SUARDIAZ, ANA MARIA
1. On Free De Morgan Algebras Over a Poset. 25, 1991, pp. 3-11.
2. (and M. Abad, J. P. Diaz Varela, L. Rueda), Free three-valued Closure \L ukasiewicz Algebras. 42, 2007, pp. 3-17.

SUCHON, WOJCIECH
1. Inequivalence de certaines definitions des algebres infinies de Lukasiewicz. 1, 1973, pp. 21-26.
2. La methode de Smullyan de construire le calcul $n$-valent de Lukasiewicz avec implication et negation. 2, 1974, pp. 37-42.
3. Definition des foncteurs modaux de Moisil dans le calcul $n$-valent des propositions de Lukasiewicz avec implication et negation. 2, 1974, pp. 43-48.
4. Matrix Lukasiewicz Algebras. 4, 1975, pp. 91-104.
5. The Deontic Calculus D$_\rm KRZ$. 18, 1984, pp. 61-66.

SURMA, STANISLAW
1. A Method of Axiomatization of Two-valued Propositional Connectives. 1, 1973, pp. 27-32.
2. A Method of the Construction of Finite L ukasiewiczian Algebras and Its Application to a Gentzen-style Characterization of Finite Logics. 2, 1974, pp. 49-54.
3. An Algorithm for Axiomatizing Every Finite Logic. 3, 1974, pp. 57-62.

SUSZKO, ROMAN
1. (and A. Michaels) Sentential Calculus of Identity and Negation. 7, 1976, pp. 87-106.

SUZUKI, NOBU-YUKI
1. The Existence of $2^\aleph_0$ Logics Lacking the Weakening Rule Below the Intuitionistic Logic. 21, 1987, pp. 85-95.
2. (and H. Ono) Relations Between Intuitionistic Modal Logics and Intermediate Predicate Logics. 22, 1988, pp. 65-87.

SWIRYDOWICZ, KAZIMIERZ
1. A Remark on the Maximal Extensions of the Relevant Logic R. 29, 1995, pp. 19-33.
2. Upper Part of the Lattice of Extensions of the Positive Relevant Logic R+. 40, 2006, pp. 3-13.

SZCZECH, WLADYDLAW
1. On a Theorem of Wajsberg. 1, 1973, pp. 33-37.

SZCZYPKA, EDWARD
1. Isomorphism Testing for Equivalence Relations. 30, 1996, pp. 101-109.

TAKAMURA, HIROKI
1. Every free biresiduated lattice is semisimple. 37, 2003, pp. 125-133

TAKANO, MITIO
1. A Negative Answer to Ono's First Problem: K-Completeness Does Not Imply Strong K-Completeness. 21, 1987, pp. 69-71.
2. (and T. Yamakami) Classification of Intermediate Predicate Logics Under the Type of Deductive Completeness. 24, 1990, pp. 17-23.
3. A semantical analysis of cut-free calculi for modal logics. 53, 2018, pp. 43-65.

TANAKA, YOSHIHITO
1. Some proof systems for common knowledge predicate. 37, 2003, pp. 79-100.
2. A cut-free proof system for a predicate extension of the logic of provability. 53, 2018, pp. 97-109.

TAYLOR, CHRISTOPHER J.
1. Discriminator varieties of double-Heyting algebras. 51, 2016, pp. 3-14.

TERZILER, MEHMET
1. (and A. Hamal) Peritopological Spaces and Bisimulations. 50, 2015, pp. 67-81.

THOMASON, STEVEN K.
1. Toward a Formalization of Dialectical Logic. 23, 1989, pp. 17-23.

TICHY, PAVEL
1. Foundations of Partial Type Theory. 14, 1982, pp. 59-72.
2. Errata to 'Foundations of Partial Type Theory'. 16, 1983, pp. 55-56.

TOKARZ, MAREK
1. A New Proof of 'Topographic' Theorem on Lukasiewicz's Logics. 3, 1974, pp. 63-66.
2. (and J. Hawranek) Matrices for Predicate Logics. 9, 1977, pp. 27-30.
3. Degrees of Maximality of Three- and Four-valued RM-extensions. 9, 1977, pp. 63-69.
4. (and W. Dzik) Invariant Matrix Consequences. 18, 1984, pp. 37-43.

TOMOVA, NATALYA
1. A lattice of implicative extensions of regular Kleene's logics. 47, 2012, pp. 173-182.

TORRENS, ANTONI
1. Boolean Products of CW-Algebras and Pseudo- Complementation. 23, 1989, pp. 31-38.

UEDA,MASAKI
1. (and Y. Katoh and T. Kowalski) Almost minimal varieties related to fuzzy logic. 41, 2006, pp. 173-194.

ULRICH, DOLPH
1. On the Characrerization of Sentential Calculi by Finite Matrices. 20, 1986, pp. 63-86.

URBANIAK, RAFAL
1. On Ontological Functors of Lesniewski's Elementary Ontology. 40, 2006, pp. 15-43.

URBAS, IGOR
1. On the Positive Parts of the J-Systems of Arruda and da Costa. 22, 1988, pp. 27-38.

URQUHART, ALASDAIR
1. A Finite Matrix Whose Consequence Relation Is Not Finitely Axiomatizable. 9, 1977, pp. 71-73.

VAN ALTEN C.J.
1. (and J.G. Raftery) On Quasivariety Semantics of fragments of Intuitionistic Propositional Logic without Exchange and Contraction Rules. 31, 1997, pp. 3-56.
2. (and J.G. Raftery) Residuation in Commutative Ordered Monoids with Minimal Zero. 34, 2000, pp. 23-58.
Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero. 39, 2005, pp. 133-135.
3. (and W.J. Blok) On the finite embeddability property for residuated lattices, pocrims and BCK-algebras. 34, 2000, pp. 159-165.

VARELA, JOSE P. D.
1. (and M. Abad, M. Zander) Boolean algebras with a distinguished automorphism. 37, 2003, pp. 101-112.
2. (and M. Abad, L. Rueda and A. M. Suardiaz), Free three-valued Closure \L ukasiewicz Algebras. 42, 2007, pp. 3-17.
3. (and M. Abad, J. M. Cornejo) The Variety of Semi-Heyting Algebras Satisfying the equation (0 \to 1)^* \vee (0 \to 1)^{**} \approx 1. 46, 2011, pp. 75-90.

VEJJAJIVA, PIMPEN
1. (and N. Sonpanow), Some cardinal characteristics related to the covering number and the uniformity of the meagre ideal. 56, 2021, pp. 3 - 14.

VOUTSADAKIS, GEORGE,
1. Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties. 41, 2006, pp. 31-62.
2. Categorical Abstract Algebraic Logic: Strong Version of a Protoalgebraic pi-Institution. 42, 2007, pp. 19-46.
3. Categorical Abstract Algebraic Logic: Syntactically Algebraizable \(\pi\)-Institutions. 44, 2009, pp. 105-151.
4. Secrecy Logic: Protoalgebraic S-Secrecy Logics. 47, 2012, pp. 3-28.
5. Categorical Abstract Algebraic Logic: Coordinatization is Algebraization. 47, 2012, pp. 125-145.
6. Categorical abstract algebraic logic weakly referential \(\pi\)-institutions. 51, 2016, pp. 91-103.
7. Categorical Abstract Algebraic Logic: W?ojcicki?s Conjecture and Malinowski?s Theorem. 52, 2017, pp. 69-82.

VRGOC, DOMAGOJ
1. (and Mladen Vukovic) Bisimulation quotients of Veltman models. 46, 2011, pp. 59-73.

VUKOVIC, MLADEN
1. (and D. Vrgoc) Bisimulation quotients of Veltman models. 46, 2011, pp. 59-73.

WANSING, HEINRICH
1. Strong Cut-elimination in Display Logic. 29, 1995, pp. 117-131.

WEAVER, GEORGE
1. Uniform Compactness and Interpolation Theorems in Sentential Logic. 5, 1975, pp. 93-95.
2. (with H. Leblanc and J. Paulos) Rules of Deduction and Truth Tables. 8, 1977, pp. 71-79.
3. Equational Subsystems. 23, 1989, pp. 25-29.
4. Compactness in Equational Logic. 39, 2005, pp. 25-46.

WESSEL (Misselbeck-Wessel), DANIEL
1. (and Peter Schuster) A General Extension Theorem for Directed-Complete Partial Orders. 53, 2018, pp. 79-96.
2. (and R. Bonacina) A formal approach to Menger's theorem. 57, 2022, pp. 45-51.

WOJTYLAK, PIOTR
1. Some Generalizations of Makinson's Theorem on Structural Completeness. 7, 1976, pp. 107-110.
2. Mutual Interpretability of Sentential Logics. Part I. 11, 1981, pp. 69-89.
3. Mutual Interpretability of Sentential Logics. Part II. 12, 1981, pp. 51-66.
4. Corrections to the Paper of T. Prucnal 'Structural Completeness of Lewis' System S5'; Bulletin de l'Acadwmie Polonaise des Sciences. 20 (1972), pp.101-103. 15, 1983, 67-70
5. Collapse of a Class of Infinite Disjunctions in Intuitionistic Propositional Logic. 16, 1983, pp. 37-49.
6. A Proof of Herbrand's Theorem. 17, 1984, pp. 13-17.
7. An Example of a Finite Though Finitely Non- axiomatizable Matrix. 17, 1984, pp. 39-46.
8. A Recursive Theory for the $\\neg, \wedge, \vee, \ra, 0\$-Fragment of Intuitionistic Logic. 18, 1984, pp. 3-35.
9. (and A. Kolany) Restricted Versions of the Compactness Theorem. 25, 1991, pp. 91-103.
10. (and J. Kotas) Finite Distributive Lattices as Sums of Boolean Algebras. 29, 1995, pp. 35-40.
11. (and J. Grygiel) The uniqueness of the decomposition of distributive lattices into sums of Boolean lattices. 31, 1997, pp. 93-102.
12. (and A. Wronski) On the problem of R. E. Tax. 35, 2001, 87-101
13. On a problem of H. Friedman and its solution by T. Prucnal. 38, 2004, pp. 69-86.

WOZNIAKOWSKA, BARBARA
1. Algebraic Proof of the Separation Theorem for the Infinite-valued Logic of Lukasiewicz. 10, 1978, pp. 129-137.

WRONSKI, ANDRZEJ
1. Intermediate Logics and the Disjunction Property. 1, 1973, pp. 39-51.
2. The Degree of Completeness of Some Fragments of the Intuitionistic Propositional Logic. 2, 1974, pp. 55-62.
3. Remarks on Intermediate Logics with Axioms Containing Only One Variable. 2, 1974, pp. 63-76.
4. (and J. Zygmunt) Remarks on the Free Pseudo-Boolean Algebra With One-element Free-generating Set. 2, 1974, pp. 77-81.
5. Corrections to My Paper 'Intermediate Logics and the Disjunction Property'. 2, 1974, 83.
6. On the Cardinalities of Matrices Strongly Adequate for the Intuitionistic Propositional Logic. 3, 1974, pp. 67-72.
7. (and M. Porebska) A Characterization of Fragments of the Intuitionistic Propositional Logic. 4, 1975, pp. 39-42.
8. On Equivalential Fragments of Some Intermediate Logics. 4, 1975, pp. 105-112.
9. The Number of Quasivarieties of Distributive Lattices with Pseudocomplementation. 6, 1976, pp. 111-116.
10. The Number of Isomorphism Types of Subdirectly Indecomposable PseudoBoolean Algebras. 6, 1976, pp. 117-119.
11. (and M. Palasinski) Eight Simple Questions Concerning BCK-Algebras. 20, 1986, pp. 87-91.
12. (and E. Capinska) On Classes of Distributive Lattices with Pseudocomplementation Definable by Conditional Identities. 20, 1986, pp. 93-97.
13. (and P. Minari) The Property (HD) in Intermediate Logics. A Partial Solution of a Problem of H. Ono. 22, 1988, pp. 21-25.
14. Gentzen-style Calculi for Quasi-identities of Finite Algebras. 28, 1994, pp. 73-79.
15. Transparent Unification Problem. 29, 1995, pp. 105-107.
16. Semantic Normal Form. 34, 2000, pp. 5-21.
17. (and P. Wojtylak) On the problem of R. E. Tax. 35, 2001, pp. 87-101.
18. On Prucnal's model-determinated logic and definable predicates. 38, 2004, pp. 87-91.

WU, HUISHAN
1. Effective aspects of semiperfect rings. 59, 2024, pp. 3-26.

YOKOTA, SHIN'ICHI
1. Some Modal Propositional Logics Containing CO.8. 22, 1988, pp. 51-63.

YAMAKAMI, TOMOYUKI
1. (and M. Takano) Classification of Intermediate Predicate Logics Under the Type of Deductive Completeness. 24, 1990, pp. 17-23.

YANG, EUNSUK
1. Powers and limitations of Urquhart-style semantics I: basic substructural logics. 59, 2024, pp. 49-78.

ZACHOROWSKI, STANISLAW
1. (and P. S. Krzystek) Lukasiewicz Logics Have Not the Interpolation Property. 9, 1977, pp. 39-40.
2. Remarks on Interpolation Property for Intermediate Logics. 10, 1978, pp. 139-146.

ZAIONC, MAREK
1. On the asymptotic density of tautologies in logic of implication and negation. 39, 2005, pp. 67-87.

ZANDER, MARTA
1. (and M. Abad, J. P. D. Varela) Boolean algebras with a distinguished automorphism. 37, 2003, pp. 101-112.
2. (and M. Abad, L. Monteiro, S. Savini, J. Sewald), Subalgebras of a finite monadic Boolean Algebra. 40, 2006, pp. 199-206.

ZINOV'EV, A. A.
1. On Some Systems of Formal Arithmetic. 3, 1974, pp. 73-90.

ZYGMUNT, JAN
1. On the Sources of the Notion of the Reduced Product. 1, 1973, pp. 53-67.
2. (and A. Wronski) Remarks on the Free Pseudo-Boolean Algebra with One-element Free-generating Set. 2, 1974, pp. 77-82.

ZARNECKA-BIALY, EWA
1. Modal Operators and Their Definability in Propositional Calculi. 1, 1973, pp. 69-98.
2. Negation in Ch. S. Peirce's Propositional Calculus. 1, 1973, pp. 99-101.
3. Peirce's Icons as Compared with Fregean Propositional Calculus. 19, 1985, pp. 49-52.

ZURAWIECKI, J.
1. (and Z. Grodzki) The ($k, m$)-Computation Sets. 6, 1976, pp. 79-86.

Back to Main Menu