Reports on Mathematical Logic

Author Index


ABAD, MANUEL
1. (and L. Monteiro) Number of Epimorphisms Between Finite Boolean Algebras. 10, 1978, 3-7
2. (and A. Figallo) Characterization of Three-valued Lukasiewicz Algebras. 18, 1984, 47-59
3. (and A. FERNANDEZ and N. MESKE) Free Boolean Correlations Lattices. 30, 1996, 3-11
4. (and J. P. D. Varela and M. Zander) Boolean algebras with a distinguished automorphism; 37, 2003, 101-112
5. (and Luiz Monteiro, Sonia Savini, Julio Sewald and Marta 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, 3-17
7. (and Juan Manuel Cornejo and Jos\'e Patricio D\'iaz Varela) The Variety of Semi-Heyting Algebras Satisfying the equation (0 \to 1)^* \vee (0 \to 1)^{**} \approx 1, 46, 2011, 75-90.

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

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

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

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

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

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

BENDOVA, KAMILA
1. Interpolation and three-valued logics; 39, 2005, pp. 127-131
2. A weak essentially undecidable theory; 42, 2007, 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, 63-86.

BERNERT, JAN
1. (and A. Biela) On Two Different Modal Logics Denoted by S9. 13, 1981, 3-9
2. A Note on Existing of Matrices Strongly Adequate for Some Positive Logics. 14, 1982, 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, 5-8
2. Structural Incompleteness of the Quine's Formalisation of the Classical Predicate Calculus. 3, 1974, 3-8
3. Note on the Structural Incompleteness of Some Modal Propositional Calculi. 4, 1975, 3-6
4. On the so-called Tarski's Property in the Theory of Lindenbaum's Oversystems. 7, 1976, 3-20
5. On the so-called Tarski's Property in the Theory of Lindenbaun's Oversystems.Part II.Axiomatizable Systems. 11, 1981, 13-48
6. (and J. Bernert) On Two Different Modal Logics Denoted by S9. 13, 1981, 3-9
7. (and T. Stepien) Lindenbaum's Extensions. 15, 1983, 9-11
8. (and W. Dziobiak) On Two Properties of Structurally Complete Logics. 16, 1983, 51-54

BLOK, WILLEM J.
1. (and Silvia B. LA FALCE) Komori Identities in Algebraic Logic. 34, 2000, 79-106
2. (and C.J. VAN ALTEN) On the finite embeddability property for residuated lattices, pocrims and BCK-algebras. 34, 2000, 159-165

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

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

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

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

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

BURRIS, STANLEY
1. (and I.M.A. FERREIRIM) Decidable Varieties of Hoops. 28, 1994, 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, 5-24

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

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

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

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

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

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

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

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

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

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

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

CLIMENT VIDAL, JUAN,
1. (and Juan 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 Juan Soliveres Tur) A 2-categorical framework for the syntax and semantics of many-sorted equational logic, 45, 2010, 37-95

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

CONIGLIO, MARCELO E.
(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, 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, 75-90.

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
4. A Compactness Theorem for Infinite Constraint Satisfaction. 32, 1998, 97-108
5. Property S. 35, 2001, 61-74

CRESSWELL, M. J.
1. Omnitemporal Logic and Tense Logic. 4, 1975, 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, 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
3. (and DZIOBIAK, WIESLAW), On truth-schemes for intensional logics; 41, 2006, 151-171
4. Additivity of the commutator and residuation; 43, 2008, 109-132

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

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

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

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

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

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

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

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
7. Unification in some substructural logics of BL-algebras and hoops; 43, 2008, 73-84

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

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

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

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

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

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

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

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

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, 53-59
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

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

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

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
3. On semilattice-based logics with an algebraizable assertional companion, 46, 2011, 109-132.

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

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

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

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

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

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

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

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

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

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

GIUNTINI, ROBERTO
1. (and Antonio Ledda, Hector Freytes, Francesco Paoli) On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras. 44, 2009, 31-63

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
2. (and Jacek Krzaczkowski) The complexity of problems connected with two-element algebras 46, 2011, 91-108.

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

GRELL, BOGDAN
1. Un simple systeme de logique fonde sur regles. 2, 1974, 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, 23-34.

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

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
3. Boolean constructions of independent sets of generators for filters. 35, 2001, 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, 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

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

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

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

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

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

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

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

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
2. Intensional solutions to the identity problem for partial sets; 42, 2007, 47-69
3. Ultrafilters (with dense elements) over closure spaces; 47, 2012, 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, 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

IDZIAK, KATARZYNA
1. Quasivarieties of Equivalential Algebras. 29, 1995, 81-85
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

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

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

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

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

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

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

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
2. Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems, 45, 2010, 3-21
3. A logic of sequences, 46, 2011, 29-57.
4. Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic, 47, 2012, 29-61.
5. An eight-valued praconsistent logic, 49, 2014, 3-21
6. Interpolation theorems for some variants of LTL, 50, 2015, 3-30

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

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

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

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

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

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
3. Grabowski lattices are generated by graphs, 36, 2002, 63-70

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
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, 81-86
2. The bottom of the lattice of BCK-varieties. 29, 1995, 87-93
3. Varieties of Tense Algebras. 32, 1998, 53-96,
4. Pretabular Varieties of Equivalential Algebras. 33, 1999, 3-10
5. (and H. ONO) The variety of residuated lattices is generated by its finite simple members. 34, 2000, 59-78
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
8. (and J. SLANEY) A finite fragment of S3 ; 43, 2008, 65-72 9. (and F. PAOLI) On some properties of quasi MV algebras and square root quasi MV algebras. Part III. 45, 2010, 161-199

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

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

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

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, 23-34.

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

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

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

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

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

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

LEDDA, ANTONIO
1. (and Roberto Giuntini, Hector Freytes, Francesco Paoli) On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras. 44, 2009, 31-63
2. (and Peter Jipsen, Francesco Paoli) On some properties of quasi-MV algebras and $\sqrt{^{\prime}}$ quasi-MV algebras. Part IV. 48, 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, 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

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

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

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

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

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

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
4. (and G.Robles) Minimal non-relevant logics without the K axiom; 42, 2007, 117-144

MESKE, NELLI
1. (and M. ABAD, A. FERNANDEZ) Free Boolean Correlations Lattices 30,1996, 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, 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

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

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

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

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

MORASCHINI, TOMMASO
1. On everywhere strongly logifiable algebras; 50, 2015, 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, 75-89

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

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
2. A simple observation regarding iterations of finite-valued polynomial-time functions. 44, 2009, 19-29.
3. Recursively enumerable sets and well-ordering of their enumerations, 49, 2014, 79-97.

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

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

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

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

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

OMORI, HITOSHI
1. An axiomatization of Wansing's expansion of Nelson's logic, 50, 2015, 41-51
2. A Note on Wansing's expansion of Nelson's logic, 51, 2016, 133-144

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
6. (and T. KOWALSKI) The variety of residuated lattices is generated by its finite simple members. 34, 2000, 59-78
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

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

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

PAOLI, FRANCESCO
1. Semantics for First Degree Relatedness Logic. 27, 1993, 81-94
2. S is Constructively Complete. 30, 1997, 31-47
3. Simplified Affine Phase Structures. 32, 1998, 21-34
4. (and Antonio Ledda, Roberto Giuntini, Hector Freytes) On some properties of quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras. 44, 2009, 31-63
5. (and Tomasz Kowalski) On some properties of quasi MV algebras and square root quasi MV algebras. Part III. 45, 2010, pp. 161-199
6. (and Peter Jipsen, Antonio Ledda) On some properties of quasi-MV algebras and $\sqrt{^{\prime}}$ quasi-MV algebras. Part IV. 48, pp. 3-36

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

PERKOV, TIN
1. Tableau-based bisimulation invariance testing; 48, 2013, 101-115

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

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

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

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

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
2. Induction Schemata Valid in Kripke Models of Arithmetical Theories. 33, 1999, 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, 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

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

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
6. On the Logic Determined by some Finite Relational Systems. 32, 1998, 3-9,

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

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
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
3. The equational definability of truth predicates. 41, 2006, 95-149
4. On the variety generated by involutive pocrims; 42, 2007, 71-86
5. (and Nikolaos Galatos, Jeffrey S. Olson), Irreducible residuated semilattices and finitely based varieties;; 43, 2008, 85-108

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

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

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
3. (and J. Mendez) Minimal non-relevant logics without the K axiom; 42, 2007, 117-144
4. Minimal non-relevant logics without the K axiom II. Negation introduced via the unary connective, 45, 2010, 97-118
5. Paraconsistency and consistency understood as the absence of the negation of any implicative theorem, 47, 2012, 147-171.
6. The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property, 51, 2016, 105-131

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

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

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

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

SAGASTUME, MARTA
1. (and Rodolfo Ertola), Subminimal logic and weak algebras. 44, 2009, 153-166,
2. (and Jose L. Castiglioni, Hernan 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, 55-62

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

SAN MARTIN, HERNAN J.
1. (and Jose L. Castiglioni, Marta 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, 117-120

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

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

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

SBARDELLINI, LUIS A.
(and Marcelo 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, 107-110
2. Modalities in the Extensions of B. 10, 1978, 123-128

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

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

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

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

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

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.
4. Finite algebras from Fregean varieties: decomposition and polynomials. 34, 2000, 157-158.
5. Purely equivalential propositional formulas in the intermediate Godel-Dummett logic; 42, 2007, 87-100.

SOBOT, BORIS
1. Divisibility in the Stone-\v Cech compactification. 50, 2015, 53-66.

SOLIVERES TUR, JUAN,
1. (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
2. (and Juan Climent Vidal) A 2-categorical framework for the syntax and semantics of many-sorted equational logic, 45, 2010, 37-95

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

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

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

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

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, 79-98

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

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

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

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

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

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

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

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

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

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

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

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

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
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
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
2. (and M. Abad, L. Rueda and A. M. Suardiaz), Free three-valued Closure \L ukasiewicz Algebras; 42, 2007, 3-17
3. (and Manuel Abad, Juan Manuel Cornejo) The Variety of Semi-Heyting Algebras Satisfying the equation (0 \to 1)^* \vee (0 \to 1)^{**} \approx 1, 46, 2011, 75-90.

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

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

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

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

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

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
11. (and J. Grygiel) The uniqueness of the decomposition of distributive lattices into sums of Boolean lattices. 31, 1997, 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, 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
15. Transparent Unification Problem. 29, 1995, 105-107
16. Semantic Normal Form. 34, 2000, 5-21
17. (and P. Wojtylak) On the problem of R. E. Tax. 35, 2001, 87-101,
18. On Prucnal's model-determinated logic and definable predicates; 38, 2004, pp. 87-91

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

ZANDER, MARTA
1. (and M. Abad, J. P. D. Varela) Boolean algebras with a distinguished automorphism; 37, 2003, 101-112
2. (and Manuel Abad, Luiz Monteiro, Sonia Savini, Julio 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, 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


Back to Main Menu