default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 61
Volume 61, Number 1, July 1998
- C. C. Chang:
The Writing of the MV-algebras. 3-6 - Matthias Baaz, Christian G. Fermüller, Gernot Salzer
, Richard Zach:
Labeled Calculi and Finite-Valued Logics. 7-33 - Matthias Baaz, Petr Hájek, David Svejda, Jan Krajícek:
Embedding Logics into Product Logic. 35-47 - Roberto Cignoli, Daniele Mundici:
An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit. 49-64 - Antonio Di Nola, Revaz Grigolia, Giovanni Panti:
Finitely Generated Free MV-algebras and Their Automorphism Groups. 65-78 - Joan Gispert, Antoni Torrens:
Quasivarieties Generated by Simple MV-algebras. 79-99 - Reiner Hähnle:
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. 101-121 - Ulrich Höhle:
GL-Quantales: Q-Valued Sets and Their Singletons. 123-148 - Zbigniew Stachniak:
On Finitely-Valued Inference Systems. 149-169
Volume 61, Number 2, September 1998
- Andrzej Kisielewicz:
A Very Strong Set Theory? 171-178 - Valentin Goranko:
Axiomatizations with Context Rules of Inference in Modal Logic. 179-197 - Ken-etsu Fujita:
On Proof Terms and Embeddings of Classical Substructural Logics. 199-221 - Frank A. Bäuerle, David W. Albrecht, John N. Crossley, John S. Jeavons:
Curry-Howard Terms for Linear Logic. 223-235 - Dov M. Gabbay, Nicola Olivetti:
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. 237-280 - Dmitrij P. Skvortsov:
On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics. 281-292
Volume 61, Number 3, November 1998
- Judit X. Madarász:
Interpolation and Amalgamation; Pushing the Limits - Part I. 311-345 - Tatjana L. Plotkin, Sarit Kraus, Boris I. Plotkin:
Problems of Equivalence, Categoricity of Axioms and States Description in Databases. 347-366 - Guram Bezhanishvili:
Varieties of Monadic Heyting Algebras - Part I. 367-402 - Rainer Kerth:
Isomorphism and Equational Equivalence of Continuous [lambda]-Models. 403-415 - Daniel Dzierzgowski:
Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality. 417-428
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-12-10 20:35 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:
