On the public citation graph

Pretabular superintuitionist logic

https://doi.org/10.1007/bf02330744
0 signed · 83 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.19710170126openalex-snapshot
Algebraic Completeness Results for Dummett's LC and Its Extensions
inferredcites →https://doi.org/10.15083/00039819openalex-snapshot
The intermediate logics on the second slice
inferredcites →https://doi.org/10.15083/00039867openalex-snapshot
On intermediate logics I
inferredcites →https://doi.org/10.2307/2269766openalex-snapshot
Some results for implicational calculi
inferredcites →https://doi.org/10.2307/2964753openalex-snapshot
A propositional calculus with denumerable matrix

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.19930390144openalex-snapshot
Intermediate logics preserving admissible inference rules of heyting calculus
inferred← citeshttps://doi.org/10.1007/978-3-030-38565-1_11openalex-snapshot
Duality via Truth for Some Fuzzy Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-68279-7_1openalex-snapshot
Tabular and Pretabular Varieties of MTL-Algebras
inferred← citeshttps://doi.org/10.1007/978-3-031-97225-6_26openalex-snapshot
On Some Properties of Tabular Varieties of MTL-Algebras and Their Decidability
inferred← citeshttps://doi.org/10.1007/978-3-319-29300-4_19openalex-snapshot
A “Reply” to My “Critics”
inferred← citeshttps://doi.org/10.1007/978-3-319-29300-4_5openalex-snapshot
LC and Its Pretabular Relatives
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_14openalex-snapshot
Dummett Logic, Irreflexive Modality and Novikov Completeness
inferred← citeshttps://doi.org/10.1007/978-3-540-45220-1_32openalex-snapshot
Complexity of Some Problems in Modal and Intuitionistic Calculi
inferred← citeshttps://doi.org/10.1007/978-3-540-73451-2_7openalex-snapshot
Discrete Duality and Its Applications to Reasoning with Incomplete Information
inferred← citeshttps://doi.org/10.1007/978-3-642-04639-1_20openalex-snapshot
Discrete Duality for Relation Algebras and Cylindric Algebras
inferred← citeshttps://doi.org/10.1007/978-94-010-1161-7_7openalex-snapshot
A Survey of Many-Valued Logic (1966–1974)
inferred← citeshttps://doi.org/10.1007/978-94-017-0454-0_2openalex-snapshot
Advanced Modal Logic
inferred← citeshttps://doi.org/10.1007/bf00370315openalex-snapshot
Pretabular varieties of modal algebras
inferred← citeshttps://doi.org/10.1007/bf01139867openalex-snapshot
Superintuitionistic logics approximated by algebras with the descending chain condition
inferred← citeshttps://doi.org/10.1007/bf01156136openalex-snapshot
The cardinality of parametric bases in chain logics
inferred← citeshttps://doi.org/10.1007/bf01157938openalex-snapshot
Semantic characterization of certain sets of intuitionistic logical connectives
inferred← citeshttps://doi.org/10.1007/bf01163282openalex-snapshot
Finite approximability of the I? calculus and the existence of an extension having no model
inferred← citeshttps://doi.org/10.1007/bf01463150openalex-snapshot
A lattice of normal modal logics
inferred← citeshttps://doi.org/10.1007/bf01668576openalex-snapshot
Pretabular extensions of LewisS4
inferred← citeshttps://doi.org/10.1007/bf01669113openalex-snapshot
Admissible rules for pretable modal logics
inferred← citeshttps://doi.org/10.1007/bf01670006openalex-snapshot
Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras
inferred← citeshttps://doi.org/10.1007/bf01735738openalex-snapshot
Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics
inferred← citeshttps://doi.org/10.1007/bf01877236openalex-snapshot
Hereditarily finitely axiomatizable extensions of logic S4
inferred← citeshttps://doi.org/10.1007/bf01982017openalex-snapshot
Syntax and semantics of superintutionistic logics
inferred← citeshttps://doi.org/10.1007/bf02009330openalex-snapshot
Embeddings of implicative lattices and superintuitionistic logics
inferred← citeshttps://doi.org/10.1007/bf02106749openalex-snapshot
A new regular constant in intuitionistic propositional logic
inferred← citeshttps://doi.org/10.1007/bf02485823openalex-snapshot
Equational axions for classes of Heyting algebras
inferred← citeshttps://doi.org/10.1007/bf02681665openalex-snapshot
Autostability of hyperarithmetical models
inferred← citeshttps://doi.org/10.1007/s00012-005-1958-5openalex-snapshot
Locally finite varieties of Heyting algebras
inferred← citeshttps://doi.org/10.1007/s00012-011-0155-yopenalex-snapshot
Natural extensions and profinite completions of algebras
inferred← citeshttps://doi.org/10.1007/s10469-006-0021-8openalex-snapshot
Transfer theorems for extensions of the paraconsistent Nelson logic
inferred← citeshttps://doi.org/10.1007/s10469-010-9107-4openalex-snapshot
Generalized Kripke semantics for Nelson’s logic
inferred← citeshttps://doi.org/10.1007/s10469-011-9131-zopenalex-snapshot
New constants in two pretabular superintuitionistic logics
inferred← citeshttps://doi.org/10.1007/s10469-015-9319-8openalex-snapshot
A New Constant in Superintuitionistic Logic L3
inferred← citeshttps://doi.org/10.1007/s10469-015-9336-7openalex-snapshot
Recognizable Logics
inferred← citeshttps://doi.org/10.1007/s10469-016-9399-0openalex-snapshot
Layers over Minimal Logic
inferred← citeshttps://doi.org/10.1007/s10469-019-09533-3openalex-snapshot
The Interpolation Problem in Finite-Layered Pre-Heyting Logics
inferred← citeshttps://doi.org/10.1007/s10469-020-09572-1openalex-snapshot
Constructive Classifications of Modal Logics and Extensions of Minimal Logic
inferred← citeshttps://doi.org/10.1007/s10469-021-09618-yopenalex-snapshot
Irreflexive Modality on a Chain of Type ω and P. S. Novikov Completeness
inferred← citeshttps://doi.org/10.1007/s10469-024-09742-5openalex-snapshot
Pretabularity and Craig’s Interpolation Property
inferred← citeshttps://doi.org/10.1007/s11083-006-9037-xopenalex-snapshot
Profinite Completions and Canonical Extensions of Heyting Algebras
inferred← citeshttps://doi.org/10.1007/s11225-012-9455-2openalex-snapshot
A Pretabular Classical Relevance Logic
inferred← citeshttps://doi.org/10.1007/s11225-013-9520-5openalex-snapshot
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi
inferred← citeshttps://doi.org/10.1007/s11225-017-9734-zopenalex-snapshot
A Second Pretabular Classical Relevance Logic
inferred← citeshttps://doi.org/10.1007/s11225-023-10081-2openalex-snapshot
On Pretabular Extensions of Relevance Logic
inferred← citeshttps://doi.org/10.1016/j.aim.2021.107959openalex-snapshot
Profiniteness and representability of spectra of Heyting algebras
inferred← citeshttps://doi.org/10.1016/j.apal.2021.103072openalex-snapshot
Finitary unification in locally tabular modal logics characterized
inferred← citeshttps://doi.org/10.1016/j.apal.2024.103508openalex-snapshot
Unification types and union splittings in intermediate logics
inferred← citeshttps://doi.org/10.1016/j.indag.2019.01.001openalex-snapshot
A semantic hierarchy for intuitionistic logic
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2017.08.023openalex-snapshot
Epimorphisms in varieties of residuated structures
inferred← citeshttps://doi.org/10.1016/j.jpaa.2021.106861openalex-snapshot
Real spectra and ℓ-spectra of algebras and vector lattices over countable fields
inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00450-4openalex-snapshot
Complexity of some problems in positive and related calculi
inferred← citeshttps://doi.org/10.1016/s1090-3798(98)80055-xopenalex-snapshot
Abstracts from invited speakers
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80010-3openalex-snapshot
7 Modal decision problems
inferred← citeshttps://doi.org/10.1017/9781316755785.009openalex-snapshot
Decidable properties of logical calculi and of varieties of algebras
inferred← citeshttps://doi.org/10.1017/s0022481200028358openalex-snapshot
Finite and finitely separable intermediate propositional logics
inferred← citeshttps://doi.org/10.1023/a:1005285631357openalex-snapshot
Varieties of Monadic Heyting Algebras. Part III
inferred← citeshttps://doi.org/10.1023/a:1010208217965openalex-snapshot
Decidability of the Projective Beth Property in Varieties of Heyting Algebras
inferred← citeshttps://doi.org/10.1080/11663081.2021.1915687openalex-snapshot
Two pretabular linear extensions of relevance logic R
inferred← citeshttps://doi.org/10.1093/logcom/exac105openalex-snapshot
Modal structures in groups and vector spaces
inferred← citeshttps://doi.org/10.1093/logcom/exae045openalex-snapshot
A Gödel-Dugundji-style theorem for the minimal structural logic
inferred← citeshttps://doi.org/10.1111/j.1468-3083.2007.02245.xopenalex-snapshot
Abstracts of Invited Speakers
inferred← citeshttps://doi.org/10.1134/s0001434613110308openalex-snapshot
New constants in the superintuitionistic logic L2
inferred← citeshttps://doi.org/10.1134/s0037446614010212openalex-snapshot
Irreflexive modality as a new logical connective in the Dummett logic
inferred← citeshttps://doi.org/10.1134/s003744661605013xopenalex-snapshot
The structure of slices over minimal logic
inferred← citeshttps://doi.org/10.1134/s0037446616060100openalex-snapshot
The tabularity problem over the minimal logic
inferred← citeshttps://doi.org/10.1134/s0037446618020209openalex-snapshot
Irreflexive Modality, the Dummett Logic, and Continual Chains
inferred← citeshttps://doi.org/10.1177/1534734607305644openalex-snapshot
Abstracts From Invited Speakers
inferred← citeshttps://doi.org/10.1215/00294527-3838972openalex-snapshot
The Admissible Rules of BD2 and GSc
inferred← citeshttps://doi.org/10.1305/ndjfl/1093634656openalex-snapshot
Extensions of the $\aleph_0$-valued Ł ukasiewicz propositional logic.
inferred← citeshttps://doi.org/10.21146/2074-1472-2023-29-1-101-113openalex-snapshot
On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
inferred← citeshttps://doi.org/10.2178/bsl/1286284562openalex-snapshot
2010 Winter Meeting of the Association for Symbolic Logic
inferred← citeshttps://doi.org/10.2178/jsl/1190150051openalex-snapshot
Complexity of interpolation and related problems in positive calculi
inferred← citeshttps://doi.org/10.2307/2275098openalex-snapshot
Undecidability of modal and intermediate first-order logics with two individual variables
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/2275521openalex-snapshot
Hereditarily structurally complete modal logics
inferred← citeshttps://doi.org/10.3166/jancl.16.507-516openalex-snapshot
Automatic checking properties of non-classical logics
inferred← citeshttps://doi.org/10.3233/fi-2010-264openalex-snapshot
Structures with Multirelations, their Discrete Dualities and Applications
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.