Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 53
Volume 53, Number 1, February 1994
- Antonio J. Rodríguez Salas, Antoni Torrens:
Wajsberg algebras and Post algebras. 1-20 - Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze:
P1 algebras. 21-28 - Giambattista Amati, Fiora Pirri:
A uniform tableau method for intuitionistic modal logics I. 29-60 - Claudio Cerrato:
Decidability by Filtrations for graded normal logics (graded modalities V). 61-74 - André Fuhrmann, Edwin D. Mares
:
On S. 75-92 - Tomasz Polacik:
Second order propositional operators over Cantor space. 93-106 - Robert K. Meyer, Hiroakira Ono:
The finite model property for BCK arid BCIW. 107-118 - Ryo Kashima:
Cut-free sequent calculi for some tense logics. 119-136 - Helena Rasiowa:
Axiomatization and completeness of uncountably valued approximation logic. 137-160
Volume 53, Number 2, May 1994
- Michael Freund, Daniel Lehmann:
Nonmonotonic reasoning: from finitary relations to infinitary inference operations. 161-202 - Vladimir V. Rybakov:
Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. 203-226 - Misao Nagayama:
On a property of BCK-identities. 227-234 - Frank Wolter:
What is the upper part of the lattice of bimodal logics? 235-242 - Fernando Guzmán:
A Gentzen system for conditional logic. 243-258 - Ming Xu:
Decidability of Stit theory with a single agent and Refref Equivalence. 259-298 - Valentin Goranko:
Refutation systems in modal logic. 299-324 - George Weaver:
Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems. 325-342 - Marek Tokarz:
Non-axiomatizability of Grice's implicature. 343-350
Volume 53, Number 3, August 1994
- Max A. Freund:
The relative consistency of system RRC* and some of its extensions. 351-360 - Katarzyna Palasinska:
Three-element nonfinitely axiomatizable matrices. 361-372 - Erik Aarts:
Proving theorems of the second order Lambek calculus in polynominal time. 373-388 - Sergio Galvan:
A note an the omega-incompleteness formalization. 389-396 - Yuichi Komori:
Syntactical investigations into BI logic and BB'I logic. 397-416 - Antonio Di Nola, Ada Lettieri:
Perfect MV-algebras are categorically equivalent to Abelian l-grups. 417-432 - Rajeev Goré:
Cut-free sequent and tableau systems for propositional Diodorean modal logics. 433-458
Volume 53, Number 4, November 1994
- Helena Rasiowa:
In Memoriam Cecylia Rauszer. 467-472 - Bjarni Jónsson:
On the canonicity of Sahlqvist identities. 473-492 - Klaus Denecke, Katarzyna Halkowska:
On P-compatible hybrid identities and hyperidentities. 493-502 - David Isles:
A finite analog to the Löwenheim-Skolem theorem. 503-532 - Newton C. A. da Costa, Décio Krause:
Schrödinger logics. 533-550 - Max P. Urchs:
On the logic of event-causation. Jaskowski-style systems causal logic. 551-578
a service of 
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-05-10 19:48 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:
