Back Issues By Year

Below, there are back issues of the Bulletin of the Section of Logic from the years 1972–2014. More recent issues, that is, those published after 2014, can be found here.

2010–2014

2014

Volume 43, Issue 1–2

Marcelo E. CONIGLIO and Martín FIGALLO, On a Four-Valued Modal Logic with Deductive Implication, pp. 1–17
(bibtex)
Sergey SUDOPLATOV, Models of Cubic Theories, 19–34
(bibtex)
Marcin ŁAZARZ and Krzysztof SIEMIEŃCZUK, New Characterization of Skeleton of Finite Distributive Lattice, pp. 35–41
(bibtex)
Grzegorz MALINOWSKI, Kleene Logic and Inference, pp. 43–52
(bibtex)
Tomasz JARMUŻEK and Bartosz Jerzy KACZKOWSKI, On Some Logic with a Relation Imposed on Formulae: Tableau System F, pp. 53–72
(bibtex)
Edward NIEZNAŃSKI, Modal Sense of the Classical Concepts of Reason for the Existence of Beings, pp. 73–97
(bibtex)
Alexej PYNKO, Minimal Sequent Calculi for Monotonic Chain Finitely-Valued Logics, pp. 99–112
(bibtex)
Mitio TAKANO, Semantics for Słupecki’s System of Syllogistic, pp. 113–119
(bibtex)

Volume 43, Issue 3–4

María MANZANO, Manuel A. MARTINS, and Antonia HUERTAS, A Semantics for Equational Hybrid Propositional Type Theory, pp. 121–138
(bibtex)
Andrzej INDRZEJCZAK, Contraction Contracted, pp. 139–153
(bibtex)
Kordula ŚWIĘTORZECKA, An Argument for the Existence of God by Bolzano. A Formalization with a Distinction between Menge and Inbegriff, pp. 155–172
(bibtex)
Janusz CIUCIURA, A Hierarchy of mbCⁿ-Systems, pp. 173–182
(bibtex)
Piotr KULICKI, A Note on the Adequacy of Jerzy Kalinowski's K₁ Logic, pp. 183–190
(bibtex)
Aldo V. FIGALLO, Elda PICK, and Susana SAAD, A Representation for Finite Hilbert Algebras, pp. 191–202
(bibtex)
Szymon FRANKOWSKI, About Simulating Polyadic Frames, pp. 203–214
(bibtex)

2013

Volume 42, Issue 1–2

M. Sambasiva RAO, Congruences and Ideals in a Distributive Lattice with Respect to a Derivation, pp. 1–10
(bibtex)
Morteza MONIRI and S. Hosein SAJJADI, Regular Cuts in Models of Bounded Arithmetic, pp. 11–20
(bibtex)
Josep Maria FONT, Atoms in a Lattice of Theories, pp. 21–31
(bibtex)
Grzegorz DYMEK and Anna KOZANECKA-DYMEK, Pseudo-BCI-Logic, pp. 33–41
(bibtex)
Krystyna MRUCZEK-NASIENIEWSKA and Marek NASIENIEWSKI, A Segerberg-Like Connection Between Certain Classes of Propositional Logics, pp. 43–52
(bibtex)
Marek NOWAK, On Some Application of the Concept of Residuated Pair of Mappings, pp. 53–67
(bibtex)
Lei-Bo WANG, Closure Extended Double Stone Algebras, pp. 69–81
(bibtex)
Marcin ŁAZARZ, Characterization of Medvedev’s Logic by Means of Kubiński’s Frames, pp. 83–90
(bibtex)

Volume 42, Issue 3–4

Yehuda SCHWARTZ and George TOURLAKIS, A Proof Theoretic Tool for First-Order Modal Logic, pp. 93–110
(bibtex)
Karel CHVALOVSKÝ, Note on D-Completeness and Prelinearity, pp. 111–118
(bibtex)
Verónica QUIROGA, An Alternative Definition of F-Structures for the Logic C₁, pp. 119–134
(bibtex)
Rafał GRUSZCZYŃSKI, Mereological Fusion as an Upper Bound, pp. 135–149
(bibtex)
Tomasz POŁACIK, Bisimulation Reducts and Submodels of Intuitionistic First-Order Kripke Models, pp. 151–159
(bibtex)
Lidia TYPAŃSKA, A Note on Post-Complete Extensions of a Logic of Values of A. Ivin, pp. 161–168
(bibtex)
Janusz CIUCIURA, Non-Adjunctive Discursive Logic, pp. 169–181
(bibtex)
Sławomir KOST, Countable Frames for Bimodal Logics S5⊗S5 and Grz.3⊗Grz.3, pp. 183–198
(bibtex)

2012

2011

2010

2000–2009

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1990–1999

1999

1998

1997

1996

1995

1994

1993

1992

1991

Volume 20, Issue 1

Branislav R. BORIČIĆ, Interpolation Theorem for Intuitionistic S4, pp. 2–6
(bibtex)
Paweł M. IDZIAK, Decision Problem for Finite Equivalential Algebras, pp. 7–9
(bibtex)
Wojciech SUCHOŃ, Counting Formulae of Propositional Calculus, pp. 10–13
(bibtex)
Ewa ORŁOWSKA, Post Relation Algebras, pp. 14–22
(bibtex)
Valentin GORANKO, Proving Unprovability in Some Normal Modal Logic, pp. 23–29
(bibtex)
C. JAHNS and Wolfgang RAUTENBERG, Correction to 'Common Logic of Binary Connectives Has Finite Maximality Degree', p. 30
(bibtex)

Volume 20, Issue 2

David MILLER, An Open Problem in Tarski's Calculus of Deductive Systems, pp. 36–43
(bibtex)
André FUHRMANN, Conditional Logics and Cumulative Logics, pp. 44–51
(bibtex)
Paulo A. S. VELOSO and Armando M. HAEBERER, A Finitary Relational Algebra for Classical First-Order Logic, pp. 52–62
(bibtex)
Ewa GRACZYŃSKA, An Undecidable Problem for Regular Equations, pp. 63–66
(bibtex)
Marcin MOSTOWSKI, Divisibility Quantifiers, pp. 67–70
(bibtex)

Volume 20, Issue 3–4

Mark A. BROWN, Operators on Branched Quantifiers, pp. 83–84
(bibtex)
Xavier CAICEDO, Hilbert ϵ-Symbol in the Presence of Generalized Quantifiers, pp. 85–87
(bibtex)
Xavier CAICEDO, Continuous Operations on Spaces of Structures, pp. 88–89
(bibtex)
Andrzej TRYBULEC, The Mizar Project, pp. 90–91
(bibtex)
Agata DARMOCHWAŁ, PC Mizar Presentation, pp. 92–93
(bibtex)
Albert G. DRAGALIN, The Collapse of the Descriptice Complexity of Truth Definitions of Heyting and Boolean Algebras, pp. 94–95
(bibtex)
Heinz-Dieter EBBINGHAUS, On Models with Automorphisms, p. 96
(bibtex)
Jörg FLUM, Some Problems in Topological Model Theory, p. 97
(bibtex)
Lauri HELLA and Kerkko LUOSTO, Finite Generation and n-ary Quantifiers, pp. 98–99
(bibtex)
Lauri HELLA and Gabriel SANDU, Generalized Quantifiers and Finite Models, pp. 100–101
(bibtex)
Heinrich HERRE, Decision Problem for Linear Orderings in Stationary Logics, pp. 102–104
(bibtex)
Taneli HUUSKONEN, Small Nonisomorphic Models Can Be Equivalent in Long Games, pp. 105–106
(bibtex)
Alexandre A. IVANOW, Some Remarks on Definable Quantifiers, p. 107
(bibtex)
Richard KAYE, Tannenbaum Phenomena for Bounded Existential Function, p. 108
(bibtex)
Roman KOSSAK, The ω₁-Like Recursively Saturated Models of Arithmetic, p. 109
(bibtex)
Michał KRYNICKI, Quantifiers Determined by Classes of Binary Relations, p. 110
(bibtex)
Wolfgang LENSKI, Decidability Results for Classes of Ordered Abelian Groups in Logics with Ramsey-Quantifiers, pp. 111–112
(bibtex)
Marcin MOSTOWSKI, Quantifiers Definable by Second Order Means, pp. 113–114
(bibtex)
Alexandre G. PINUS, Generalized Quantifiers in Algebra, p. 115
(bibtex)
Hans-Peter TUSCHIK, Quantification Over Lines, p. 116
(bibtex)
Marek M. ZAWADOWSKI, Pre-Ordered Quantifiers in Elementary Sentences of Natural Language, pp. 117–118
(bibtex)
Marek TOKARZ, Non-Axiomatizability of Grice's Implicature, pp. 119–123
(bibtex)
Josep M. FONT, Fernando GUZMÁN, and Ventura VERDÚ, Characterization of the Reduced Matrices for the {∧,∨}-Fragment of Classical Logic, pp. 124–128
(bibtex)
Timothy WILLIAMSON, A Relation Between Namesakes in Modal Logic, pp. 129–137
(bibtex)
Jacek MALINOWSKI, Quasivarieties of Modular Ortholattices, pp. 138–142
(bibtex)
Bogusław WOLNIEWICZ, A Sequel to Hawranek/Zygmunt, pp. 143–144
(bibtex)

1990

Volume 19, Issue 1

Piotr WOJTYLAK, A Syntactical Characterization of Structural Completeness for Implicational Logics, pp. 2–9
(bibtex)
Tomasz SKURA, A New Criterion of Decidability for Intermediate Logics, pp. 10–14
(bibtex)
José M. MÉNDEZ, Urquarth's C with Minimal Negation, pp. 15–20
(bibtex)
Alexander V. CHAGROV and Michael V. ZAKHARYASHCHEV, On Halldén-Completebess of Intermediate and Modal Logics, pp. 21–24
(bibtex)
Nicola GRANA, On a Minimal Non-Alethic Logic, pp. 25–29
(bibtex)
Konrad TURZYŃSKI, The Temporal Functors in the Directional Logic of Rogowski – Some Results, pp. 30–32
(bibtex)

Volume 19, Issue 2

Wolfgang RAUTENBERG, Common Logic of Binary Connectives Has Finite Maximality Degree (Preliminary Report), pp. 36–38
(bibtex)
Ewa ORŁOWSKA, Interpretation of Relevant Logics in a Logic of Ternary Relations, pp. 39–48
(bibtex)
Tadeusz PRUCNAL, A Note on Some Property of Purely Implicational Propositional Calculi, pp. 49–50
(bibtex)
Antonio J. RODRIGUEZ, Antonio TORRENS, and Ventura VERDÚ, Łukasiewicz Logic and Wajberg Algebras, pp. 51–55
(bibtex)
Marek PAŁASIŃSKI, The Answer to Dziobiak's Question, pp. 56–57
(bibtex)
Tadeusz PRUCNAL, Logics of Relational Systems, pp. 58–60
(bibtex)
Uwe SCHEFFLER, A System of Strict Entailment F^K with Conditionals, pp. 61–65
(bibtex)
Janusz CZELAKOWSKI, Relatively Connguence-Distributive Subquasivarieties of Filtral Varieties, pp. 66–70
(bibtex)

Volume 19, Issue 3

Tsutomu HOSOI and Katsumi SASAKI, Finite Logics and the Simple Substitution Property, pp. 74–78
(bibtex)
Dorota FIJAŁKOWSKA and Jan FIJAŁKOWSKI, On Theories of Non-Monotonic Consequence Operations II, pp. 79–83
(bibtex)
Branislav R. BORIČIĆ, Some Modifications of the Gödel Translation of Classical Intuitionistic Logic, pp. 84–86
(bibtex)
Dolph ULRICH, An Integer-Valued Matrix Characteristic for Implicational S5, pp. 87–91
(bibtex)
Piotr ŁUKOWSKI, Intuitionistic Sentential Calculus with Identity, pp. 92–99
(bibtex)
Robert K. MEYER, Peirced Clean Through, pp. 100–101
(bibtex)
Tomasz SKURA, On Pure Refutation Formulations of Sentential Logics, pp. 102–107
(bibtex)
Bogusław WOLNIEWICZ, A Question about Join-Semilattices, p. 108
(bibtex)

Volume 19, Issue 4

Achille C. VARZI, Complementary Sentential Logics, pp. 112–116
(bibtex)
Jacek HAWRANEK, A Topological Interpretation of Diagonalizable Algebras, pp. 117–121
(bibtex)
Ewa GRACZYŃSKA, On Some Operators on Pseudovarieties, pp. 122–127
(bibtex)
Jacek HAWRANEK and Jan ZYGMUNT, Comments on a Question of Wolniewicz, pp. 128–132
(bibtex)
Barbara KLUNDER, Topos Based Semantics for Constructive Logic with Strong Negation, pp. 133–138
(bibtex)
Barbara MAJCHER, The Quarrel Theorem. First Attempt to the Logic of Lie, pp. 139–146
(bibtex)
Piotr ŁUKOWSKI, Intuitionistic Sentential Calculus with Classical Identity, pp. 147–151
(bibtex)

1980–1989

1989

1988

1987

1986

1985

1984

1983

1982

1981

1980

Volume 9, Issue 1

Wiesław DZIOBIAK, A Variety by a Finite Algebra with 2^ℵ₀Subvarieties, pp. 2–9
(bibtex)
Allen HAZEN, Comments on the Logic of Constructible Falsity (Strong Negation), pp. 10–15
(bibtex)
Maria NOWAKOWSKA, Verbal Copies, pp. 16–22
(bibtex)
Maria NOWAKOWSKA, Structure of Concepts, pp. 23–29
(bibtex)
Robert K. MEYER and Steve GIAMBRONE, R₊ Is Contained in T₊, pp. 30–32
(bibtex)
Robert K. MEYER, Sentential Constants in Relevance Implication (Abstract), pp. 33–38
(bibtex)
Viktor FINN and Revas GRIGOLIA, Bochvar's Algebras and Corresponding Propositional Calculi, pp. 39–45
(bibtex)
George BOOLOS, Omega-Consistency and the Diamond (Abstract), p. 46
(bibtex)

Volume 9, Issue 2

Giovanni SAMBIN, A Simpler Proof of Sahlqvist's Theorem on Completeness of Modal Logics, pp. 50–56
(bibtex)
Bogusław WOLNIEWICZ, On the Verifiers of Disjunction, pp. 57–59
(bibtex)
Kazimiera DYRDA and Tadeusz PRUCNAL, On Finitely Based Consequence Determined by a Distributive Lattice, pp. 60–66
(bibtex)
Jacek HAWRANEK and Jan ZYGMUNT, A Theorem of the Degree of Complexity of Some Sentential Logics, pp. 67–70
(bibtex)
Jacek HAWRANEK, Some Examples Concerning Uniformity and Complexity of Sentential Logics, pp. 71–72
(bibtex)
George E. HUGHES, Modal Logics Between S4.2 and S4.3, pp. 73–77
(bibtex)
George E. HUGHES, Some Extensions of the Brouwerian Logic, pp. 78–84
(bibtex)
Marek PAŁASIŃSKI, Some Remarks on BCK-Algebras, pp. 85–87
(bibtex)
Janusz CZELAKOWSKI, Equivalential Logics (I), pp. 88–92
(bibtex)
Ryszard WÓJCICKI, More About Referential Matrices, pp. 93–95
(bibtex)

Volume 9, Issue 3

Jan BERNERT, The Strongly Adequate Matrices of the Form of Product of Lindenbaum's Matrices, pp. 102–107
(bibtex)
Janusz CZELAKOWSKI, Equivalential Logics (II), pp. 108–114
(bibtex)
Bogusław WOLNIEWICZ, On the Lattice of Elementary Situations, pp. 115–121
(bibtex)
Jacek HAWRANEK, A Matrix Adequate for S5 with MP and RN, pp. 122–124
(bibtex)
Janusz CZELAKOWSKI, A Remark on Free Products, pp. 125–130
(bibtex)
László CSIRMAZ, Remarks on Floyd-Hoare Derivability, pp. 131–135
(bibtex)
Wiesław DZIOBIAK, The Degrees of Maximality of the Intuitionistic Propositional Logic and of Some of Its Fragments, pp. 136–140
(bibtex)
Małgorzata BIELECKA-HOŁDA, Independent Basis for the Consequence Determined by Non-Degenerated Distributive Lattices, pp. 141–144
(bibtex)
Marek PAŁASIŃSKI, On Ideals in Directed Commutative BCK-Algebras, pp. 145–149
(bibtex)

Volume 9, Issue 4

Zdzisław DYWAN and Teodor STĘPIEŃ, Every Two-Valued Propositional Calculus Has the Interpolation Property, pp. 152–153
(bibtex)
Zdzisław DYWAN, Quasi-Strongly Finite Sentential Calculi, pp. 154–158
(bibtex)
Martin W. BUNDER, A Note on Quantified Significance Logics, pp. 159–162
(bibtex)
Marek PAŁASIŃSKI, An Example of the Commutative BCK-Algebra, pp. 163–165
(bibtex)
Marek PAŁASIŃSKI and Barbara WOŹNIAKOWSKA, Finitely Generated Ideals in Directed Commutative BCK-Algebra, pp. 166–169
(bibtex)
Piotr S. KRZYSTEK, Equivalential Fragment of the Infinite Valued Logic of Łukasiewicz and the Intermediate Logics, pp. 170–175
(bibtex)
Andrzej WROŃSKI, On Reducts of Intermediate Logics, pp. 176–179
(bibtex)
Jacek K. KABZIŃSKI, Towards the Source of the Notion of Implication, pp. 180–183
(bibtex)
Jacek K. KABZIŃSKI, What is the Equivalence Connective, pp. 184–188
(bibtex)
Michael A. MCROBBIE, Paul B. THISTLEWAITE, and Robert K. MEYER, A Mechanized Decision Procedure For Non-Classical Logics: The Program KRIPKE (Abstract), pp. 189–192
(bibtex)
Hajnal ANDRÉKA, Peter BURMEISTER, and István NÉMETI, Quasi Equational Logic of Partial Algebras, pp. 193–197
(bibtex)

1972–1979

1979

Volume 8, Issue 1

Janusz CZELAKOWSKI, A Remark on Countable Algebraic Models, pp. 2–6
(bibtex)
Janusz CZELAKOWSKI, A Purely Algebraic Proof of the Omitting Types Theorem, pp. 7–9
(bibtex)
Osamu SONOBE, A Note on S–R Lemma, pp. 10–13
(bibtex)
Bogusław WOLNIEWICZ, Some Formal Properties of Objectives, pp. 16–20
(bibtex)
Wolfgang RAUTENBERG, More About the Lattice of Tense Logic, pp. 21–26
(bibtex)
Martin TABAKOV, A Formal System without Well-Formed Formulas, pp. 27–29
(bibtex)
Małgorzata PORĘBSKA, On Implivalential Algebras, pp. 30–35
(bibtex)
Johan F. A. K. van BENTHEM, Minimal Deontic Logics (Abstract), pp. 36–42
(bibtex)

Volume 8, Issue 2

Wiesław DZIOBIAK, An Example Concerning the Lattice of the Structural Consequence Operations, pp. 48–53
(bibtex)
Wiesław DZIOBIAK and Wojciech SACHWANOWICZ, On Two Notions Concerning the Structural Sentential Calculi, pp. 54–60
(bibtex)
Zdzisław DYWAN, Finite Structural Axiomatization of Every Finite-Valued Propositional Calculus, pp. 61–67
(bibtex)
Andrzej WROŃSKI, A Three Element Matrix Whose Consequence Operation is Not Finitely Based, pp. 68–71
(bibtex)
Piotr WOJTYLAK, Matrix Representations for Structural Strenghtenings of a Propositional Logic, pp. 72–78
(bibtex)
Janusz CZELAKOWSKI, 'Large' Matrices Which Induce Finite Consequence Operations, pp. 79–82
(bibtex)
Janusz CZELAKOWSKI, A Characterization of Matr(C), pp. 83–86
(bibtex)
Wiesław DZIOBIAK, On Strongly Finite Consequence Operations, pp. 87–94
(bibtex)
Wiesław DZIOBIAK, An Example of Strongly Finite Consequence Operation with 2^ℵ₀ Standard Strenghtenings, pp. 95–98
(bibtex)
Piotr WOJTYLAK, Strongly Finite Logics: Finite Axiomatizability and the Problem of Supremum, pp. 99–111
(bibtex)
Jan ZYGMUNT, Entailment Relations and Matrices I, pp. 112–115
(bibtex)

Volume 8, Issue 3

Janusz CZELAKOWSKI, ω-Saturated Matrices, pp. 120–123
(bibtex)
Hajnal ANDRÉKA, István NÉMETI, and Ildikó SAIN, Program Verification Within and Without Logic, pp. 124–129
(bibtex)
Roman SUSZKO and Tamara WEINFELD, Filters and Natural Extensions of Closure, pp. 130–132
(bibtex)
Ayda I. ARRUDA and Elías H. ALVES, Some Remarks on the Logic of Vagueness, pp. 133–138
(bibtex)
Ayda I. ARRUDA and Elías H. ALVES, A Semantical Study of Some Systems of Vagueness Logic, pp. 139–144
(bibtex)
Hajnal ANDRÉKA and István NÉMETI, Not All Representable Cylindric Algebras Are Neat Reducts, pp. 145–147
(bibtex)
László CSIRMAZ, On Definability in Peano Arithmetic, pp. 148–153
(bibtex)
Maxwell J. CRESSWELL, B Seg Has the Finite Model Property, pp. 154–160
(bibtex)
Jacek K. KABZIŃSKI, Małgorzata PORĘBSKA, and Andrzej WROŃSKI, On {↔, ¬}-Reduct of the Intuitionistic Consequence Operation, pp. 161–165
(bibtex)

Volume 8, Issue 4

Ryszard WÓJCICKI, Referential Matrix Semantics for Propositional Calculi, pp. 170–176
(bibtex)
Martin W. BUNDER, Paraconsistent Combinatory Logic, pp. 177–181
(bibtex)
Jacek K. KABZIŃSKI, On Equivalential Fragment of the Three-Valued Logic of Łukasiewicz, pp. 182–187
(bibtex)
Marek PAŁASIŃSKI and Barbara WOŹNIAKOWSKA, On Congruence Lattices of Commutative BCK-Algebras, pp. 188–190
(bibtex)
David MILLER, Metric Postulates for Modular, Distributive, and Boolean Lattices, pp. 191–196
(bibtex)
Ewa CAPIŃSKA, On Intermediate Logics Which Can Be Axiomatized by Means of Implicationless Formulas, pp. 197–201
(bibtex)
Ewa CAPIŃSKA, On Standard Consequence Operations in the Implicationless Language, pp. 202–205
(bibtex)
Edit SÁNTA-TÓTH and Miklós SZÖTS, Colloquium on Logic in Programming, 10–15 September 1978, Salgótarján (Hungary), pp. 206–213
(bibtex)

1978

Volume 7, Issue 1

David MEREDITH, Are There Many-Valued Scotan Logics?, pp. 2–3
(bibtex)
Richard ROUTLEY, Lewis's Calculus of Ordinary Inference (as Amended 1920 and 1977), pp. 4–11
(bibtex)
David MILLER, On Probability Measures for Reductive Systems II, pp. 12–19
(bibtex)
Grzegorz MALINOWSKI, A Proof of Ryszard Wójcicki's Conjecture, pp. 20–25
(bibtex)
Giséle FISCHER SERVI, Semantics for a Class of Intuitionistic Modal Calculi, pp. 26–30
(bibtex)
Wolfgang RAUTENBERG, The Lattice of Ramified Modal and Tense Logic (Preliminary Report), pp. 31–33
(bibtex)
Chris MORTENSEN, A Theorem on Versimilitude, pp. 34–43
(bibtex)

Volume 7, Issue 2

David MILLER, On Probability Measures for Deductive Systems III, pp. 51–57
(bibtex)
Stanisław ZACHOROWSKI, Dummett's Logic Has the Interpolation Property, pp. 58–60
(bibtex)
Richard ROUTLEY, An Inadequacy in Kripke-Semantics for Intuitionistic Quantificational Logic, pp. 61–67
(bibtex)
Ewa ORŁOWSKA, Resolution System for ω⁺-Valued Logic, pp. 68–74
(bibtex)
Zdzisław DYWAN, Dual Counterparts of Strongly Finite Consequences, p. 75
(bibtex)
Mieczysław OMYŁA, Boolean Theories with Quantifiers, pp. 76–83
(bibtex)
Ayda I. ARRUDA, Newton C. A. da COSTA, Oswaldo P. PEREIRA, and Elías H. ALVES, First Briazilian Conference on Mathematical Logic, p. 84
(bibtex)
Elías H. ALVES and José de ALMEIDA MOURA, On Some Higher-Order Predicate Calculi, pp. 84–85
(bibtex)
Ayda I. ARRUDA, Some Remarks on Griss' Logic of Negationless Intuitionistic Mathematics, pp. 85–86
(bibtex)
Rolando CHUAQUI, Bernays' Class Theory, pp. 86–87
(bibtex)
Roberto CIGNOLI, Deductive Systems and Congruence in Ortholaticces, pp. 87–88
(bibtex)
Manuel CORRADA and Rolando CHUAQUI, Internal Models for Any Finite Subset of the Axioms of the Impredicative Theory of Classes, pp. 88–89
(bibtex)
Matias F. DIAS, The Reals in D^*, p. 89
(bibtex)
Manuel M. FIDEL, An Algebraic Study of a Propositional System of Nelson, pp. 89–90
(bibtex)
Marcel GUILLAUME, Some Remarks in Set Theory, p. 90
(bibtex)
Jerzy KOTAS and Newton C. A. da COSTA, On the Problem of Jaśkowski and the Logic of Łukasiewicz, p. 91
(bibtex)
Andréa LOPARIĆ, The Method of Valuations in Modal Logic, pp. 91–92
(bibtex)
Luis Henrique LOPES DOS SANTOS, Discussive Versions of the Modal Calculi T, B, S4 and S5, p. 92
(bibtex)
Carlos LUNGARZO, Superposition of States in Quantum Logic from a Set-Theoretical Point of View, p. 93
(bibtex)
Maria V. MARSHALL and Rolando CHUAQUI, Constructibility in the Impredicative Theory of Classes, pp. 93–94
(bibtex)
Luis Irene MIKENBERG, From Total to Partial Algebras, pp. 94–95
(bibtex)
Charles C. PINTER, Cylindric Algebras with a Property of Rasiowa and Sikorski, p. 95
(bibtex)
Andrés R. RAGGIO, A Proof-Theoretic Analysis of da Costa's C_ω^∗, p. 96
(bibtex)
Hanamantagouda P. SANKAPPANAVAR, Decision Problems: History and Methods, pp. 96–97
(bibtex)
Antonio M. SETTE and J. S. SETTE, Functorialization of First-Order Language with Finitely Many Predicates, p. 97
(bibtex)

Volume 7, Issue 3

Jerzy J. BŁASZCZUK, Weakest Normal Calculi with Respect to Mⁿ-Counterparts, pp. 102–106
(bibtex)
Krzysztof CIESIELSKI, Threshold Logic, pp. 107–114
(bibtex)
Hajnal ANDRÉKA and István NÉMETI, Completeness of Floyd Logic, pp. 115–120
(bibtex)
Marek TOKARZ, The Existence of Matrices Strongly Adequate for E, R and Their Fragments, pp. 121–127
(bibtex)
Jacek K. KABZIŃSKI, XXIVth Conference on the History of Logic, Cracow, April 28–30, 1978, p. 128
(bibtex)
Zdzisław DYWAN, Decidability of Structural Completeness For Strongly Finite Propositional Calculi, pp. 129–132
(bibtex)
Mirosław MAJEWSKI, On Some Matrix of the Birkhoff and V. Neumann Quantum Logic, pp. 133–136
(bibtex)
Tadeusz PRUCNAL, On Friedman's Problem in Mathematical Logic (Preliminary Report), pp. 137–142
(bibtex)
Bogusław WOLNIEWICZ, Objectives of Propositions, pp. 143–147
(bibtex)

Volume 7, Issue 4

Hajnal ANDRÉKA and István NÉMETI, On Universal Algebraic Logic and Cylindric Algebras, pp. 152–158
(bibtex)
Zbigniew STACHNIAK, Some Notes on Characteristic Consequence Operations, pp. 159–166
(bibtex)
Willem J. Blok, On the Degree of Incompleteness of Modal Logics (Abstract), pp. 167–175
(bibtex)
Barbara WOŹNIAKOWSKA, The Representation Theorem for the Algebras Determined by the Fragments of Infinite-Valued Logic of Łukasiewicz, pp. 176–178
(bibtex)
Elias H. ALVES, On Decidability of a System of Dialectical Propositional Logic, pp. 179–184
(bibtex)
Wiesław DZIOBIAK, A Note on Incompleteness of Modal Logics with Respect to Neighbourhood Semantics, pp. 185–190
(bibtex)
Carlos LUNGARZO, Topologies on Quantum Logics Induced by the Set of States, pp. 191–197
(bibtex)

1977

Volume 6, Issue 1

G. K. DARDŽANIÁ, Intuitionistic System without Contraction, pp. 2–8
(bibtex)
Slava MESKHI, Fuzzy Propositional Logic (An Algebraic Approach), pp. 9–14
(bibtex)
David MILLER, On Distance from the Truth as a True Distance, pp. 15–26
(bibtex)
Jacek HAWRANEK and Marek TOKARZ, Matrices for Predicate Logics, pp. 27–31
(bibtex)
Giséle FISCHER SERVI, On Modal Logics with an Intuitionistic Base (Abstract), pp. 32–34
(bibtex)
Ivan KRAMOSIL, A Classification of Inconsistent Theories, pp. 35–41
(bibtex)

Volume 6, Issue 2

Leo ESAKIA and Revas GRIGOLIA, The Criterion of Brouwerian and Closure Algebras to Be Finitely Generated, pp. 46–52
(bibtex)
David MILLER, New Axioms for Boolean Geometry, pp. 53–63
(bibtex)
Wojciech DZIK and Roman SUSZKO, On Distributivity of Closure Systems, pp. 64–66
(bibtex)
Marek TOKARZ, Deduction Theorems for RM and Its Extensions, pp. 67–69
(bibtex)
Göran SUNDHOLM, A Completeness Proof for an Infinitary Tense Logic, pp. 70–73
(bibtex)
Grzegorz MALINOWSKI, Degrees of Maximality of Łukasiewicz-Like Sentential Calculi, pp. 74–81
(bibtex)
Jerzy J. BŁASZCZUK, Remarks On Mⁿ-Counterparts of Some Normal Calculi, p. 92
(bibtex)

Volume 6, Issue 3

Andrzej WROŃSKI, On the Depth of a Consequence Operation, pp. 96–101
(bibtex)
Jacek K. KABZIŃSKI, An Axiomatization of the Variety of Equivalential Algebras by a Single Identity, pp. 102–106
(bibtex)
Steven K. THOMASON, Possible Worlds and Many Truth Values, pp. 107–111
(bibtex)
Willem J. BLOK, The Lattice of Modal Logics (Preliminary Report), pp. 112–115
(bibtex)
Piotr S. KRZYSTEK, On Free Relatively Pseudocomplemented Semilattice with Three Generators, pp. 116–122
(bibtex)

Volume 6, Issue 4

Roman SUSZKO, On Filters and Closure Systems, pp. 151–155
(bibtex)
George EPSTEIN, On the Equivalence of the Meskhi and Cignoli Conditions for P-Algebras with Involution, with Application to Łukasiewicz 3 and 4-Valued Logics, pp. 156–160
(bibtex)
Stanisław ZACHOROWSKI, Intermediate Logics without the Interpolation Property, pp. 161–163
(bibtex)
Frederic A. JOHNSON, A Natural Deduction Relevance Logic, pp. 164–170
(bibtex)
Mieczysław OMYŁA, Barcan Formulas in SCI with Quantifiers, pp. 171–176
(bibtex)
Andrzej WROŃSKI, A Method of Axiomatizing an Intersection of Propositional Logics, pp. 177–181
(bibtex)
Hiroakira ONO, On Some Intuitionistic Modal Logics, pp. 182–185
(bibtex)
Barbara WOŹNIAKOWSKA, Algebraic Proof of the Separation Theorem for the Infinite-Valued Logic of Łukasiewicz, pp. 186–189
(bibtex)
Marek TOKARZ, A Remark in Maximal Matrix Consequences, pp. 190–192
(bibtex)
Wolfgang RAUTENBERG, The Lattice of Normal Modal Logics (Preliminary Report), pp. 193–201
(bibtex)

1976

Volume 5, Issue 1

Bernd I. DAHN, Neighbourhood Semantics and Generalized Kripke Semantics, pp. 2–8
(bibtex)
Teresa ZAKRZEWSKA, Some Remarks on Three-Valued Implicative Sentential Calculi, pp. 9–12
(bibtex)
Wiesława ŻANDAROWSKA, The Modal System S₃ and SCI, pp. 13–15
(bibtex)
Rolf SCHOCK, Complete Systems of Indexical Logic, pp. 16–19
(bibtex)
Wiesław DZIOBIAK, Classically Axiomatizable Modal Propositional Calculi Containing the System T of Feys Von–Wright, pp. 20–24
(bibtex)
Jerzy CZAJSNER, Characterization of Finitely Axiomatizable Sets on the Basis of a System of the Propositional Calculus, pp. 25–28
(bibtex)
Marian MADUCH, On Lindenbaum's Algebras of Finite Implicational Łukasiewicz's Logics, pp. 29–32
(bibtex)
Wojciech BUSZKOWSKI, Undecidability of Some Logical Extensions of Ajdukiewicz–Lambek Calculus, pp. 33–37
(bibtex)

Volume 5, Issue 2

Wojciech ZIELONKA, On the Equivalence of Ajdukiewicz–Lambek Calculus and Simple Phrase Structure Grammars, pp. 44–49
(bibtex)
Marek TOKARZ, A Strongly Finite Logic with Infinite Degree of Maximality, pp. 50–53
(bibtex)
Marek TOKARZ, Definitions by Context in Propositional Logics, pp. 54–56
(bibtex)
Andrzej BIELA and Pior HALLALA, Studies on Church's Calculus, pp. 57–62
(bibtex)
Wiesław DZIOBIAK, Semantics of Kripke's Style for Some Modal Systems, pp. 63–67
(bibtex)
Andrzej BIELA, On Lindenbaum's Extensions (Part C), pp. 68–79
(bibtex)

Volume 5, Issue 3

Wacława KIELAK, ENE-Logic, pp. 84–86
(bibtex)
David MILLER, On Probability Measures for Deductive Systems I, pp. 87–96
(bibtex)
Leon GUMAŃSKI, An Improvement of the Deontic Calculus DSC, pp. 97–102
(bibtex)
Wolfgang RAUTENBERG, Some Properties of the Hierarchy of Modal Logics (Preliminary Report), pp. 103–105
(bibtex)
Andrzej WROŃSKI, On Finitely Based Consequence Operations, pp. 106–114
(bibtex)
Andrzej WROŃSKI, The Number of Quasivarieties of Distributive Lattices with Pseudocomplementation, pp. 115–121
(bibtex)

Volume 5, Issue 4

Andrzej WROŃSKI, Remarks on Hallden Completeness of Modal and Intermediate Logics, pp. 126–129
(bibtex)
Andrzej WROŃSKI, The Number of Isomorphism Types of Subdirectly Indecomposable Pseudo-Boolean Algebras, pp. 130–132
(bibtex)
Robert K. MEYER, Relevant Arithmetic (Abstract), pp. 133–137
(bibtex)
Robert K. MEYER, Ackermann, Takeuti, and Schnitt for Higher-Order Relevant Logic (Abstract), pp. 138–144
(bibtex)
Piotr WOJTYLAK, A New Proof of Structural Completeness of Łukasiewicz's Logics, pp. 145–152
(bibtex)
Piotr WOJTYLAK, On Structural Completeness of the Infinite-Valued Łukasiewicz's Propositional Calculus, pp. 153–157
(bibtex)

1975

Volume 4, Issue 1

Ryszard WÓJCICKI, A Theorem on Strongly Finite Propositional Calculi, pp. 2–8
(bibtex)
Stephen L. BLOOM and Roman SUSZKO, Ultraproducts of SCI Models, pp. 9–14
(bibtex)
Marek TOKARZ, Functions Definable in Some Fragments of Sugihara Algebras, pp. 15–18
(bibtex)
Ryszard WÓJCICKI, A Theorem on the Finiteness of the Degree of Maximality of the n-Valued Łukasiewicz Logic, pp. 19–25
(bibtex)
Grzegorz MALINOWSKI, Matrix Representation for the Dual Counterparts of Łukasiewicz n-Valued Sentential Calculi and the Problem of Their Degrees of Maximality, pp. 26–32
(bibtex)
Tomasz FURMANOWSKI, Remarks on Discussive Propositional Calculus, pp. 33–37
(bibtex)

Volume 4, Issue 2

Jerzy PERZANOWSKI, On Homogenous Fragments of Normal Modal Propositional Logics, pp. 44–51
(bibtex)
Stephen L. BLOOM, A Representation Theorem for the Lattice of Standard Consequence Operations, pp. 52–56
(bibtex)
Jerzy J. BŁASZCZUK and Wiesław DZIOBIAK, Remarks On Perzanowski's Modal System, pp. 57–64
(bibtex)
Andrzej BIELA, On Lindenbaum's Extensions (Part B.), pp. 65–71
(bibtex)
Tadeusz PRUCNAL, Structural Completeness and the Disjunction Property of Intermediate Logics, pp. 72–73
(bibtex)
Leon GUMAŃSKI, A Deontic Sentential Calculus Without Certain Paradoxes of the Standard System, pp. 74–77
(bibtex)
Daniel R. VANDERVEKEN, An Extension of Leśniewski-Curry's Formal Theory of Syntactical Categories Adequate for the Categorically Open Functors, pp. 78–79
(bibtex)

Volume 4, Issue 3

Roman SUSZKO, Remarks on Łukasiewicz's Three-Valued Logic, pp. 87–90
(bibtex)
George EPSTEIN, Purposive Naming in Mathematics, pp. 91–94
(bibtex)
Leo ESAKIA and Revaz GRIGOLIA, Christmas Trees. On Free Cyclic Algebras in Some Varieties of Closure Algebras, pp. 95–102
(bibtex)
Jerzy J. BŁASZCZUK and Wiesław DZIOBIAK, Modal Systems Related to S4_n of Sobociński, pp. 103–108
(bibtex)
Cecylia RAUSZER and Bogdan SABALSKI, Notes on the Rasiowa–Sikorski Lemma, pp. 109–114
(bibtex)
Stanisław ZACHOROWSKI, A Proof of a Conjecture of R. Suszko, pp. 115–118
(bibtex)
Memed ROGAVA, Cut Elimination in SCI, pp. 119–124
(bibtex)
George EPSTEIN, Some Notes from the Fifth Annual International Symposium on Multiple-Valued Logic at Indiana University, pp. 125–127
(bibtex)

Volume 4, Issue 4

Marek TOKARZ, Definability Criterion for Functions in Sugihara Algebras, pp. 134–135
(bibtex)
Roman SUSZKO, A Note on the Least Boolean Theory in SCI, pp. 136–137
(bibtex)
Jerzy J. BŁASZCZUK and Wiesław DZIOBIAK, Modal Systems Placed in the "Triangle" S4 − T₁^∗ − T, pp. 138–142
(bibtex)
Ewa GRACZYŃSKA and Andrzej WROŃSKI, On Normal Agassiz Systems of Algebras, pp. 143–149
(bibtex)
Ewa GRACZYŃSKA and Andrzej WROŃSKI, On Weak Agassiz Systems of Algebras, pp. 150–153
(bibtex)
Katarzyna HAŁKOWSKA, On Algebra Connected with Notion of Satisfiability in Theories with Conditional Definitions, pp. 154–162
(bibtex)
Maciej SPASOWSKI, The Degrees of Completeness of Dual Counterparts of Łukasiewicz Sentential Calculi, pp. 163–170
(bibtex)

1974

Volume 3, Issue 1

Bernd DAHN, Generalized Kripke Models, pp. 3–7
(bibtex)
Bernd DAHN, A Note on Generalized Kripke Models, pp. 8–12
(bibtex)
Aileen MICHAELS and Roman SUSZKO, EN – Logic, p. 13
(bibtex)
Aileen MICHAELS, EN – Semi-Models, pp. 14–15
(bibtex)
Robert QUACKENBUSH and Roman SUSZKO, Dual Spaces for Topological Boolen Algebras, pp. 16–19
(bibtex)
Roman SUSZKO, A Note on Intuitionistic Sentential Calculus (ISC), pp. 20–21
(bibtex)
Marek TOKARZ, Binary Functions Definable in Implicational Gödel Algebras, pp. 22–24
(bibtex)
August PIECZKOWSKI, User dem Hegriff der Theorie, pp. 25–29
(bibtex)
Tadeusz PRUCNALand Andrzej WROŃSKI, An Algebraic Characterization of the Notion of Structural Completeness, pp. 30–33
(bibtex)
Andrzej WROŃSKI, On Cardinality of Matrices Strongly Adequate for the Intuitionistic Propositional Logic, pp. 34–40
(bibtex)
George EPSTEIN and Alfred HORN, Propositional Calculi Based on Subresiduation, pp. 41–42
(bibtex)
George EPSTEIN and Alfred HORN, Finite Limitations on a Propositional Calculus for Affirmation and Negation, pp. 43–44
(bibtex)
Janusz CZELAKOWSKI, Partial Boolean σ-Algebras, pp. 45–50
(bibtex)

Volume 3, Issue 2

Roman SUSZKO, Some Notions and Theorems of McKinsey and Tarski and SCI, pp. 3–5
(bibtex)
Stanisław J. SURMA, Andrzej WROŃSKI, and Stanisław ZACHOROWSKI, On Jaśkowski-Type Semantics for the Intuitionistic Propositional Logic, pp. 6–10
(bibtex)
Andrzej WROŃSKI, On Equivalential Fragments of Some Intermediate Logics, pp. 11–14
(bibtex)
Ewa GRACZYŃSKA and Andrzej WROŃSKI, On the Construction of Matrices Strongly Adequate for Pre-Finite Logic, pp. 15–18
(bibtex)
Małgorzata T. PORĘBSKA and Andrzej WROŃSKI, A Characterization of Fragments of the Intuitionistic Propositional Logic, pp. 19–20
(bibtex)
Marek TOKARZ, A Method of Axiomatization of Łukasiewicz Logics, pp. 21–24
(bibtex)
Grzegorz MALINOWSKI, S – Algebras for n-Valued Sentential Calculi of Łukasiewicz, pp. 25–30
(bibtex)
Janusz CZELAKOWSKI, Logics Based on Partial Boolean σ-Algebras, pp. 31–37
(bibtex)
Paweł BIELAK, A Note on Weak Functional Completeness, pp. 38–40
(bibtex)
Ryszard WÓJCICKI, Degree of Maximality Versus Degree of Completeness, pp. 41–43
(bibtex)

Volume 3, Issue 3–4

Andrzej BIELA, On Lindenbaum's Extensions (Part A.), pp. 2–8
(bibtex)
Wojciech SUCHOŃ, Matrix Łukasiewicz Algebras, pp. 9–16
(bibtex)
Cecylia RAUSZER and Bogdan SABALSKI, Representation Theorem for Distributive Pseudo-Boolean Algebra, pp. 17–23
(bibtex)
Paweł BIELAK, On Functions Definable in Implicational Algebras, pp. 24–26
(bibtex)
Grzegorz MALINOWSKI, Degrees of Maximality of Some Łukasiewicz Logics, pp. 27–33
(bibtex)
Janusz CZELAKOWSKI, The Identity Relation and Partial Boolean Algebras, pp. 34–36
(bibtex)
Janusz CZELAKOWSKI, Correction to My Note "Partial Boolean σ-Algebras", pp. 37–39
(bibtex)

1973

Volume 2, Issue 1

Viktor K. FINN, A Criterion of Functional Completeness for B³, pp. 3–7
(bibtex)
Peter GEACH, On Certain Modal Systems Connected with S4:3, pp. 8–11
(bibtex)
Jerzy KOTAS, The Axiomatization of S. Jaśkowski's Discussive System, pp. 12–17
(bibtex)
Larisa MAKSIMOWA, A Semantics for the Calculus E of Entailment, pp. 18–21
(bibtex)
Krystyna PIRÓG-RZEPECKA, A Predicate Calculus with Formulas Which Lose Sense and the Corresponding Propositional Calculus, pp. 22–29
(bibtex)
Zygmunt SALONI, The Sequent Gentzen System for m-Valued Logic, pp. 30–37
(bibtex)
Vladimir A. SMIRNOV, An Absolute First Order Predicate Calculus, pp. 38–45
(bibtex)
Maciej SPASOWSKI, Some Connections between Cn, Cn^-1 and dCn, pp. 46–50
(bibtex)
Marek TOKARZ, On Mutual Non-Reconstructability of the Łukasiewicz Calculi and Their Dual Counterparts, pp. 51–53
(bibtex)
Ryszard WÓJCICKI, Dual Counterparts of Consequence Operations, pp. 54–57
(bibtex)
Andrzej WROŃSKI, Remarks on Intermediate Logics with Axioms Containing Only One Variable, pp. 58–64
(bibtex)
Andrzej WROŃSKI, On the Degree of Completeness of Positive Logic, pp. 65–70
(bibtex)

Volume 2, Issue 2

Stanisław SURMA, The Conference on the Scientific Achievement of Mordechaj Wajsberg, pp. 87–90
(bibtex)
Stanisław SURMA, Mordechaj Wajsberg. Life and Works, pp. 91–96
(bibtex)
Ewa ŻARNECKA-BIAŁY, Wajsberg's Algorithm for Axiomatization of the Classical Propositional Calculus, pp. 97–102
(bibtex)
Teodor STĘPIEŃ, A Survey on Minor Wajsberg's Results Concerning Fragmentary Systems of the Classical Propositional Calculus (on the basis of Wajsberg's papers [3], [10], [11]), pp. 103–106
(bibtex)
Jan WOLEŃSKI, Wajsberg on the First-Order Predicate Calculus for the Finite Models (on the basis of Wajsberg's work [4]), pp. 107–111
(bibtex)
Stanisław ZACHOROWSKI, Wajsberg's Semantics for the System S5 of Lewis (on the basis of Wajsberg's work [5]), pp. 112–117
(bibtex)
Władysław SZCZĘCH, Axiomatizability of Finite Matrices (on the basis of Wajsberg's work [7]), pp. 118–120
(bibtex)
Wojciech SUCHOŃ, Application of the Theory of Logical Matrices in the Independence Proofs (on the basis of M. Wajsberg's work [8]), pp. 121–126
(bibtex)
Jacek K. KABZIŃSKI, On Problems of Definability of Propositional Connectives (on the basis of Wajsberg's paper [9]), pp. 127–130
(bibtex)
Jacek K. KABZIŃSKI, The Wajsberg's Results Connected with Separability of the Intuitionistic Propositional Logic (on the basis of Wajsberg's paper [9]), pp. 131–133
(bibtex)
Paweł BIELAK, The Degree of Completeness of Gödel's Logic, pp. 134–138
(bibtex)
Stanisław SURMA, A Method of the Construction of Łukasiewiczian Algebras and its Application to Gentzen-Style Characterization of Łukasiewiczian Logics, pp. 139–143
(bibtex)
Czesław WOJTKIEWICZ, Axiomatization of Finite N-Algebras by the Method of T. Hosoi, pp. 144–148
(bibtex)
Andrzej WROŃSKI, The Degree of Completeness of Some Fragments of the Intuitionistic Propositional Logic, pp. 149–155
(bibtex)

Volume 2, Issue 3

Stephen L. BLOOM, A Theorem on Well-Finite Standard Consequence Operations, pp. 159–165
(bibtex)
Janusz CZELAKOWSKI, Some Remarks on Transitive Partial Boolean Algebras, pp. 166–174
(bibtex)
Janusz CZELAKOWSKI, Another Approach to Partial Boolean Algebras, pp. 175–177
(bibtex)
Janusz CZELAKOWSKI, On Imbedding of Partial Boolean Algebras into Boolean Algebras, pp. 178–181
(bibtex)
Janusz CZELAKOWSKI, A Local Property of Imbeddings for Partial Boolean Algebras, pp. 182–184
(bibtex)
Grzegorz MALINOWSKI, MV_k Algebras, pp. 185–191
(bibtex)
Bogdan SABALSKI, Some Remarks about Continuous Boolean Algebras, pp. 192–194
(bibtex)
Wojciech SUCHOŃ, On Defining Moisil's Functors in n-Valued Łukasiewicz Propositional Logic, pp. 195–196
(bibtex)
Ryszard WAWRZYŃCZAK, Some Boolean Theories in SCI, pp. 197–204
(bibtex)

1972

Volume 1, Issue 1

Nguyen CAT HO, Generalized Algebras of Post and Their Applications to Many-Valued Logics with Infinitely Long Formulas, pp. 4–12
(bibtex)
Jerzy KOTAS, Logical Systems with Implication and Theories of Quasi-Implicative Algebras, 13–22
(bibtex)
Tadeusz KUBIŃSKI, On Logic of Deeds, pp. 23–31
(bibtex)
Jerzy SŁUPECKI and Grzegorz BRYLL, The Proof of Ł-Decidability of Lewis' System S5, pp. 32–34
(bibtex)
Wojciech SUCHOŃ, On Non Equivalence of Two Definitions of The Algebras of Łukasiewicz, pp. 35–37
(bibtex)
Andrzej WROŃSKI, An Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics, pp. 38–44
(bibtex)
Stanisław J. SURMA, The Deduction Theorems Valid in Certain Fragments of the Lewis' System S2 and the System of Feys-Von Wright, pp. 45–52
(bibtex)
Stanisław J. SURMA, A Uniform Method of Proof of the Completeness Theorem for the Equivalential Propositional Calculus and for Some of its Extensions, pp. 53–62
(bibtex)
Marek TOKARZ, On Invariant Systems and Structural Completeness of Łukasiewicz's Logics, pp. 63–68
(bibtex)
Ryszard WÓJCICKI, Some Properties of Strongly Finite Propositional Calculi, pp. 69–71
(bibtex)

W czym możemy Ci pomóc?