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

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

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

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

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

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

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

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

DELLUNDE, PILAR
1. Equality-free saturated models, 37, 2003, 3-22, (Abstract) Full text - pdf

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

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

DO\u SEN, KOSTA
1. Negation as a Modal Operator. 20, 1986, 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, 3-11
2. (with L. de Moraes) On Single Operator for Lewis S5 Modal Logic. 11, 1981, 57-61
3. On the First Order Logic true in every universe (including the empty universe); 37, 2003, 41-58, (Abstract)  Full text - pdf

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

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

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

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

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

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

ELLIS, BRIAN
1. (and B. Davidson) Logic and Strict Coherence. 6, 1976, 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, 3-53, (Abstract)

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

ESSER, OLIVIER
1. Mildly ineffable cardinals and hiperuniverces; 37, 2003, 23-40, (Abstract)   Full text - pdf

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

FARULEWSKI, MACIEJ
1. Finite embeddability property for residuated groupoids; 43, 2008, 25- 42, (Abstract);

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

FERNANDEZ, ALICIA
1. (and M. ABAD and N. MESKE) Free Boolean Correlations Lattices 30, 1996, 3-11 (Abstract)

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

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

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

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

FONT, JOSEP M.
1. Implication and Deduction in Some Intuitionistic Modal Logic. 17, 1984, 27-38
2. (and Ramon Jansana, Don Pigozzi) Fully adequate Gentzen Systems and the Deduction Theorem. 35, 2001, 115-165, (Abstract)

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

GAITAN, HERNANDO Finitely Generated Subvarieties of Demi-p-lattices. 26, 1992, 25-38 (Abstract)

GALATOS, NIKOLAOS
1. (and Jeffrey S. Olson, James G. Raftery, Irreducible residuated semilattices and finitely based varieties; 43, 2008, 85-108, (Abstract);

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

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

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

GIL, ANGEL J.
1. (and REBAGLIATO JORDI) Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics; 41, 2006, 9-30, Full text - pdf

GISPERT i BRASO, JOAN
1. Axiomatic extensions of the milpotent minimum logic; 37, 2003, 113-124, (Abstract)   Full text - pdf

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

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

GORAZD, TOMASZ A.
1. The isomorphism testing for directly representable varieties. 31, 1997, 75-92, (Abstract)

GRABOWSKI, ADAM
1. Lattice of Substitutions. 33, 1999, (Abstract)

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

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

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

GUMB, RAYMOND D.
1. Metaphor Theory. 10, 1978, 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, 3-53, (Abstract)

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

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

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

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

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

HINNION, ROLAND
1. Intensional positive set theory; 40, 2006, pp. 107 - 125; Full text - pdf
2. Intensional solutions to the identity problem for partial sets; 42, 2007, 47-69, (Abstract); Full text - pdf

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

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

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

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

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

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

JANSANA, RAMON
1. (and Josep Maria Font, Don Pigozzi) Fully adequate Gentzen Systems and the Deduction Theorem. 35, 2001, 115-165, (Abstract)
2. (and PALMIGIANO, ALESSANDRA) Referential semantics: duality and applications. 41, 2006, 63-93, Full text - pdf

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

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

KAMIDE, NORIHIRO
1. A canonical model construction for substructural logics with strong negation, 36, 2002, 95-116, (Abstract)

KATOH, YOSUKE
1. (and KOWALSKI, TOMASZ, and UEDA,MASAKI), Almost minimal varieties related to fuzzy logic; 41, 2006, 173-194, Full text - pdf

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

KIHARA, HITOSHI
1. (and Hiroakira Ono), Algebraic characterizations of variable separation properties; 43, 2008, 43-63, (Abstract);

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

KLOCH, KAMIL
1. Online dimension of partially ordered sets; 42, 2007, 101-116, (Abstract); Full text - pdf

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

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

KONDO, MICHIRO
1. Simple Completeness Proof of Lemmon's SO.5. 22, 1988, 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, 3-11

KOTAS, JERZY
1. {and P. Wojtylak)Finite Distributive Lattices as Sums of Boolean Algebras. 29, 1995, 35-40 (Abstract)
2. Self-dual boolean functions; 38, 2004, pp. 61-64;Full text - pdf
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; Full text - pdf

KOWALSKI, TOMASZ
1. A Syntactic Proof of a Conjecture of Andrzej Wronski. 28, 1994, 81-86 (Abstract)
2. The bottom of the lattice of BCK-varieties. 29, 1995, 87-93
3. Varieties of Tense Algebras. 32, 1998, 53-96, (Abstract)
4. Pretabular Varieties of Equivalential Algebras. 33, 1999, 3-10 (Abstract)
5. (and H. ONO) The variety of residuated lattices is generated by its finite simple members. 34, 2000, 59-78, (Abstract)
6. (and H. ONO) Remarks on splittings in the variety of residuated lattices. 34, 2000, 133-140.
7. (and KATOH, YOSUKE, and UEDA,MASAKI), Almost minimal varieties related to fuzzy logic; 41, 2006, 173-194, Full text - pdf
8. (and John Slaney) A finite fragment of S3 ; 43, 2008, 65-72, (Abstract);

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

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

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

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

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

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

KYSIAK, MARCIN
A note on transitive sets without the foundation axiom; 40, 2006, pp. 159 - 163; Full text - pdf 

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

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

LATTANZI, MARINA
1. (n+1)-bounded Wajsberg Algebras with a U-operator; 39, 2005, pp. 89-111; Abstract  Full text - pdf

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

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

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, 63-69
2. On Propositional Calculus with a Variable Functor. 17, 1984, 19-25

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

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

MALINOWSKI, GRZEGORZ
1. Classical Characterization of $n$-valued Lukasiewicz Calculi. 9, 1977, 41-45
2. A Characterization of Strenghtenings of a Two-valued Non-uniform Sentential Calculus. 12, 1981, 17-33
3. Q-Consequence Operation. 24, 1990, 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; Full text - pdf

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

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

MARES, EDWIN D. The Semantic Completeness of RK. 26, 1992, 3-10 (Abstract)

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

MARIANO, HUGO LUIZ
1. (and F. Miraglia), Profinite Structures are Retracts of Ultraproducts of Finite Structures; 42, 2007, 171-184, (Abstract); Full text - pdf

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

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, 9-13
2. (and F. Salto, G. Robles) Anderson and Belnap's minimal positive logic with minimal negation, 36, 2002, 117-130,
3.(and G.Robles, F.Salto) Minimal negation in the ternary relational semantics; 39, 2005, pp. 47-65; Abstract  Full text - pdf
4. (and G.Robles) Minimal non-relevant logics without the K axiom; 42, 2007, 117-144, (Abstract); Full text - pdf

MESKE, NELLI
1. (and M. ABAD, A. FERNANDEZ) Free Boolean Correlations Lattices 30,1996, 3-11 (Abstract)

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, 67-90
2. Two Questions from Anderson and Belnap. 7, 1976, 71-86
3. (and R. Routley) Towards a General Semantical Theory of Implication and Conditionals. II. Improved Negation Theory and Propositional Identity. 9, 1977, 47-62
4. More Implicative Extensions for Belnap Lattices. 13, 1981, 43-51

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

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

MIRAGLIA, FRANCISCO
1. (and H.L. Mariano), Profinite Structures are Retracts of Ultraproducts of Finite Structures; 42, 2007, 171-184, (Abstract); Full text - pdf

MIRANDA FILHO, RICARDO C.
(and Alexandre A. M. Rodrigues , Edelcio G. de Souza) Invariance and Set-Theoretical Operations in First Order Structures; 40, 2006, pp. 207 - 213; Full text - pdf

 MORILLON, MARIANNE
(and Christian Delhomm�) Spanning graphs and the Axiom of Choice; 40, 2006, pp. 165 - 180; Full text - pdf 

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

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

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

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

MYCKA, JERZY
1. (and Z. GRODZKI) Classes of Markov-like k-ALGORITHMS. 30, 1996, 83-99 (Abstract)

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

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

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

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

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

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

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

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

PALMIGIANO, ALESSANDRA
1. (and JANSANA, RAMON) Referential semantics: duality and applications. 41, 2006, 63-93, Full text - pdf

PAOLI, FRANCESCO
1. Semantics for First Degree Relatedness Logic. 27, 1993, 81-94 (Abstract)
2. S is Constructively Complete. 30, 1997, 31-47
3. Simplified Affine Phase Structures. 32, 1998, 21-34, (Abstract)

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

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

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

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

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

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

PIGOZZI, DON
(and Josep Maria Font, Ramon Jansana) Fully adequate Gentzen Systems and the Deduction Theorem. 35, 2001, 115-165, (Abstract)

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

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

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

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

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

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

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

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

QUACKENBUSH, ROBERT
1. (and J. Kagan) Monadic Algebras. 7, 1976, 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, 3-56, (Abstract)
2. (and C.J. VAN ALTEN) Residuation in Commutative Ordered Monoids with Minimal Zero. 34, 2000, 23-58
Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero; 39, 2005, pp. 133-135;  Full text - pdf
3. The equational definability of truth predicates. 41, 2006, 95-149, Full text - pdf
4. On the variety generated by involutive pocrims; 42, 2007, 71-86, (Abstract); Full text - pdf
5. (and Nikolaos Galatos, Jeffrey S. Olson), Irreducible residuated semilattices and finitely based varieties;; 43, 2008, 85-108, (Abstract);

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

REBAGLIATO, JORDI
1. (and GIL, ANGEL J.) Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics; 41, 2006, 9-30, Full text - pdf

RESTALL, GREG
1. Display Logic and Gaggle Theory. 29, 1995, 133-146 (Abstract)

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

ROBLES, GEMMA
1. (and J. Mendez, F. Salto) Anderson and Belnap's minimal positive logic with minimal negation, 36, 2002, 117-130,
2. (and J. Mendez, F. Salto), Minimal negation in the ternary relational semantics; 39, 2005, pp. 47-65; Abstract  Full text - pdf
3. (and J. Mendez) Minimal non-relevant logics without the K axiom; 42, 2007, 117-144, (Abstract); Full text - pdf

RODRIGUES, ALEXANDRE A. M.
(and Ricardo C. Miranda Filho , Edelcio G. de Souza) Invariance and Set-Theoretical Operations in First Order Structures; 40, 2006, pp. 207 - 213; Full text - pdf

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

ROUTLEY, RICHARD
1. A Rival Account of Logical Consequence. 3, 1974, 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, 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, 47-62
4. Constant Domain Semantics for Quantified Non-normal Modal Logics and for Certain Quantified Quasi-entailment Logics. 10, 1978, 103-121

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

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

SAKHAROV, ALEXANDER
1. Intuitionistic Predicate Logic with Decidable Propositional Formulas; 42, 2007, 153-169, (Abstract); Full text - pdf

SALEHI, SAEED
1. Decidable formulas of intuitionistic primitive recursive arithmetic, 36, 2002, 55-62, (Abstract)

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

SANZA, CLAUDIA
1. n x m Łukasiewicz algebras with parameters; 40, 2006, 83 - 106; Full text - pdf 

SASAKI, KATSUMI
1. Formalizations for the Consequence Relation of Visser's Propositional Logic. 33, 1999, (Abstract)

SAVINI, SONIA
1. (and Manuel Abad, Luiz Monteiro, Julio Sewald and Marta Zander), Subalgebras of a finite monadic Boolean Algebra; 40, 2006, pp. 199 - 206; Full text - pdf

SBARDELLINI, LUIS A.
(and Marcelo E. Coniglio) Some results on ordered structures in toposes; 40, 2006, pp. 181 - 198; Full text - pdf 

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

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

SEWALD, JULIO
1. (and Manuel Abad, Luiz Monteiro, Sonia Savini and Marta Zander), Subalgebras of a finite monadic Boolean Algebra; 40, 2006, pp. 199 - 206; Full text - pdf

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

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

SKURA, TOMASZ
1. A Complete Syntactic Characterization of the Intuitionistic Logic. 23, 1989, 75-80
2. Some Aspects of Refutation Rules. 29, 1995, 109-116 (Abstract)

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

SLANEY, JOHN
1. (and T. KOWALSKI) A finite fragment of S3 ; 43, 2008, 65-72, (Abstract);

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

SOLIVERS, JUAN, TUR
(and Juan 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; Full text - pdf 

de SOUZA, EDELCIO G.
(and Alexandre A. M. Rodrigues , Ricardo C. Miranda Filho) Invariance and Set-Theoretical Operations in First Order Structures; 40, 2006, pp. 207 - 213; Full text - pdf

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

SPASOWSKI, MACIEJ
1. Some Properties of the Operation $d$. 3, 1974, 53-56 \medseip STAHL, GEROLD
1. Character and Acceptability of Church's Thesis. 11, 1981, 63-67

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

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

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

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

SURMA, STANISLAW
1. A Method of Axiomatization of Two-valued Propositional Connectives. 1, 1973, 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, 49-54
3. An Algorithm for Axiomatizing Every Finite Logic. 3, 1974, 57-62

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

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

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

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

SZCZYPKA, EDWARD
1. Isomorphism Testing for Equivalence Relations. 30, 1996, 101-109 (Abstract)

TAKAMURA, HIROKI
1. Every free biresiduated lattice is semisimple; 37, 2003, 125-133, (Abstract)   Full text - pdf

TAKANO, MITIO
1. A Negative Answer to Ono's First Problem: K-Completeness Does Not Imply Strong K-Completeness. 21, 1987, 69-71
2. (and T. Yamakami) Classification of Intermediate Predicate Logics Under the Type of Deductive Completeness. 24, 1990, 17-23

TANAKA, YOSHIHITO
1. Some proof systems for common knowledge predicate; 37, 2003, 79-100, (Abstract)  Full text - pdf

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

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

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

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

UEDA,MASAKI
1. (and KATOH, YOSUKE and KOWALSKI, TOMASZ), Almost minimal varieties related to fuzzy logic; 41, 2006, 173-194, Full text - pdf

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

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

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

URQUHART, ALASDAIR
1. A Finite Matrix Whose Consequence Relation Is Not Finitely Axiomatizable. 9, 1977, 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, 3-56, (Abstract)
2. (and J.G. RAFTERY) Residuation in Commutative Ordered Monoids with Minimal Zero. 34, 2000, 23-58.
Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero; 39, 2005, pp. 133-135;  Full text - pdf
3. (and W.J. BLOK) On the finite embeddability property for residuated lattices, pocrims and BCK-algebras. 34, 2000, 159-165.

VARELA, JOSE P. D.
1. (and M. Abad, M. Zander) Boolean algebras with a distinguished automorphism; 37, 2003, 101-112, (Abstract)   Full text - pdf
2. (and M. Abad, L. Rueda and A. M. Suardiaz), Free three-valued Closure \L ukasiewicz Algebras; 42, 2007, 3-17, (Abstract); Full text - pdf

VOUTSADAKIS, GEORGE,
1. Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties; 41, 2006, 31-62, Full text - pdf
2. Categorical Abstract Algebraic Logic: Strong Version of a Protoalgebraic pi-Institution; 42, 2007, 19-46, (Abstract); Full text - pdf

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

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

WOJTYLAK, PIOTR
1. Some Generalizations of Makinson's Theorem on Structural Completeness. 7, 1976, 107-110
2. Mutual Interpretability of Sentential Logics. Part I. 11, 1981, 69-89
3. Mutual Interpretability of Sentential Logics. Part II. 12, 1981, 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, 37-49
6. A Proof of Herbrand's Theorem. 17, 1984, 13-17
7. An Example of a Finite Though Finitely Non- axiomatizable Matrix. 17, 1984, 39-46
8. A Recursive Theory for the $\\neg, \wedge, \vee, \ra, 0\$-Fragment of Intuitionistic Logic. 18, 1984, 3-35
9. (and A. Kolany) Restricted Versions of the Compactness Theorem. 25, 1991, 91-103
10. (and J. Kotas) Finite Distributive Lattices as Sums of Boolean Algebras. 29, 1995, 35-40 (Abstract)
11. (and J. Grygiel) The uniqueness of the decomposition of distributive lattices into sums of Boolean lattices. 31, 1997, 93-102, (Abstract)
12. (and A. Wronski) On the problem of R. E. Tax. 35, 2001, 87-101, (Abstract)
13. On a problem of H. Friedman and its solution by T. Prucnal; 38, 2004, pp. 69-86; Full text - pdf

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

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

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

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

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

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

ZANDER, MARTA
1. (and M. Abad, J. P. D. Varela) Boolean algebras with a distinguished automorphism; 37, 2003, 101-112, (Abstract)  Full text - pdf
2. (and Manuel Abad, Luiz Monteiro, Sonia Savini, Julio Sewald), Subalgebras of a finite monadic Boolean Algebra; 40, 2006, pp. 199 - 206; Full text - pdf

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

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

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

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