default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReports on Mathematical Logic, Volume 29
Volume 29, 1995
- Aldo V. Figallo, Paolo Landini:
On Generalized I-Algebras and 4-valued Modal Algebras. 3-18 - Kazimierz Swirydowicz:
A Remark on the Maximal Extensions of the Relevant Logic R. Reports Math. Log. 29: 19-33 (1995) - Jerzy Kotas, Piotr Wojtylak:
Finite Distributive Lattices as Sums of Boolean Algebras. 35-40 - Katarzyna Slomczynska:
Linear Equivalential Algebras. Reports Math. Log. 29: 41-58 (1995) - Jerzy Hanusek:
Decidability of Finite Boolean Algebras with a Distinguished Subset Closed under some Operations. 59-79 - Katarzyna Idziak:
Quasivarieties of Equivalential Algebras. 81-85 - Tomasz Kowalski:
The Bottom of the Lattice of BCK-varieties. Reports Math. Log. 29: 87-93 (1995) - ERRATA to RML 28. Reports Math. Log. 29: 95-99 (1995)
- First German-Polish Workshop on Logic and Logical Philosophy. 101-104
- Andrzej Wronski:
Transparent Unification Problem. Reports Math. Log. 29: 105-107 (1995) - Tomasz F. Skura:
Some Aspects of Refutation Rules. 109-116 - Heinrich Wansing:
Strong Cut-elimination in Display Logic. 117-131 - Greg Restall:
Display Logic and Gaggle Theory. 133-146
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
