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
(Abstract)
4. (and J. P. D. Varela and M. Zander) Boolean algebras with a
distinguished automorphism; 37, 2003, 101-112, (Abstract) Full text - pdf
5. (and Luiz Monteiro, Sonia Savini, Julio Sewald and Marta Zander), Subalgebras of a finite monadic
Boolean Algebra; 40, 2006, pp.
199 - 206; Full text - pdf
6. M. Abad, (and J. P. Diaz Varela, L. Rueda and A. M. Suardiaz), Free three-valued Closure \L ukasiewicz Algebras; 42, 2007, 3-17, (Abstract); Full text - pdf
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
(Abstract)
BABYONYSHEV, SERGEI
1. Fully Fregean logics; 37, 2003, 59-78, (Abstract) Full text - pdf
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
(Abstract)
BAYU SURARSO
1. (and H. ONO)
Cut Elimination in Noncommutative Substructural Logics
30, 1996, 13-29
(Abstract)
BENDOVA, KAMILA
1. Interpolation and three-valued logics; 39, 2005, pp.
127-131; Full text - pdf
2. A weak essentially undecidable theory; 42, 2007, 145-151, (Abstract); Full text - pdf
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,
(Abstract)
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
(Abstract)
2. (and T.PRUCNAL)
Axiomatization of the Logic Determined by the System
of Natural Numbers with Identity.
28, 1994,
61-71
(Abstract)
3.
Axiomatization of the Logic Determined by some Finite Relational Systems.
32, 1998, 11-20,
(Abstract)
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
(Abstract)
BUSZKOWSKI, WOJCIECH
1.
A
representation theorem for co-diagonalizable algebras; 38, 2004,
pp. 13-22; Full text - pdf
2. On the complexsity of some substructural logics; 43, 2008, 5-24, (Abstract);
BYRD, MICHAEL
1. Boundary Logics.
20, 1986, 39-62
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
CELANI, SERGIO A.
1.
A Note on Classical Modal Relevant Algebras. 32, 1998, 35-52,
(Abstract)
2. Modal Tarski algebras; 39, 2005, pp. 113- 126; Abstract Full text - pdf
De CLERCQ, Kristof
1. (and D.
BATENS
and N. KURTONINA)
Embedding and Interpolation for Some Paralogics.
The Propositional Case. 33, 1999, 29-44
(Abstract)
CLIMENT,
JUAN, VIDAL
(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; Full text - pdf
COCHIARELLA, NINO B.
1. A Second-Order Logic of Variable Binding Operators
5, 1975, 3-18
CONIGLIO,
MARCELO E.
(and Lu�s A. Sbardellini) Some results on ordered structures
in toposes; 40, 2006, pp.
181 - 198; Full text - pdf
CORDERO, PABLO
1. (and M. Enciso, I. P.
de Guzman): From the poset of temporal implicates/implicants to a temporal negative form.
36, 2002, 3-53, (Abstract)
COSTA, NEWTON C. A. Da
1. Remarks on Jaskowski's Discussive Logic.
4, 1975, 7-16
2. (and F.A. Doria, N. Papavero) Meinong's Theory of
Objects and Hilbert's $\epsilon$-Symbol.
25, 1991, 119-132
COWEN, ROBERT H.
1. Partition Principles for Properties of Finite Character.
14, 1982, 23-28
2. Hypergraph Satisfiability.
25, 1991, 113-117
3. Combinatorial Analytic Tableaux.
27, 1993, 29-39
(Abstract)
4.
A Compactness Theorem for Infinite Constraint Satisfaction. 32, 1998,
97-108,
(Abstract)
5. Property S. 35, 2001, 61-74,
(Abstract)
CRESSWELL, M. J.
1. Omnitemporal Logic and Tense Logic.
4, 1975, 17-24
2. Some Unsolved Problems in Modal Logic.
20, 1986, 101
CROSSLEY, JOHN N.
1. (and L. Humberstone) The Logic of 'Actually'.
8, 1977, 11-29
CZELAKOWSKI, JANUSZ
1. Partial Boolean Algebras in a Broader Sense as a Semantics For
Quantum Logic.
11, 1981, 49-56
2. Equivalential
Logics (after 25 years of investigations); 38, 2004,
pp. 23-36; Full text - pdf
3. (and DZIOBIAK, WIESLAW), On truth-schemes for intensional logics; 41, 2006, 151-171, Full text - pdf
4. Additivity of the commutator and residuation; 43, 2008, 109-132, (Abstract);
DANIELS, CHARLES B.
1. (and J. B. Freeman) A Logic of Generalised Quantification.
10, 1978, 9-41
DAVIDSON, BARBARA
1. (and B. Ellis) Logic and Strict Coherence.
6, 1976, 29-40
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.
ESSER, OLIVIER
LA FALCE, SILVIA B.
FARULEWSKI, MACIEJ
FERENCZI, M.
FERNANDEZ, ALICIA
FERREIRIM, ISABEL M.A.
FIDEL, MANUEL M.
FIGALLO, ALDO V.
FIORENTINI, CAMILLO
FONT, JOSEP M.
FREEMAN, JAMES B.
GAITAN, HERNANDO
Finitely Generated Subvarieties of Demi-p-lattices.
26, 1992, 25-38
(Abstract)
GALATOS, NIKOLAOS
GEHRKE, MAI
GEORGESCU, GEORGE
GIAMBRONE, STEVE
GIL, ANGEL J.
GISPERT i BRASO, JOAN
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
(Abstract)
HANUSEK, JERZY
HAWRANEK, JACEK
HERRING, JOHN M.
HINNION, ROLAND
HUGHES, GEORGE E.
HUMBERSTONE, LLOYD
IDZIAK, KATARZYNA
IDZIAK, PAWEL M.
ISLES, DAVID
ITURRIOZ, LUISA
JANSANA, RAMON
KABZINSKI, JACEK K.
KAGAN, JOEL
KAMIDE, NORIHIRO
KATOH, YOSUKE
KIELKOPF, CHARLES F.
KIHARA, HITOSHI
KISIELEWICZ, ANDRZEJ
KLOCH, KAMIL
KOLANY, ADAM
KOMORI, YUICHI
KONDO, MICHIRO
KONIOR, JAN
KOTAS, JERZY
KOWALSKI, TOMASZ
KRAJEWSKI, STANISLAW
KREISEL, GEORG
KRON, ALEXANDER
KRZYSTEK, PIOTR
KUHNRICH, MARTIN
KURTONINA, Natasha
KYSIAK, MARCIN
LA FALCE, SILVIA B.
LANDINI, PAOLO
LATTANZI, MARINA
LATOCHA, PIOTR
LEBLANC, HUGUES
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
(Abstract)
MAREK, IWONA
MARIANO, HUGO LUIZ
McROBBIE, MICHAEL
MENDEZ, JOSE M.
MESKE, NELLI
MEYER, ROBERT K.
MICHAELS, ALLEEN
MINARI, PIERLUIGI
MIRAGLIA, FRANCISCO
MIRANDA FILHO, RICARDO C.
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
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.
RUEDA, LAURA
ROUTLEY, RICHARD
RUBIN, JEAN E.
SACK, IRA HOWARD
SAKHAROV, ALEXANDER
SALEHI, SAEED
SALTO, FRANCISCO
SANZA,
CLAUDIA
SASAKI, KATSUMI
SAVINI, SONIA
SBARDELLINI, LUIS A.
SCHIRN, MATTHIAS
SCHUMM, GEORGE F.
SEWALD, JULIO
SENDLEWSKI, ANDRZEJ
SHIMURA, TATSUYA
SKURA, TOMASZ
SKVORTSOV, D. P.
SLANEY, JOHN
SLOMCZYNSKA, KATARZYNA
SOLIVERS,
JUAN, TUR
de SOUZA, EDELCIO G.
SOZA, GRZEGORZ
SPASOWSKI, MACIEJ
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
TORRENS, ANTONI
UEDA,MASAKI
ULRICH, DOLPH
URBANIAK, RAFAL
URBAS, IGOR
URQUHART, ALASDAIR
VAN ALTEN C.J.
VARELA, JOSE P. D.
VOUTSADAKIS, GEORGE,
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.
1. Proof Theory for Finitely Valid Sentences. 35, 2001, 47-60,
(Abstract)
(and Marianne Morillon) Spanning graphs and the Axiom of Choice; 40, 2006, pp.
165 - 180; Full text - pdf
1. Equality-free saturated models, 37, 2003, 3-22, (Abstract) Full text - pdf
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, (Abstract) Full text - pdf
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
(Abstract)
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; Full text - pdf
7. Unification in some substructural logics of BL-algebras and hoops; 43, 2008, 73-84, (Abstract);
1. (and J. J. Blaszczuk) An Axiomatization of $M^n$ -Counterparts
for Some Modal Calculi.
6, 1976, 3-6
2. (and A. Biela) On Two Properties of Structurally Complete
Logics.
16, 1983, 51-54
3. A Finite Matrix Whose Set of Tautologies
Is Not Finitely Axiomatizable.
25, 1991, 105-112
4. (and CZELAKOWSKI, JANUSZ), On truth-schemes for intensional logics; 41, 2006, 151-171, Full text - pdf
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, (Abstract)
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. Mildly ineffable cardinals and hiperuniverces; 37, 2003, 23-40, (Abstract) Full text - pdf
1.
(and W. BLOK)
Komori Identities in Algebraic Logic. 34, 2000, 79-106,
(Abstract)
1. Finite embeddability property for residuated groupoids; 43, 2008, 25- 42, (Abstract);
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
(Abstract)
1. (and S. BURRIS)
Decidable Varieties of Hoops.
28, 1994, 53-59
(Abstract)
2. A short note on hoops and continuous {t}-norms. 34, 2000, 141-152.
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
(Abstract)
1. Hypercanonicity, extensive canonicity,
canonicity and strong completeness
of intermediate propositional logics. 35, 2001, 3-46,
(Abstract)
1. Implication and Deduction in Some Intuitionistic Modal Logic.
17, 1984, 27-38
2. (and Ramon Jansana, Don Pigozzi)
Fully adequate Gentzen Systems and the Deduction Theorem. 35, 2001, 115-165,
(Abstract)
1. (and Ch. B. Daniels) A Logic of Generalised Quantification.
10, 1978, 9-41
1. (and Jeffrey S. Olson, James G. Raftery, Irreducible residuated semilattices and finitely based varieties; 43, 2008, 85-108, (Abstract);
1. (and Hilary A. Priestley) Canonical extensions and completions of posets and lattices; 43, 2008, 133-152 (Abstract);
1. Pierce Sheaf and The Duality of Lukasiewicz-Moisil Algebras.
26, 1992, 67-74
2. Some model theory for probability structures. 35, 2001, 103-113,
(Abstract)
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, Full text - pdf
1. Axiomatic extensions of the milpotent minimum
logic; 37, 2003, 113-124, (Abstract) Full text - pdf
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,
(Abstract)
1. Lattice of Substitutions. 33, 1999,
(Abstract)
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
(Abstract)
1. Absolutely Independent Sets of Generators of Filters in
Boolean Algebras.
24, 1990, 25-35
2.
(and P. WOJTYLAK)
The uniqueness of the decomposition of distributive lattices into sums
of Boolean lattices. 31, 1997, 93-102,
(Abstract)
3. Boolean constructions of independent sets of generators for filters. 35, 2001, 75-85,
(Abstract)
4. Application of the Cantor-Bendixon construction to the problem of
freely generated filters; 38, 2004,
pp. 49-59; Full text - pdf
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, (Abstract)
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
(Abstract)
2.
Decidability of Classes of Finite Algebras with a Distinguished
Subset Closed Under a Discriminator Clone.
30, 1996, 65-82
(Abstract)
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; Full text - pdf
2. Intensional solutions to the identity problem for partial sets; 42, 2007, 47-69, (Abstract); Full text - pdf
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; Full text - pdf;
1. Quasivarieties of Equivalential Algebras. 29, 1995, 81-85
(Abstract)
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
1. The Accessibility of $\varepsilon_0$.
5, 1975, 37-42
2.
Theorems of Peano arithmetic are Buridan-Volpin recursively satisfable.
31, 1997, 57-74,
(Abstract)
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,
(Abstract)
2. (and PALMIGIANO, ALESSANDRA) Referential semantics: duality and applications. 41, 2006, 63-93, Full text - pdf
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, (Abstract)
1. (and KOWALSKI, TOMASZ, and UEDA,MASAKI), Almost minimal varieties related to fuzzy logic; 41, 2006, 173-194, Full text - pdf
1. Kant's Deontic Logic.
5, 1975, 43-51
1. (and Hiroakira Ono), Algebraic characterizations of variable separation properties; 43, 2008, 43-63, (Abstract);
1. Double Extension Set Theory.
23, 1989, 81-89
1. Online dimension of partially ordered sets; 42, 2007, 101-116, (Abstract); Full text - pdf
1. (and P. Wojtylak) Restricted Versions of the Compactness Theorem.
25, 1991, 91-103
2. Hypergraphs and the Intuitionistic Propositional\break Calculus.
27, 1993, 55-66
(Abstract)
3. Grabowski lattices are generated by graphs, 36, 2002, 63-70, (Abstract)
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
(Abstract)
2. Self-dual boolean functions; 38, 2004, pp. 61-64;Full text - pdf
3. (and M. Malycha) Remarks
on the arrangement of the irreducible elements of finitely generated
distributive lattices in a Boolean cube; 38, 2004, pp. 65-68; Full text - pdf
1.
A Syntactic Proof of a Conjecture
of Andrzej Wronski.
28, 1994,
81-86
(Abstract)
2. The bottom of the lattice of BCK-varieties. 29, 1995, 87-93
3. Varieties of Tense Algebras. 32, 1998, 53-96,
(Abstract)
4.
Pretabular Varieties of Equivalential Algebras. 33, 1999, 3-10
(Abstract)
5.
(and H. ONO)
The variety of residuated lattices is generated by its
finite simple members. 34, 2000, 59-78,
(Abstract)
6.
(and H. ONO)
Remarks on splittings in the variety of residuated lattices. 34, 2000, 133-140.
7. (and KATOH, YOSUKE, and UEDA,MASAKI), Almost minimal varieties related to fuzzy logic; 41, 2006, 173-194, Full text - pdf
8. (and John Slaney) A finite fragment of S3 ; 43, 2008, 65-72, (Abstract);
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. 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
(Abstract)
A note on transitive sets without the foundation
axiom; 40, 2006, pp.
159 - 163; Full text - pdf
1.
(and W. BLOK)
Komori Identities in Algebraic Logic. 34, 2000, 79-106,
(Abstract)
1.
(and A. V. FIGALLO)
On Generalized
I-Algebras and 4-valued Modal Algebras, 29, 1995, 3-18
(Abstract)
1. (n+1)-bounded Wajsberg Algebras with a U-operator; 39, 2005, pp.
89-111; Abstract Full text - pdf
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 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, (Abstract)
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; Full text - pdf
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, (Abstract); Full text - pdf
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; Abstract Full text - pdf
4. (and G.Robles) Minimal non-relevant logics without the K axiom; 42, 2007, 117-144, (Abstract); Full text - pdf
1. (and
M. ABAD, A. FERNANDEZ)
Free Boolean Correlations Lattices
30,1996, 3-11
(Abstract)
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, (Abstract); Full text - pdf
(and Alexandre
A. M. Rodrigues , Edelcio G. de Souza) Invariance
and Set-Theoretical Operations in First Order Structures; 40, 2006, pp.
207 - 213; Full text -
pdf
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; Full text - pdf
(and Christian
Delhomm�) Spanning graphs and the Axiom of Choice; 40, 2006, pp.
165 - 180; Full text - pdf
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
(Abstract)
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
(Abstract)
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; Abstract Full text - pdf
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, (Abstract);
1. Model Extension Theorem and Craig's Interpolation Theorem for
Intermediate Predicate Logics.
15, 1983, 41-58
2. Some Remarks on Semantics for the Classical Logic without the
Contraction Rules.
19, 1985, 3-12
3. Some Problems in Intermediate Predicate Logics.
21, 1987, 55-67
4. (and N. Suzuki) Relations Between Intuitionistic Modal Logics
and Intermediate Predicate Logics.
22, 1988, 65-87
5. Supplement to 'Some Problems in Intermediate Predicate
Logics'.
22, 1988, 117-118
5.
(and
BAYU SURARSO)
Cut Elimination in Noncommutative Substructural Logics
30, 1996, 13-29
(Abstract)
6.
(and T. KOWALSKI)
The variety of residuated lattices is generated by its
finite simple members. 34, 2000, 59-78,
(Abstract)
7.
(and T. KOWALSKI)
Remarks on splittings in the variety of residuated lattices. 34, 2000, 133-140.
8. (and H. KIHARA), Algebraic characterizations of variable separation properties; 43, 2008, 43-63, (Abstract);
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,
(Abstract)
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, Full text - pdf
1. Semantics for First Degree Relatedness Logic.
27, 1993, 81-94
(Abstract)
2.
S is Constructively Complete.
30, 1997, 31-47
3. Simplified Affine Phase Structures. 32, 1998, 21-34,
(Abstract)
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
(Abstract)
1. The Deduction Theorems for the Modal Propositional Calculi
Formalised after the Manner of Lemmon. Part I.
1, 1973, 1-12
2. The Linguistic Criterion of Structural Incompleteness.
1, 1973, 13-14
3. On M-fragments and L-fragments of Normal Modal
Propositional Calculi.
5, 1975, 63-72
4. Towards Combination Metaphisics; 38, 2004, pp. 93-116; Full text - pdf
1. Cardinalities of Models
for Pure Calculi of Names.
28, 1994,
87-102
2.
Cardinalities of Models and the Expressive Power of Monadic Predicate
Logic (with equality and individual constants).
30, 1996, 49-64
(Abstract)
(and Josep Maria Font, Ramon Jansana)
Fully adequate Gentzen Systems and the Deduction Theorem. 35, 2001, 115-165,
(Abstract)
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
(Abstract)
2.
Induction Schemata Valid in Kripke Models of Arithmetical Theories. 33,
1999,
(Abstract)
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
(Abstract)
1. (and Mai Gehrke) Canonical extensions and completions of posets and lattices; 43, 2008, 133-152 (Abstract);
1. (and W. A. Pogorzelski) Some Remarks on the Notion of
Completeness of the Propositional Calculus.
1, 1973, 15-19
2. (and W. A. Pogorzelski) Equivalence of the Structural
Completeness Theorem for Propositional Calculus and the
Boolean Representation Theorem.
3, 1973, 37-40
3. (and W. A. Pogorzelski) The Substitution Rule for Predicate
Letters in the First-order Predicate Calculus.
5, 1975, 77-90
4. Structural Completeness of Medvedev's
Propositional Calculus.
6, 1976, 103-105
5. (and B. BUGAJSKA-JASZCZOLT)
Axiomatization of the Logic Determined by the System
of Natural Numbers with Identity.
28, 1994, 61-71
(Abstract)
6.
On the Logic Determined by some Finite Relational Systems. 32, 1998, 3-9,
(Abstract)
1.
Implication Systems For Many-Dimensional Logics. 33, 1999, 11-27,
(Abstract)
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,
(Abstract)
2. (and C.J. VAN ALTEN)
Residuation in Commutative Ordered Monoids with Minimal Zero. 34, 2000, 23-58
Corrigendum: Residuation in Commutative
Ordered Monoids with Minimal Zero; 39, 2005, pp. 133-135; Full
text - pdf
3. The equational definability of truth predicates. 41, 2006, 95-149, Full text - pdf
4. On the variety generated by involutive pocrims; 42, 2007, 71-86, (Abstract); Full text - pdf
5. (and Nikolaos Galatos, Jeffrey S. Olson), Irreducible residuated semilattices and finitely based varieties;; 43, 2008, 85-108, (Abstract);
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, Full text - pdf
1. Display Logic and Gaggle Theory. 29, 1995, 133-146
(Abstract)
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; Abstract Full text - pdf
3. (and J. Mendez) Minimal non-relevant logics without the K axiom; 42, 2007, 117-144, (Abstract); Full text - pdf
(and Ricardo C. Miranda Filho , Edelcio G. de Souza) Invariance
and Set-Theoretical Operations in First Order Structures; 40, 2006, pp.
207 - 213; Full text -
pdf
1. (and M. Abad, J. P. Diaz Varela, A. M. Suardiaz), Free three-valued Closure \L ukasiewicz Algebras; 42, 2007, 3-17, (Abstract); Full text - pdf
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. Intuitionistic Predicate Logic with Decidable Propositional Formulas; 42, 2007, 153-169, (Abstract); Full text - pdf
1. Decidable formulas of intuitionistic primitive recursive
arithmetic, 36, 2002, 55-62, (Abstract)
1. (and J. Mendez, G. Robles) Anderson and Belnap's minimal
positive logic with minimal negation, 36, 2002, 117-130,
3. (and G.Robles, J.M.Mendez), Minimal negation in the ternary
relational semantics; 39, 2005, pp. 47-65; Abstract Full text - pdf
1. n x m Łukasiewicz algebras
with parameters; 40,
2006, 83
- 106; Full text - pdf
1. Formalizations for the Consequence Relation of Visser's
Propositional
Logic. 33, 1999,
(Abstract)
1. (and Manuel Abad, Luiz Monteiro, Julio Sewald and Marta Zander), Subalgebras of a finite monadic
Boolean Algebra; 40, 2006, pp.
199 - 206; Full text - pdf
(and Marcelo E. Coniglio) Some results on ordered structures
in toposes; 40, 2006, pp.
181 - 198; Full text - pdf
(and K.G. Niebergal), Finitism = PRA? On a Thesis of W. W. Tait; 39, 2005, pp.
3-24; Abstract Full text - pdf
1. Interpolation in S5 and Some Related Systems.
6, 1976, 107-110
2. Modalities in the Extensions of B.
10, 1978, 123-128
1. (and Manuel Abad, Luiz Monteiro, Sonia Savini and Marta Zander), Subalgebras of a finite monadic
Boolean Algebra; 40, 2006, pp.
199 - 206; Full text - pdf
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
(Abstract)
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, (Abstract);
1. Decompositions and Projections in Equivalential Algebras.
26, 1992, 11-24
2. Normal Retractions in Ordered Equivalential Algebras.
26, 1992, 75-87
3. Linear Equivalential Algebras. 29, 1995, 41-58
3. Finite algebras from Fregean varieties:
decomposition and polynomials. 34, 2000, 157-158.
4. Purely equivalential propositional formulas in the intermediate Godel-Dummett logic; 42, 2007, 87-100, (Abstract); Full text - pdf
(and Juan Climent Vidal) On
the completeness theorem of many-sorted equational logic and the equivalence
between Hall algebras and B�nabou theories; 40, 2006, pp.
127 - 158; Full text - pdf
(and Alexandre
A. M. Rodrigues , Ricardo C. Miranda Filho) Invariance
and Set-Theoretical Operations in First Order Structures; 40, 2006, pp.
207 - 213; Full text -
pdf
1. Asymptotic density as a method of expressing
titative relations in Intuitionistic Logic. 36, 2002, 71-94, (Abstract)
1. Some Properties of the Operation $d$.
3, 1974, 53-56
\medseip
STAHL, GEROLD
1. Character and Acceptability of Church's Thesis.
11, 1981, 63-67
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,
(Abstract)
1. On Free De Morgan Algebras Over a Poset.
25, 1991, 3-11
2. (and M. Abad, J. P. Diaz Varela, L. Rueda), Free three-valued Closure \L ukasiewicz Algebras; 42, 2007, 3-17, (Abstract); Full text - pdf
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; Full text - pdf
1. On a Theorem of Wajsberg.
1, 1973, 33-37
1.
Isomorphism Testing for Equivalence Relations.
30, 1996, 101-109
(Abstract)
1. Every free biresiduated lattice is semisimple; 37, 2003, 125-133, (Abstract) Full text - pdf
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, (Abstract) Full text - pdf
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. 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, Full text - pdf
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; Full text - pdf
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,
(Abstract)
2. (and J.G. RAFTERY)
Residuation in Commutative Ordered Monoids with Minimal Zero. 34, 2000, 23-58.
Corrigendum: Residuation in Commutative
Ordered Monoids with Minimal Zero; 39, 2005, pp. 133-135; Full
text - pdf
3. (and W.J. BLOK)
On the finite embeddability property for residuated lattices, pocrims and BCK-algebras.
34, 2000, 159-165.
1. (and M. Abad, M. Zander) Boolean algebras with a
distinguished automorphism; 37, 2003, 101-112, (Abstract) Full text - pdf
2. (and M. Abad, L. Rueda and A. M. Suardiaz), Free three-valued Closure \L ukasiewicz Algebras; 42, 2007, 3-17, (Abstract); Full text - pdf
1. Categorical Abstract Algebraic Logic: Full Models, Frege Systems and Metalogical Properties; 41, 2006, 31-62, Full text - pdf
2. Categorical Abstract Algebraic Logic: Strong Version of a Protoalgebraic pi-Institution; 42, 2007, 19-46, (Abstract); Full text - pdf
1. Strong Cut-elimination in Display Logic. 29, 1995, 117-131
(Abstract)
1. Uniform Compactness and Interpolation Theorems in
Sentential Logic.
5, 1975, 93-95
2. (with H. Leblanc and J. Paulos) Rules of Deduction and Truth
Tables.
8, 1977, 71-79
3. Equational Subsystems.
23, 1989, 25-29
4. Compactness in Equational Logic; 39, 2005, pp.
25-46; Abstract Full text - pdf
1. Some Generalizations of Makinson's Theorem on Structural
Completeness.
7, 1976, 107-110
2. Mutual Interpretability of Sentential Logics. Part I.
11, 1981, 69-89
3. Mutual Interpretability of Sentential Logics. Part II.
12, 1981, 51-66
4. Corrections to the Paper of T. Prucnal 'Structural
Completeness of Lewis' System S5'; Bulletin de l'Acadwmie
Polonaise des Sciences, 20 (1972), pp.101-103.
15, 1983, 67-70
5. Collapse of a Class of Infinite Disjunctions in Intuitionistic
Propositional Logic.
16, 1983, 37-49
6. A Proof of Herbrand's Theorem.
17, 1984, 13-17
7. An Example of a Finite Though Finitely
Non- axiomatizable Matrix.
17, 1984, 39-46
8. A Recursive Theory for the
$\\neg, \wedge, \vee, \ra, 0\$-Fragment of Intuitionistic Logic.
18, 1984, 3-35
9. (and A. Kolany) Restricted Versions of the Compactness Theorem.
25, 1991, 91-103
10. (and J. Kotas) Finite Distributive Lattices
as Sums of Boolean Algebras. 29, 1995, 35-40
(Abstract)
11. (and J. Grygiel)
The uniqueness of the decomposition of distributive lattices into sums
of Boolean lattices. 31, 1997, 93-102,
(Abstract)
12. (and A. Wronski) On the problem of R. E. Tax. 35, 2001, 87-101,
(Abstract)
13. On a problem of H. Friedman and its solution by T. Prucnal;
38, 2004, pp. 69-86; Full text - pdf
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
(Abstract)
15. Transparent Unification Problem. 29, 1995, 105-107
16. Semantic Normal Form. 34, 2000, 5-21
(Abstract)
17. (and P. Wojtylak) On the problem of R. E. Tax. 35, 2001, 87-101,
(Abstract)
18. On Prucnal's model-determinated logic and definable predicates; 38, 2004,
pp. 87-91; Full text - pdf
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; Abstract Full text - pdf
1. (and M. Abad, J. P. D. Varela) Boolean algebras with a
distinguished automorphism; 37, 2003, 101-112, (Abstract) Full text - pdf
2. (and Manuel Abad, Luiz Monteiro, Sonia Savini, Julio Sewald), Subalgebras of a finite monadic
Boolean Algebra; 40, 2006, pp.
199 - 206; Full text - pdf
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