Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 52
Volume 52, Number 1, February 1993
- Josep Maria Font, Ventura Verdú:
The lattice of distributive closure operators over an algebra. 1-14 - Tsutomu Hosoi, Isao Masuda:
A study of intermediate propositional logics on the thrid slice. 15-22 - Tatsuya Shimura:
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas. 23-40 - Katsumi Sasaki:
The simple substitution property of the intermediate propositional logics on finite slices. 41-62 - Wolfgang Rautenberg:
On reduced matrices. 63-72 - Nobu-Yuki Suzuki:
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics. 73-94 - Sergiu Rudeanu:
On Lukasiewicz-Moisil algebras of fuzzy sets. 95-112 - Richard B. White:
A consistent theory of attributes in a logic without contraction. 113-142 - Vladimir L. Vasyukov
:
The completeness of the factor semantics for Lukasiewicz's infinite-valued logics. 143-168
Volume 52, Number 2, May 1993
- Charles G. Morgan:
Introduction. 181 - Gordon Beavers:
Automated theorem proving for Lukasiewicz logics. 183-196 - Ricardo Caferra, Stéphane Demri, Michel Herment:
A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics. 197-232 - Ian P. Gent:
Theory matrices (for modal logics) Using alphabetical monotonicity. 233-258 - Yue Jun Jiang:
A intensional epistemic logic. 259-280 - Arthur Buchsbaum, Tarcisio H. C. Pequeno:
A reasoning method for a paraconsistent logic. 281-290 - Francis Jeffry Pelletier:
Identity in modal logic theorem proving. 291-308 - Zbigniew Stachniak:
An essay on resolution logics. 309-322 - André Vellino:
The relative complexity of analytic tableaux and SL-resolution. 323-338
Volume 52, Number 3, August 1993
- David Makinson:
Five faces of minimality. 339-380 - Greg Restall:
How to be really contraction free. 381-392 - Adam Kolany:
Satisfiability on hypergraphs. 393-404 - Dietmar Schweigert:
Hybrid terms and sentences. 405-418 - Gianpiero Cattaneo, Maria Luisa Dalla Chiara, Roberto Giuntini:
Fuzzy intuitionistic quantum logics. 419-442 - John K. Slaney:
Sentential constants in systems near R. 443-456 - Michael Freund:
Supracompact inference operations. 457-482
Volume 52, Number 4, November 1993
- Bernhard Lauth:
Inductive inference in the limit for first-order sentences. 491-518 - Wolfgang Balzer, Bernhard Lauth, Gerhard Zoubek:
A model for science kinematics. 519-548 - Paolo Gentilini:
Syntactical results on the arithmetical completeness of modal logic. 549-564 - Ross T. Brady:
Rules in relevant logic-II: formula representation. 565-586 - Dev Kumar Roy:
Recursive versus recursively enumerable binary relations. 587-594 - Gonzalo E. Reyes, Marek W. Zawadowski:
Formal systems for modal operators on locales. 595-614
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-04-25 20:50 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:
