Skip to main content

ResearchHubLoading navigation…

Loading ResearchHub…

Explore the network

Research, people, journals and institutions — all in one place.

Explore

01Research 02Smart search 03Researchers 04Journals 05Institutions 06RHR Rankings 07ResearchHub platform 08Events

Work together

Turn ideas into projects, questions and reusable datasets.

Connect

01Projects 02Questions 03Datasets

Stay informed

Follow trends, opportunities and your research library.

Insights

01Research trends 02Opportunities 03Library 04Research services 05ResearchHub Pro 06Pricing

ResearchHub

Explore ResearchHub.

Personal

01Recommended research 02Research intelligence

Home Search Network Library Log in

ResearchHub

Research, connected

Explore the graph

X

Download ResearchHub

GET IT ONGoogle PlayComing soonDownload on theApp StoreComing soonEXPLORE IT ONAppGalleryComing soon

Research

Research Researchers Journals Institutions RHR Rankings

Contribute

Projects Questions Datasets Opportunities

Platform

ResearchHub platform About Blog Community Help API Licensing

Shopping

Contact and support

Need help, have a question, or want to contact the ResearchHub team?

Contact and support support@aresearch.uk

© 2026 ResearchHub. Built for responsible scholarly connection.

Help Article feed Privacy Terms Cookies This work is licensed under Creative Commons Attribution 4.0 InternationalCC BY 4.0

Privacy-aware community infrastructure

Studia Logica - ResearchHub

Journal

Studia Logica

0039-3215 · Springer Science and Business Media LLC

103 verified public works

Browse all journals →

Axiomatizations with Context Rules of Inference in Modal Logic

1998 · 0 citations

Curry-Howard Terms for Linear Logic

1998 · 0 citations

Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication

1998 · 0 citations

A Very Strong Set Theory?

1998 · 0 citations

On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics

1998 · 0 citations

On Proof Terms and Embeddings of Classical Substructural Logics

1998 · 0 citations

On Finitely-Valued Inference Systems

1998 · 0 citations

An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit

1998 · 0 citations

Finitely Generated Free MV-algebras and Their Automorphism Groups

1998 · 0 citations

The Writing of the MV-algebras

1998 · 0 citations

GL-Quantales: Q-Valued Sets and Their Singletons

1998 · 0 citations

Foreword

1998 · 0 citations

Commodious Axiomatization of Quantifiers in Multiple-Valued Logic

1998 · 0 citations

Labeled Calculi and Finite-Valued Logics

1998 · 0 citations

Embedding Logics into Product Logic

1998 · 0 citations

Quasivarieties Generated by Simple MV-algebras

1998 · 0 citations

Characterizations of Negative Definability in Modal Logic

1998 · 0 citations

Modal Deduction in Second-Order Logic and Set Theory - II

1998 · 0 citations

Books Received: Jürgen Mittelstrass, Enzyklopädie Philosophie und Wissenschaftstheorie

1998 · 0 citations

Saharon Shelah, Cardinal Arithmetic

1998 · 0 citations

Connections Between BCK-algebras and Difference Posetse

1998 · 0 citations

Preservation Theorems Without Continuum Hypothesis

1998 · 0 citations

Classifying ℵo-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories

1998 · 0 citations

Elementary Extensions of External Classes in a Nonstandard Universe

1998 · 0 citations

Program Constructions that are Safe for Bisimulation

1998 · 0 citations

On the Logic of Acceptance and Rejection

1998 · 0 citations

Many-Valued Logics and Suszko's Thesis Revisited

1998 · 0 citations

Natural Deduction for Non-Classical Logics

1998 · 0 citations

Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic

1998 · 0 citations

Linear Lambda-Terms and Natural Deduction

1998 · 0 citations

PreviousPage 2 of 4Next