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
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, pp. 201-224
2. (and Hernan J. San Martin) On the variety of Heyting algebras with successor generated by all finite chains, 45, 2010, pp. 225-248
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
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. CORDERO, PABLO
CORNEJO, JUAN M.
COSTA, NEWTON C. A. Da
COWEN, ROBERT H.
CRESSWELL, M. J.
CRVENKOVIC, S.
CROSSLEY, JOHN N.
CZELAKOWSKI, JANUSZ
DANIELS, CHARLES B.
DAVIDSON, BARBARA
DEGEN, J. W.
DELHOMME,
CHRISTIAN
DELLUNDE, PILAR
DISHKANT, HERMAN
DORIA, F. A.
DO\u SEN, KOSTA
DUBIKAJTIS, LECH
DUDEK, ELZBIETA
DYRDA, KAZIMIERA
DYWAN, ZDZISLAW
DZIK, WOJCIECH
DZIOBIAK, WIESLAW
ELLENTUCK, ERIK
ELLIS, BRIAN
ENCISO, MANUEL
EPSTEIN, RICHARD L.
ERTOLA, RODOLFO
ESSER, OLIVIER
LA FALCE, SILVIA B.
FARULEWSKI, MACIEJ
FERENCZI, M.
FERNANDEZ, ALICIA
FERREIRIM, ISABEL M.A.
FIDEL, MANUEL M.
FIGALLO, ALDO V.
FIGALLO, MARTIN
FIORENTINI, CAMILLO
FONT, JOSEP M.
FRANKOWSKI, SZYMON
FREEMAN, JAMES B.
FREYTES, HECTOR
GAITAN, HERNANDO
Finitely Generated Subvarieties of Demi-p-lattices.
26, 1992, 25-38
GALATOS, NIKOLAOS
GEHRKE, MAI
GEORGESCU, GEORGE
GIAMBRONE, STEVE
GIL, ANGEL J.
GISPERT i BRASO, JOAN
GIUNTINI, ROBERTO
GOAD, C. A.
GOLDBLATT, ROBERT I.
GORAZD, TOMASZ A.
GRABOWSKI, ADAM
GRELL, BOGDAN
GRODZKI, ZDZISLAW
GRYGIEL, JOANNA
GUMB, RAYMOND D.
GUZMAN, INMACULADA P. DE
HALPERN, FRED
HANSSON, SWEN OVE
A Note on Anti-cyclic Properties of Complete Binary Relations.
27, 1993, 41-44
HANUSEK, JERZY
HASHIMOTO, YASUSI
HAWRANEK, JACEK
HERRING, JOHN M.
HINNION, ROLAND
HSIEH, AI-NI
HUGHES, GEORGE E.
HUMBERSTONE, LLOYD
IDZIAK, KATARZYNA
IDZIAK, PAWEL M.
ISHIHARA, HAJIME
ISLES, DAVID
ITURRIOZ, LUISA
JANSANA, RAMON
KABZINSKI, JACEK K.
KAGAN, JOEL
KAMIDE, NORIHIRO
KATOH, YOSUKE
KIELKOPF, CHARLES F.
KIHARA, HITOSHI
KISIELEWICZ, ANDRZEJ
KLOCH, KAMIL
KOJIMA, KENSUKE
KOLANY, ADAM
KOMORI, YUICHI
KONDO, MICHIRO
KONIOR, JAN
KOTAS, JERZY
KOWALSKI, TOMASZ
KRAJEWSKI, STANISLAW
KREISEL, GEORG
KRON, ALEXANDER
KRZACZKOWSKI, JACEK
KRZYSTEK, PIOTR
KUHNRICH, MARTIN
KURTONINA, Natasha
KYSIAK, MARCIN
LA FALCE, SILVIA B.
LANDINI, PAOLO
LATTANZI, MARINA
LATOCHA, PIOTR
LEBLANC, HUGUES
LEDDA, ANTONIO
LESISZ, WLODZIMIERZ
LITAK, TADEUSZ
MAKINSON, DAVID
MALINOWSKI, GRZEGORZ
MALYCHA, MACIEJ
MANKA, ROMAN
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
MARIANO, HUGO LUIZ
MARUYAMA, AKIO
McROBBIE, MICHAEL
MENDEZ, JOSE M.
MESKE, NELLI
MEYER, ROBERT K.
MICHAELS, ALLEEN
MINARI, PIERLUIGI
MIRAGLIA, FRANCISCO
MIRANDA FILHO, RICARDO C.
MITROVIC, M.
MONTEIRO, LUIZ
MORILLON, MARIANNE
MURAWSKI, ROMAN
MUZIO, ION C.
MIYAZAKI, YUTAKA
MYCIELSKI, JAN
MYCKA, JERZY
NAKAMURA, TETSUO
NIEBERGAL, KARL-GEORG
NUTE, DONALD
OLSON, JEFFREY S.
ONO, HIROAKIRA
OTTAVIANO, ITALA M. L. d'
PALASINSKA, KATARZYNA
PALASINSKI, MAREK
PALMIGIANO, ALESSANDRA
PAOLI, FRANCESCO
PAPAVERO, N.
PAULOS, JOHN
PAZDYKA, PAWEL
The First-order Coding of Models in Models with a Single Binary
Relation.
27, 1993, 45-54
PEREIRA, LUIZ CARLOS P.D.
PERZANOWSKI, JERZY
PETROVICH, ALEJANDRO
PIETRUSZCZAK, ANDRZEJ
PIGOZZI, DON
POGORZELSKI, WITOLD A.
POLACIK, TOMASZ
POREBSKA, MALGORZATA
PORTE, JEAN
POUBEL, HAYDEE W.
PRIESTLEY, HILARY
PRUCNAL, TADEUSZ
PYNKO, ALEXEJ P.
QUACKENBUSH, ROBERT
RAFTERY, JAMES G.
RAUTENBERG, WOLFGANG
REBAGLIATO, JORDI
RESTALL, GREG
RINE, DAVID C.
ROBLES, GEMMA
RODRIGUES, ALEXANDRE A. M.
ROMANO, D. A.
RUEDA, LAURA
ROUTLEY, RICHARD
RUBIN, JEAN E.
SACK, IRA HOWARD
SAGASTUME, MARTA
SAKHAROV, ALEXANDER
SALEHI, SAEED
SALTO, FRANCISCO
SAN MARTIN, HERNAN J.
SANZA,
CLAUDIA
SASAKI, KATSUMI
SAVINI, SONIA
SBARDELLINI, LUIS A.
SCHIRN, MATTHIAS
SCHUMM, GEORGE F.
SCHUSTER, JOSEF
SEKI, TAKAHIRO
SEWALD, JULIO
SENDLEWSKI, ANDRZEJ
SHIMURA, TATSUYA
SKURA, TOMASZ
SKVORTSOV, D. P.
SLANEY, JOHN
SLOMCZYNSKA, KATARZYNA
SOLIVERES TUR,
JUAN,
SOUMA, DAISUKE
de SOUZA, EDELCIO G.
SOZA, GRZEGORZ
SPASOWSKI, MACIEJ
STAHL, GEROLD
STELZNER, WERNER
STEPIEN, TEODOR
SUARDIAZ, ANA MARIA
SUCHON, WOJCIECH
SURMA, STANISLAW
SUSZKO, ROMAN
SUZUKI, NOBU-YUKI
SWIRYDOWICZ, KAZIMIERZ
SZCZECH, WLADYDLAW
SZCZYPKA, EDWARD
TAKAMURA, HIROKI
TAKANO, MITIO
TANAKA, YOSHIHITO
THOMASON, STEVEN K.
TICHY, PAVEL
TOKARZ, MAREK
TOMOVA, NATALYA
TORRENS, ANTONI
UEDA,MASAKI
ULRICH, DOLPH
URBANIAK, RAFAL
URBAS, IGOR
URQUHART, ALASDAIR
VAN ALTEN C.J.
VARELA, JOSE P. D.
VOUTSADAKIS, GEORGE,
VRGOC, DOMAGOJ
VUKOVIC, MLADEN
WANSING, HEINRICH
WEAVER, GEORGE
WOJTYLAK, PIOTR
WOZNIAKOWSKA, BARBARA
WRONSKI, ANDRZEJ
YAMAKAMI, TOMOYUKI
YOKOTA, SHIN'ICHI
ZACHOROWSKI, STANISLAW
ZAIONC, MAREK
ZANDER, MARTA
ZINOV'EV, A. A.
ZYGMUNT, JAN
ZARNECKA-BIALY, EWA
ZURAWIECKI, J.
(and Lu�s A. Sbardellini) Some results on ordered structures
in toposes; 40, 2006, pp.
181 - 198
1. (and M. Enciso, I. P.
de Guzman): From the poset of temporal implicates/implicants to a temporal negative form.
36, 2002, 3-53
1.
(and Manuel Abad 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.
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
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
1. Omnitemporal Logic and Tense Logic.
4, 1975, 17-24
2. Some Unsolved Problems in Modal Logic.
20, 1986, 101
1. (and M. Mitrovic and D. A. Romano) Complementary pair of quasi-antiorders, 45, 2010, pp. 135-142
1. (and L. Humberstone) The Logic of 'Actually'.
8, 1977, 11-29
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
1. (and J. B. Freeman) A Logic of Generalised Quantification.
10, 1978, 9-41
1. (and B. Ellis) Logic and Strict Coherence.
6, 1976, 29-40
1. Proof Theory for Finitely Valid Sentences. 35, 2001, 47-60
(and Marianne Morillon) Spanning graphs and the Axiom of Choice; 40, 2006, pp.
165 - 180
1. Equality-free saturated models, 37, 2003, 3-22
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
1. (and N.C.A. da Costa, N. Papavero) Meinong's Theory of Objects
and Hilbert's $\epsilon$-Symbol.
25, 1991, 119-132
1. Negation as a Modal Operator.
20, 1986, 15-28
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
1. (with G. Achtelik, L. Dubikajtis and J. Konior) On
Independence of Axioms of Jaskowski's Discussive Propositional
Calculus.
11, 1981, 3-11
1. (and B. BUGAJSKA)
On the Rules of Substitution in the First-order Predicate Logics.
28, 1994, 21-27
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
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
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
1. (and F. Halpern) Theories Having Many Extensions.
4, 1975, 25-29
1. (and B. Davidson) Logic and Strict Coherence.
6, 1976, 29-40
1. (and P. Cordero, I. P.
de Guzman): From the poset of temporal implicates/implicants to a temporal negative form.
36, 2002, 3-53
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
1. (and Marta Sagastume), Subminimal logic and weak algebras. 44, 2009, 153-166
1. Mildly ineffable cardinals and hiperuniverces; 37, 2003, 23-40
1.
(and W. BLOK)
Komori Identities in Algebraic Logic. 34, 2000, 79-106
1. Finite embeddability property for residuated groupoids; 43, 2008, 25- 42
1. A Remark on the Concept of Conditional Probability.
20, 1986, 3-6
1. (and
M. ABAD and N. MESKE)
Free Boolean Correlations Lattices
30, 1996, 3-11
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.
1. The Decidability of the Calculi $C_n$.
8, 1977, 31-40
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
1.
Some results on diagonal-free two-dimensional cylindric algebras, 46, 2011, 3-15.
1. Hypercanonicity, extensive canonicity,
canonicity and strong completeness
of intermediate propositional logics. 35, 2001, 3-46
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.
1. On the Lattice of p-consequences, 45, 2010, 23-35
1. (and Ch. B. Daniels) A Logic of Generalised Quantification.
10, 1978, 9-41
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
1. (and Jeffrey S. Olson, James G. Raftery, Irreducible residuated semilattices and finitely based varieties; 43, 2008, 85-108
1. (and Hilary A. Priestley) Canonical extensions and completions of posets and lattices; 43, 2008, 133-152
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
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
1. (and REBAGLIATO JORDI) Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics
; 41, 2006, 9-30
1. Axiomatic extensions of the milpotent minimum
logic; 37, 2003, 113-124
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
1. Monadic Infinitary Propositional Logic: A Special Operator.
10, 1978, 43-50
1. Methamathematics of Modal Logic. Part I.
6, 1976, 41-78
2. Methamathematics of Modal Logic. Part II.
7, 1976, 21-52
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.
1. Lattice of Substitutions. 33, 1999, 99-109
1. Un simple systeme de logique fonde sur regles.
2, 1974, 9-24
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
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
1. Metaphor Theory.
10, 1978, 51-60
1. (and P. Cordero, M. Enciso): From the poset of temporal implicates/implicants to a temporal negative form.
36, 2002, 3-53
1. (and E. Ellentuck) Theories Having Many Extensions.
4, 1975, 25-30
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
1. (and Akio Maruyama) Inclusion Relationship between Pseudo-Euclidean Logics, 46,2011, 133-142.
1. (and M. Tokarz) Matrices for Predicate Logics.
9, 1978, 27-30
1. Equivalence of Several Notions of Theory Completeness in a
Free Logic.
6, 1976, 87-92
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.
1. Some locally tabular logics with contraction and mingle, 45, 2010, pp. 143-159
1. Modal Systems with No Minimal Proper Extensions.
6, 1976, 93-98
2. Omnitemporal Logic and Nodal Time.
8, 1977, 41-61
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
1. Quasivarieties of Equivalential Algebras. 29, 1995, 81-85
2. Counting quasivarieties of equivalential algebras. 34, 2000, 153-156.
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
(and J. Berger, P. Schuster) The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice;
47, 2012, 63-86.
1. The Accessibility of $\varepsilon_0$.
5, 1975, 37-42
2.
Theorems of Peano arithmetic are Buridan-Volpin recursively satisfable.
31, 1997, 57-74
1. Two Characteristic Properties of Monadic Three-valued
Lukasiewicz Algebras.
8, 1977, 63-69
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
1. (and M. Porebska) Proof of the Separability of the
Intuitionistic Propositional Logic by the Wajsberg's Method.
4, 1977, 31-38
1. (and R. Quackenbush) Monadic Algebras.
7, 1976, 53-62
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.
1. (and KOWALSKI, TOMASZ, and UEDA,MASAKI), Almost minimal varieties related to fuzzy logic; 41, 2006, 173-194
1. Kant's Deontic Logic.
5, 1975, 43-51
1. (and Hiroakira Ono), Algebraic characterizations of variable separation properties; 43, 2008, 43-63
1. Double Extension Set Theory.
23, 1989, 81-89
1. Online dimension of partially ordered sets; 42, 2007, 101-116
1. Relational and neighborhood semantics for intuitionistic modal logic; 47, 2012, 87-113.
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
1. Some Results on the Super-intuitionistic Predicate Logics.
15, 1983, 13-31
1. Simple Completeness Proof of Lemmon's SO.5.
22, 1988, 3-8
1. (with G. Achtelik, L. Dubikajtis and E. Dudek) On Independence
of Axioms of Jaskowski's Discussive Propositional Calculus.
11, 1981, 3-11
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
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
1. Relatedness Logic.
20, 1986, 7-14
1. Monadic Operators Defined by Means of Propositional
Quantification in Intuitionistic Logic.
12, 1981, 9-15
1. Decision Procedures for Two Positive Relevance Logics.
10, 1978, 61-78
1. (and Tomasz Gorazd) The complexity of problems connected with two-element algebras, 46, 2011, 91-108.
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
1. On the Hermes Term Logic.
16, 1983, 3-16
1. (and
D. BATENS
and
K. De CLERCQ)
Embedding and Interpolation for Some Paralogics.
The Propositional Case. 33, 1999, 29-44
A note on transitive sets without the foundation
axiom; 40, 2006, pp.
159 - 163
1.
(and W. BLOK)
Komori Identities in Algebraic Logic. 34, 2000, 79-106
1.
(and A. V. FIGALLO)
On Generalized
I-Algebras and 4-valued Modal Algebras, 29, 1995, 3-18
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
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
1. (with J. Paulos and G. E. Weaver) Rules of Deduction and Truth
Tables.
8, 1977, 71-79
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
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
1. A continuum of incomplete intermediate logics, 36, 2002, 131-142
1. A Chaacterization of Structural Completeness of a Structural
Consequence Operation.
6, 1976, 99-102
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
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
1. Turinici's Fixed Point Theorem and the Axiom of Choice.
22, 1988, 15-19
1. Consequence Operations Defined by Partial Matrices.
17, 1984, 47-55
1. (and F. Miraglia), Profinite Structures are Retracts of Ultraproducts of Finite Structures; 42, 2007, 171-184
1. (and Yasusi Hashimoto) Inclusion Relationship between Pseudo-Euclidean Logics, 46, 2011, 133-142.
1. (and A. Barca) Constructive Interpolation Theorems for S2
and S2.
23, 1989, 3-15
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
1. (and
M. ABAD, A. FERNANDEZ)
Free Boolean Correlations Lattices
30,1996, 3-11
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
1. (and R. Suszko) Sentential Calculus of Identity and Negation.
7, 1976, 87-106
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
1. (and H.L. Mariano), Profinite Structures are Retracts of Ultraproducts of Finite Structures; 42, 2007, 171-184
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
1. (and S. Crvenkovic and D. A. Romano) Complementary pair of quasi-antiorders, 45, 2010, pp. 135-142
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
(and Christian
Delhomme) Spanning graphs and the Axiom of Choice; 40, 2006, pp.
165 - 180
1. A Note on Inner Interpretations of Models of Peano Arithmetic.
13, 1981, 53-57
2. Semantics for Nonstandard Languages.
22, 1988, 105-114
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
1. The Super-Amalgamation Prperty of the Variety of Ortholattices. 33,
1999, 45-64
1. An Essay about Old Model Theory.
14, 1982, 49-58
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
1. Disjunction Property for Some Intermediate
Predicate Logics.
15, 1983, 33-39
(and M.
Schirn), Finitism = PRA? On a Thesis of W. W. Tait; 39, 2005, pp.
3-24
1. Algebraic Semantic for Conditional Logics.
10, 1978, 79-101
1. (and Nikolaos Galatos, James G. Raftery), Irreducible residuated semilattices and finitely based varieties;; 43, 2008, 85-108
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
1. (and R. L. Epstein) A Paraconsistent Many-Valued
Propositional Logic: J$_3$.
22, 1988, 89-103
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
1. (and A. Wronski) Eight Simple Questions Concerning
BCK-Algebras.
20, 1986, 87-91
1. (and JANSANA, RAMON) Referential semantics: duality and applications. 41, 2006, 63-93
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 and Tomasz Kowalski) On some properties of quasi MV algebras and square root quasi MV algebras. Part III. 45, 2010, pp. 161-199
1. (and N.C.A. da Costa, F.A. Doria) Meinong's Theory of Objects and
Hilbert's $\epsilon$-Symbol.
25, 1991, 119-132
1. (with H. Leblanc and G. E. Weaver) Rules of Deduction and
Truth Tables.
8, 1977, 71-79
1. (and H.W. POUBEL)
A Categorical Approach to Higher-level Introduction and Elimination Rules.
28, 1994, 3-19
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
1. (and Marina Lattanzi) A Duality for (n+1)-valued MV-algebras. 44, 2009, 65-84
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
(and Josep Maria Font, Ramon Jansana)
Fully adequate Gentzen Systems and the Deduction Theorem. 35, 2001, 115-165
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
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
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
1. Axiomatization and Independence in S4 and S5.
16, 1983, 23-35
2. On Structurally Saturated Axiomatizations of PC.
19, 1985, 41-47
1. (and LUIZ CARLOS P.D. PEREIRA)
A Categorical Approach to Higher-level Introduction and Elimination Rules.
28, 1994, 3-19
1. (and Mai Gehrke) Canonical extensions and completions of posets and lattices; 43, 2008, 133-152
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,
1.
Implication Systems For Many-Dimensional Logics. 33, 1999, 11-27,
1. (and J. Kagan) Monadic Algebras.
7, 1976, 53-62
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
1. A Note on Completeness and Maximality in Propositional Logic.
21, 1987, 3-8
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
1. Display Logic and Gaggle Theory. 29, 1995, 133-146
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
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.
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
1. (and S. Crvenkovic and M. Mitrovic) Complementary pair of quasi-antiorders, 45, 2010, pp. 135-142
1. (and M. Abad, J. P. Diaz Varela, A. M. Suardiaz), Free three-valued Closure \L ukasiewicz Algebras; 42, 2007, 3-17
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
1. (and N. Brunner) Two Conjectures about the Axiom of Choice.
20, 1986, 99-100
1. Prefilter Consequence Operators and Their Realizations by
Logical Matrices with Multi-valued Truth Sets.
5, 1975, 91-92
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
1. Intuitionistic Predicate Logic with Decidable Propositional Formulas; 42, 2007, 153-169
1. Decidable formulas of intuitionistic primitive recursive
arithmetic, 36, 2002, 55-62
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
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
1. n x m Łukasiewicz algebras
with parameters; 40,
2006, 83
- 106
1. Formalizations for the Consequence Relation of Visser's
Propositional
Logic. 33, 1999, 65-78
1. (and Manuel Abad, Luiz Monteiro, Julio Sewald and Marta Zander), Subalgebras of a finite monadic
Boolean Algebra; 40, 2006, pp.
199 - 206
(and Marcelo E. Coniglio) Some results on ordered structures
in toposes; 40, 2006, pp.
181 - 198
(and K.G. Niebergal), Finitism = PRA? On a Thesis of W. W. Tait; 39, 2005, pp.
3-24
1. Interpolation in S5 and Some Related Systems.
6, 1976, 107-110
2. Modalities in the Extensions of B.
10, 1978, 123-128
(and J. Berger, H. Ishihara) The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice;
47, 2012, 63-86.
1. Completness of relevant modal logics with disjunctive rules.
44, 2009, 3-18
1. (and Manuel Abad, Luiz Monteiro, Sonia Savini and Marta Zander), Subalgebras of a finite monadic
Boolean Algebra; 40, 2006, pp.
199 - 206
1. Topologicality of Kleene Algebras
With a Weak Pseudocomplementation
Over Distributive P-Algebras.
25, 1991, 13-56
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
1. A Complete Syntactic Characterization of the Intuitionistic
Logic.
23, 1989, 75-80
2. Some Aspects of Refutation Rules. 29, 1995, 109-116
1. On Axiomatizability of Some Intermediate Predicate Logics.
(Summary).
22, 1988, 115-116
1. (and T. KOWALSKI) A finite fragment of S3 ; 43, 2008, 65-72
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
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
1.
Minimal subvarieties of involutive residuated lattices, 46, 2011, 17-27.
(and Alexandre
A. M. Rodrigues , Ricardo C. Miranda Filho) Invariance
and Set-Theoretical Operations in First Order Structures; 40, 2006, pp.
207 - 213
2. (and Alexandre
A. M. Rodrigues , Ricardo C. Miranda Filho) Definability in infinitary languages and invariance by automorphims, 45, 2010, 119-133
1. Asymptotic density as a method of expressing
titative relations in Intuitionistic Logic. 36, 2002, 71-94
1. Some Properties of the Operation $d$.
3, 1974, 53-56
1. Character and Acceptability of Church's Thesis.
11, 1981, 63-67
1. Eine formule Losung epistemologischer Antinomien.
2, 1974, 33-36
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
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
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
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
1. (and A. Michaels) Sentential Calculus of Identity and
Negation.
7, 1976, 87-106
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
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
1. On a Theorem of Wajsberg.
1, 1973, 33-37
1.
Isomorphism Testing for Equivalence Relations.
30, 1996, 101-109
1. Every free biresiduated lattice is semisimple; 37, 2003, 125-133
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
1. Some proof systems for common knowledge
predicate; 37, 2003, 79-100
1. Toward a Formalization of Dialectical Logic.
23, 1989, 17-23
1. Foundations of Partial Type Theory.
14, 1982, 59-72
2. Errata to 'Foundations of Partial Type Theory'.
16, 1983, 55-56
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
1. A lattice of implicative extensions of regular Kleene's logics; 47, 2012, 173-182.
1. Boolean Products of CW-Algebras and
Pseudo- Complementation.
23, 1989, 31-38
1. (and KATOH, YOSUKE and KOWALSKI, TOMASZ), Almost minimal varieties related to fuzzy logic; 41, 2006, 173-194
1. On the Characrerization of Sentential Calculi by Finite
Matrices.
20, 1986, 63-86
1. On
Ontological Functors of Lesniewski's Elementary Ontology, 40, 2006, pp.
15 - 43
1. On the Positive Parts of the J-Systems of Arruda and da Costa.
22, 1988, 27-38
1. A Finite Matrix Whose Consequence Relation
Is Not Finitely Axiomatizable.
9, 1977, 71-73
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.
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.
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.
1. (and Mladen Vukovic) Bisimulation quotients of Veltman models, 46, 2011, 59-73.
1. (and Domagoj Vrgoc) Bisimulation quotients of Veltman models, 46, 2011, 59-73.
1. Strong Cut-elimination in Display Logic. 29, 1995, 117-131
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
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
1. Algebraic Proof of the Separation Theorem for
the Infinite-valued Logic of Lukasiewicz.
10, 1978, 129-137
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
1. (and M. Takano) Classification of Intermediate Predicate
Logics Under the Type of Deductive Completeness.
24, 1990, 17-23
1. Some Modal Propositional Logics Containing CO.8.
22, 1988, 51-63
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
1. On the asymptotic density of tautologies in logic of implication
and negation; 39, 2005, pp.
67-87
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
1. On Some Systems of Formal Arithmetic.
3, 1974, 73-90
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
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
1. (and Z. Grodzki) The ($k, m$)-Computation Sets.
6, 1976, 79-86
Back to Main Menu