default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 54
Volume 54, Number 1, January 1995
- Ewa Orlowska
, Andrzej Skowron:
In Memoriam Helena Rasiowa. 1-2 - Yde Venema:
Meeting strength in substructural logics. 3-32 - Newton C. A. da Costa, Francisco A. Doria:
On Jaskowski's discussive logic. 33-60 - Maarten de Rijke, Yde Venema:
Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras. 61-78 - Dmitrij P. Skvortsov:
On the predicate logic of finite Kripke frames. 79-88 - Alexej P. Pynko:
Algebraic study of sette's maximal paraconsistent logic. 89-128
Volume 54, Number 2, March 1995
- Joanna Grygiel:
Freely generated filters in free Boolean algebras. 139-147 - Andreja Prijatelj:
Connectification for n-contraction. 149-171 - Nobu-Yuki Suzuki:
Constructing a continuum of predicate extensions of each intermediate propositional logic. 173-198 - David J. Pym:
A note on the proof theory of the lambda-II-calculus. 199-230 - Max P. Urchs:
Discursive logic. Towards a logic of rational discourse. 231-249
Volume 54, Number 3, May 1995
- Ming Xu:
Busy choice sequences, refraining formulas and modalities. 267-301 - George Epstein, Helena Rasiowa:
A partially ordered extention of the integers. 303-332 - Hilary A. Priestley:
Natural dualities for varieties of n-valued Lukasiewicz algebras. 333-370 - M. E. Adams, Wieslaw Dziobiak:
Joins of minimal quasivarieties. 371-389 - Marek Nowak, Daniel Vanderveken:
A complete minimal logic of the propositional contents of thought. 391-410
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 2025-04-03 00:04 CEST 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:
