Some Results on the Intermediate Logics

Publications of the Research Institute for Mathematical Sciences - Switzerland
doi 10.2977/prims/1195193228
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

European Mathematical Society Publishing House

Related search

On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Some Classes of Ring-Logics

Pacific Journal of Mathematics
Mathematics
1966English

Parallel Dialogue Games and Hypersequents for Intermediate Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Decision Procedures for Some Strong Hybrid Logics

Logic and Logical Philosophy
Philosophy
2013English

Some Results on Pseudosquares

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
1996English

Some Results on Metric Trees

Banach Center Publications
2010English

Some Results on the Length of Proofs

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1973English

Natural Deduction Systems for Some Non-Commutative Logics

Logic and Logical Philosophy
Philosophy
2007English

Some Puzzling Results on the Poggendorff Illusion

Perception & Psychophysics
1972English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy