On the public citation graph
Bi-Heyting algebras, toposes and modalities
0 signed · 72 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bfb0061829openalex-snapshot
Conditions related to de Morgan's law
inferredcites →https://doi.org/10.1007/bfb0081355openalex-snapshot
Modal and tense predicate logic: Models in presheaves and categorical conceptualization
inferredcites →https://doi.org/10.1007/bfb0084226openalex-snapshot
Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes
inferredcites →https://doi.org/10.1007/bfb0084231openalex-snapshot
Topos-theoretic approaches to modality
inferredcites →https://doi.org/10.1016/s0049-237x(08)71104-2openalex-snapshot
Doctrines in Categorical Logic
inferredcites →https://doi.org/10.1201/b13782-17openalex-snapshot
An Introduction to Mathematical Logic
inferredcites →https://doi.org/10.1305/ndjfl/1093635834openalex-snapshot
A topos-theoretic approach to reference and modality.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-63623-4_49openalex-snapshot
The algebraic structure of sets of regions
inferred← citeshttps://doi.org/10.1007/3-540-69115-4_18openalex-snapshot
Intrinsic Co-Heyting Boundaries and Information Incompleteness in Rough Set Analysis
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_8openalex-snapshot
Locales and Toposes as Spaces
inferred← citeshttps://doi.org/10.1007/978-3-030-01162-8_4openalex-snapshot
Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory
inferred← citeshttps://doi.org/10.1007/978-3-319-04534-4_11openalex-snapshot
Formal Concept Analysis over Graphs and Hypergraphs
inferred← citeshttps://doi.org/10.1007/978-3-319-06251-8_25openalex-snapshot
Tableau Development for a Bi-intuitionistic Tense Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-08918-8_8openalex-snapshot
A Model of Countable Nondeterminism in Guarded Type Theory
inferred← citeshttps://doi.org/10.1007/978-3-319-15368-1_12openalex-snapshot
From (Paraconsistent) Topos Logic to Universal (Topos) Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-25754-9_4openalex-snapshot
Rough Sets - Past, Present and Future: Some Notes
inferred← citeshttps://doi.org/10.1007/978-3-319-58507-9_5openalex-snapshot
A Logic for Human Actions
inferred← citeshttps://doi.org/10.1007/978-3-642-38294-9_31openalex-snapshot
Inf-structuring Functions and Self-dual Marked Flattenings in bi-Heyting Algebra
inferred← citeshttps://doi.org/10.1007/978-81-322-2301-6_1openalex-snapshot
Rough Sets and Other Mathematics: Ten Research Programs
inferred← citeshttps://doi.org/10.1007/978-81-322-2719-9_18openalex-snapshot
The Evil Twin: The Basics of Complement-Toposes
inferred← citeshttps://doi.org/10.1007/978-94-007-7548-0_10openalex-snapshot
Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
inferred← citeshttps://doi.org/10.1007/978-94-009-1575-6_4openalex-snapshot
A Category-Theoretic Approach to Aristotle’s Term Logic, with Special Reference to Syllogisms
inferred← citeshttps://doi.org/10.1007/978-94-015-9309-0_12openalex-snapshot
Models for Non-Boolean Negations in Natural Languages Based on Aspect Analysis
inferred← citeshttps://doi.org/10.1007/978-981-13-2487-1_1openalex-snapshot
A Generalisation of Stone Duality to Orthomodular Lattices
inferred← citeshttps://doi.org/10.1007/s00012-016-0413-0openalex-snapshot
Algebras of incidence structures: representations of regular double p-algebras
inferred← citeshttps://doi.org/10.1007/s00012-025-00892-wopenalex-snapshot
Profinite bi-Heyting algebras
inferred← citeshttps://doi.org/10.1007/s00500-016-2275-yopenalex-snapshot
Expanding $$\hbox {FL}_{ew}$$ FL e w with a Boolean connective
inferred← citeshttps://doi.org/10.1007/s10516-011-9180-xopenalex-snapshot
Heyting Mereology as a Framework for Spatial Reasoning
inferred← citeshttps://doi.org/10.1007/s11225-016-9668-xopenalex-snapshot
Modality and Contextuality in Topos Quantum Theory
inferred← citeshttps://doi.org/10.1007/s11229-010-9828-xopenalex-snapshot
On the mereological structure of complex states of affairs
inferred← citeshttps://doi.org/10.1016/0168-0072(93)00085-4openalex-snapshot
Completeness results for intuitionistic and modal logic in a categorical setting
inferred← citeshttps://doi.org/10.1016/j.apal.2024.103490openalex-snapshot
Bi-intermediate logics of trees and co-trees
inferred← citeshttps://doi.org/10.1016/j.apal.2025.103563openalex-snapshot
Local tabularity is decidable for bi-intermediate logics of trees and of co-trees
inferred← citeshttps://doi.org/10.1016/j.disc.2017.05.008openalex-snapshot
Graphs and their associated inverse semigroups
inferred← citeshttps://doi.org/10.1016/j.ijar.2023.109011openalex-snapshot
Morpho-logic from a topos perspective – application to symbolic AI
inferred← citeshttps://doi.org/10.1016/j.jlamp.2014.12.001openalex-snapshot
Symmetric Heyting relation algebras with applications to hypergraphs
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.11.003openalex-snapshot
A bi-intuitionistic modal logic: Foundations and automation
inferred← citeshttps://doi.org/10.1016/s0049-237x(06)80039-xopenalex-snapshot
Some aspects of categorical logic
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80019-xopenalex-snapshot
16 Modal logic in mathematics
inferred← citeshttps://doi.org/10.1017/cbo9781139519687.009openalex-snapshot
Topos-based logic for quantum systems and bi-Heyting algebras
inferred← citeshttps://doi.org/10.1017/s0960129526100553openalex-snapshot
Constructing linear bicategories
inferred← citeshttps://doi.org/10.1023/a:1005238330484openalex-snapshot
Completeness Theorems via the Double Dual Functor
inferred← citeshttps://doi.org/10.1080/00048409712347801openalex-snapshot
□ In intuitionistic modal logic
inferred← citeshttps://doi.org/10.1080/11663081.1999.10510959openalex-snapshot
Some Operators in Kripke Models with an Involution
inferred← citeshttps://doi.org/10.1093/jigpal/6.3.451openalex-snapshot
Substructural logics on display
inferred← citeshttps://doi.org/10.1093/jigpal/jzv001openalex-snapshot
Some non-classical approaches to the Brandenburger–Keisler paradox
inferred← citeshttps://doi.org/10.1093/jigpal/jzv030openalex-snapshot
A general framework for product representations: bilattices and beyond
inferred← citeshttps://doi.org/10.1093/jigpal/jzx011openalex-snapshot
Modal operators for meet-complemented lattices
inferred← citeshttps://doi.org/10.1093/logcom/exae004openalex-snapshot
Modalities combining two negations
inferred← citeshttps://doi.org/10.1093/logcom/exv036openalex-snapshot
On an intuitionistic logic for pragmatics
inferred← citeshttps://doi.org/10.1109/iccima.1999.798546openalex-snapshot
Logico-algebraic structures of partially defined objects and of partially denoting attributes
inferred← citeshttps://doi.org/10.1184/r1/6492977openalex-snapshot
Topos Semantics for Higher-Order Modal Logic
inferred← citeshttps://doi.org/10.1305/ndjfl/1039182256openalex-snapshot
Book Review: Colin McLarty. Elementary Categories, Elementary Toposes.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093635834openalex-snapshot
A topos-theoretic approach to reference and modality.
inferred← citeshttps://doi.org/10.1515/dema-2004-0402openalex-snapshot
ON A TOPOLOGICAL PRESENTATION OF GRAPHS
inferred← citeshttps://doi.org/10.1515/jaa-2024-0141openalex-snapshot
Renormalization bi-Heyting algebra
inferred← citeshttps://doi.org/10.2139/ssrn.7445787openalex-snapshot
Contexts as covers: boundary, naturality and non-compositionality in a linguistic topos
inferred← citeshttps://doi.org/10.2168/lmcs-10(3:16)2014openalex-snapshot
Categorical Proof Theory of Co-Intuitionistic Linear Logic
inferred← citeshttps://doi.org/10.2178/jsl/1190150298openalex-snapshot
Modulated fibring and the collapsing problem
inferred← citeshttps://doi.org/10.2307/2694965openalex-snapshot
An algebraic approach to intuitionistic connectives
inferred← citeshttps://doi.org/10.26686/ajl.v9i0.1819openalex-snapshot
Complement-Topoi and Dual Intuitionistic Logic
inferred← citeshttps://doi.org/10.3917/metas.001.0295openalex-snapshot
Article 13. Vérité partielle et réalisme scientifique : une approche bungéenne
inferred← citeshttps://doi.org/10.4171/jncg/460openalex-snapshot
Quantum geometry of Boolean algebras and de Morgan duality
inferred← citeshttps://doi.org/10.47749/t/unicamp.1998.129631openalex-snapshot
Sobre a dualidade entre intuicionismo e paraconssistencia
inferred← citeshttps://doi.org/10.48550/arxiv.1106.6194openalex-snapshot
From contradiction to conciliation: a way to "dualize" sheaves
inferred← citeshttps://doi.org/10.48550/arxiv.1107.4929openalex-snapshot
Some Non-Classical Approaches to the Branderburger-Keisler Paradox
inferred← citeshttps://doi.org/10.59203/zfn.69.520openalex-snapshot
On the validity of the definition of a complement-classifier
inferred← citeshttps://doi.org/10.59203/zfn.69.522openalex-snapshot
Quantum geometry, logic and probability
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.