On the public citation graph

The disjunction property of intermediate propositional logics

https://doi.org/10.1007/bf00370182
0 signed · 82 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/malq.19720180802openalex-snapshot
Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
inferredcites →https://doi.org/10.1002/malq.19790252505openalex-snapshot
Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic
inferredcites →https://doi.org/10.1007/bf00370182openalex-snapshot
The disjunction property of intermediate propositional logics
inferredcites →https://doi.org/10.1007/bf00370331openalex-snapshot
Modal companions of intermediate propositional logics
inferredcites →https://doi.org/10.1007/bf00370479openalex-snapshot
Interpolation properties of superintuitionistic logics
inferredcites →https://doi.org/10.1007/bf00373276openalex-snapshot
Intermediate logics with the same disjunctionless fragment as intuitionistic logic
inferredcites →https://doi.org/10.1007/bf01201363openalex-snapshot
Untersuchungen �ber das logische Schlie�en. II
inferredcites →https://doi.org/10.1007/bf01360048openalex-snapshot
On disjunctions and existential statements in intuitionistic systems of logic
inferredcites →https://doi.org/10.1007/bf01463150openalex-snapshot
A lattice of normal modal logics
inferredcites →https://doi.org/10.1007/bf01624080openalex-snapshot
Two classes of intermediate propositional logics without disjunction property
inferredcites →https://doi.org/10.1007/bf01670006openalex-snapshot
Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras
inferredcites →https://doi.org/10.1007/bf01837554openalex-snapshot
On fragments of Medvedev's logic
inferredcites →https://doi.org/10.1007/bf01877235openalex-snapshot
The principle of separation of variables in propositional logics
inferredcites →https://doi.org/10.1007/bf01881550openalex-snapshot
On maximal intermediate logics with the disjunction property
inferredcites →https://doi.org/10.1007/bf01979939openalex-snapshot
Undecidable properties of extensions of the logic of provability
inferredcites →https://doi.org/10.1007/bf01980737openalex-snapshot
Syntax and semantics of modal logics containing S4
inferredcites →https://doi.org/10.1007/bf01988049openalex-snapshot
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
inferredcites →https://doi.org/10.1007/bf02215288openalex-snapshot
Undecidable properties of extensions of a provability logic. II
inferredcites →https://doi.org/10.1007/bf02757006openalex-snapshot
Provability interpretations of modal logic
inferredcites →https://doi.org/10.1016/s0049-237x(08)70728-6openalex-snapshot
Completeness and Correspondence in the First and Second Order Semantics for Modal Logic
inferredcites →https://doi.org/10.1016/s0049-237x(08)70752-3openalex-snapshot
A Characterization of the Intuitionistic Propositional Calculus
inferredcites →https://doi.org/10.1016/s1385-7258(52)50028-3openalex-snapshot
On the intuitionistic theory of deduction
inferredcites →https://doi.org/10.1017/s0022481200041190openalex-snapshot
The equivalence of the disjunction and existence properties for modal arithmetic
inferredcites →https://doi.org/10.1070/im1977v011n05abeh001751openalex-snapshot
ON FINITE-DIMENSIONAL SUPERINTUITIONISTIC LOGICS
inferredcites →https://doi.org/10.1073/pnas.72.8.2877openalex-snapshot
The disjunction property implies the numerical existence property
inferredcites →https://doi.org/10.1090/s0002-9947-1953-0055952-4openalex-snapshot
Propositional Calculus and Realizability
inferredcites →https://doi.org/10.1305/ndjfl/1093635238openalex-snapshot
Some results on intermediate constructive logics.
inferredcites →https://doi.org/10.1305/ndjfl/1093635590openalex-snapshot
Some syntactical properties of intermediate predicate logics.
inferredcites →https://doi.org/10.1305/ndjfl/1093870446openalex-snapshot
Halldén-completeness by gluing of Kripke frames.
inferredcites →https://doi.org/10.1305/ndjfl/1093883567openalex-snapshot
A result on propositional logics having the disjunction property.
inferredcites →https://doi.org/10.1305/ndjfl/1093958745openalex-snapshot
A note on Halldén-incompleteness.
inferredcites →https://doi.org/10.15083/00039867openalex-snapshot
On intermediate logics I
inferredcites →https://doi.org/10.18778/0138-0680openalex-snapshot
Bulletin of the Section of Logic
inferredcites →https://doi.org/10.2307/2266686openalex-snapshot
On the semantic non-completeness of certain Lewis calculi
inferredcites →https://doi.org/10.2307/2268135openalex-snapshot
Some theorems about the sentential calculi of Lewis and Heyting
inferredcites →https://doi.org/10.2307/2268941openalex-snapshot
Systems of modal logic which are not unreasonable in the sense of Halldén
inferredcites →https://doi.org/10.2307/2269016openalex-snapshot
On the interpretation of intuitionistic number theory
inferredcites →https://doi.org/10.2307/2270700openalex-snapshot
The decidability of the Kreisel-Putnam system
inferredcites →https://doi.org/10.2307/2272340openalex-snapshot
Logics containing K4. Part I
inferredcites →https://doi.org/10.2307/2272344openalex-snapshot
A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
inferredcites →https://doi.org/10.2307/2274318openalex-snapshot
Logics containing K4. Part II
inferredcites →https://doi.org/10.2307/2963526openalex-snapshot
On formulas of one variable in intuitionistic propositional calculus
inferredcites →https://doi.org/10.2307/2963675openalex-snapshot
Disjunction and existence under implication in elementary intuitionistic formalisms
inferredcites →https://doi.org/10.2977/prims/1195193228openalex-snapshot
Some Results on the Intermediate Logics
inferredcites →https://doi.org/10.3792/pjaa.54.46openalex-snapshot
Logics without Craig's interpolation property
inferredcites →https://doi.org/10.4467/20842589rmopenalex-snapshot
Reports on Mathematical Logic

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/malq.19960420141openalex-snapshot
Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property
inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_4openalex-snapshot
The Logic of Logical Necessity
inferred← citeshttps://doi.org/10.1007/978-3-319-27683-0_6openalex-snapshot
Multiple Conclusion Rules in Logics with the Disjunction Property
inferred← citeshttps://doi.org/10.1007/978-3-642-35722-0_15openalex-snapshot
A Note on Extensions: Admissible Rules via Semantics
inferred← citeshttps://doi.org/10.1007/978-81-322-1812-8_54-1openalex-snapshot
A Few Historical Glimpses into the Interplay Between Algebra and Logic and Investigations into Gautama Algebras
inferred← citeshttps://doi.org/10.1007/978-81-322-2577-5_54openalex-snapshot
A Few Historical Glimpses into the Interplay Between Algebra and Logic and Investigations into Gautama Algebras
inferred← citeshttps://doi.org/10.1007/978-94-007-0479-4_2openalex-snapshot
Refutation Systems in Propositional Logic
inferred← citeshttps://doi.org/10.1007/978-94-015-8879-9_8openalex-snapshot
Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline
inferred← citeshttps://doi.org/10.1007/978-94-017-0454-0_2openalex-snapshot
Advanced Modal Logic
inferred← citeshttps://doi.org/10.1007/bf00370841openalex-snapshot
On maximal intermediate predicate constructive logics
inferred← citeshttps://doi.org/10.1007/s00153-014-0388-5openalex-snapshot
Admissibility and refutation: some characterisations of intermediate logics
inferred← citeshttps://doi.org/10.1007/s10670-013-9475-yopenalex-snapshot
Should Anti-Realists be Anti-Realists About Anti-Realism?
inferred← citeshttps://doi.org/10.1007/s10670-014-9697-7openalex-snapshot
Some Obstacles Facing a Semantic Foundation for Constructive Mathematics
inferred← citeshttps://doi.org/10.1007/s11225-026-10244-xopenalex-snapshot
An Intermediate Logic Contained in Medvedev’s Logic with the Disjunction Property
inferred← citeshttps://doi.org/10.1016/0168-0072(94)00052-5openalex-snapshot
A method to single out maximal propositional logics with the disjunction property II
inferred← citeshttps://doi.org/10.1016/0168-0072(94)00053-6openalex-snapshot
A method to single out maximal propositional logics with the disjunction property I
inferred← citeshttps://doi.org/10.1016/j.apal.2024.103526openalex-snapshot
Universal proof theory: Feasible admissibility in intuitionistic modal logics
inferred← citeshttps://doi.org/10.1016/j.entcs.2013.12.011openalex-snapshot
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
inferred← citeshttps://doi.org/10.1016/j.fss.2016.03.008openalex-snapshot
Single chain completeness and some related properties
inferred← citeshttps://doi.org/10.1016/s0049-237x(07)80016-4openalex-snapshot
Semisimplicity
inferred← citeshttps://doi.org/10.1016/s0049-237x(13)70005-3openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1023/a:1004916107078openalex-snapshot
Superintuitionistic Companions of Classical Modal Logics
inferred← citeshttps://doi.org/10.1023/a:1022941407162openalex-snapshot
Halldén-Completeness in Super-Intuitionistic Predicate Logics
inferred← citeshttps://doi.org/10.1111/theo.12541openalex-snapshot
Prawitz's completeness conjecture: A reassessment
inferred← citeshttps://doi.org/10.1305/ndjfl/1040511350openalex-snapshot
A New Solution to a Problem of Hosoi and Ono
inferred← citeshttps://doi.org/10.1305/ndjfl/1095386644openalex-snapshot
Maximality and Refutability
inferred← citeshttps://doi.org/10.13130/fiorentini-camillo_phd2000openalex-snapshot
Kripke completeness for intermediate logics
inferred← citeshttps://doi.org/10.13130/m-bianchi_phd2010-12-17openalex-snapshot
ON SOME AXIOMATIC EXTENSIONS OF THE MONOIDAL T-NORM BASED LOGIC MTL: AN ANALYSIS IN THE PROPOSITIONAL AND IN THE FIRST-ORDER CASE
inferred← citeshttps://doi.org/10.2168/lmcs-9(2:2)2013openalex-snapshot
The degree structure of Weihrauch-reducibility
inferred← citeshttps://doi.org/10.2307/2275108openalex-snapshot
The undecidability of the disjunction property of propositional logics and other related problems
inferred← citeshttps://doi.org/10.2307/2275149openalex-snapshot
Counting the maximal intermediate constructive logics
inferred← citeshttps://doi.org/10.2307/2695065openalex-snapshot
All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete
inferred← citeshttps://doi.org/10.23638/lmcs-15(1:15)2019openalex-snapshot
Sahlqvist via Translation
inferred← citeshttps://doi.org/10.31577/orgf.2019.26303openalex-snapshot
Semantics without Toil? Brady and Rush Meet Hallden
inferred← citeshttps://doi.org/10.48550/arxiv.1205.4625openalex-snapshot
On some logical and algebraic properties of axiomatic extensions of the monoidal t-norm based logic MTL related with single chain completeness
showing the first 35 of 36 · page through all 36
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.