On the public citation graph
Informational interpretation of substructural propositional logics
0 signed · 56 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.1002/malq.19690151602openalex-snapshot
A semantical study of constructible falsity
inferredcites →https://doi.org/10.1007/3-540-56734-8openalex-snapshot
The Logic of Information Structures
inferredcites →https://doi.org/10.1007/978-94-009-1335-6openalex-snapshot
Situations, Language and Logic
inferredcites →https://doi.org/10.1007/978-94-009-4540-1openalex-snapshot
Essays in Logical Semantics
inferredcites →https://doi.org/10.1007/978-94-009-5203-4_3openalex-snapshot
Relevance Logic and Entailment
inferredcites →https://doi.org/10.1007/bf00370633openalex-snapshot
Sequent-systems and groupoid models. II
inferredcites →https://doi.org/10.1007/bf00671566openalex-snapshot
Sequent-systems and groupoid models. I
inferredcites →https://doi.org/10.1007/bf01969697openalex-snapshot
Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle
inferredcites →https://doi.org/10.1007/bf02121114openalex-snapshot
Intuitionistic logic with strong negation
inferredcites →https://doi.org/10.1007/bf02123283openalex-snapshot
Semantical analyses of propositional systems of Fitch and Nelson
inferredcites →https://doi.org/10.1007/bfb0018424openalex-snapshot
Propositional logic based on the dynamics of disbelief
inferredcites →https://doi.org/10.1016/0304-3975(88)90001-1openalex-snapshot
Fiftieth volume of theoretical computer science
inferredcites →https://doi.org/10.1016/0304-3975(88)90037-0openalex-snapshot
The semantics and proof theory of linear logic
inferredcites →https://doi.org/10.1016/1385-7258(72)90053-4openalex-snapshot
Refutability and elementary number theory
inferredcites →https://doi.org/10.1016/s0049-237x(08)71685-9openalex-snapshot
Semantical Analysis of Intuitionistic Logic I
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7004-7openalex-snapshot
An Algebraic Approach to Non-Classical Logics
inferredcites →https://doi.org/10.1016/s1385-7258(64)50066-9openalex-snapshot
A Philosophically Plausible Formal Interpretation of Intuitionistic Logic
inferredcites →https://doi.org/10.1080/00029890.1958.11989160openalex-snapshot
The Mathematics of Sentence Structure
inferredcites →https://doi.org/10.1093/logcom/1.6.835openalex-snapshot
Logic Programming with Strong Negation and Inexact Predicates
inferredcites →https://doi.org/10.2307/2218271openalex-snapshot
Conjectures and Refutations: The Growth of Scientific Knowledge.
inferredcites →https://doi.org/10.2307/2266556openalex-snapshot
Alonzo Church. The weak theory of implication. Kontrolliertes Denken, Untersuchungen zum Logikkalkiil unci zur Logik der Einzelwissenschaften, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 22–37.
inferredcites →https://doi.org/10.2307/2274105openalex-snapshot
Constructible falsity and inexact predicates
inferredcites →https://doi.org/10.2307/2551371openalex-snapshot
Conjectures and Refutations: The Growth of Scientific Knowledge.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-319-29300-4_10openalex-snapshot
On Split Negation, Strong Negation, Information, Falsification, and Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-30870-3_3openalex-snapshot
Information and Logical Discrimination
inferred← citeshttps://doi.org/10.1007/978-3-662-55665-8_28openalex-snapshot
Substructural Logics for Pooling Information
inferred← citeshttps://doi.org/10.1007/978-3-662-55665-8_6openalex-snapshot
An Extended First-Order Belnap-Dunn Logic with Classical Negation
inferred← citeshttps://doi.org/10.1007/978-94-011-5638-7_8openalex-snapshot
Displaying as Temporalizing
inferred← citeshttps://doi.org/10.1007/s10670-011-9356-1openalex-snapshot
Informational Semantics as a Third Alternative?
inferred← citeshttps://doi.org/10.1007/s10773-005-3965-xopenalex-snapshot
Gentzen-Type Calculi for Involutive Quantales
inferred← citeshttps://doi.org/10.1007/s10849-005-9000-zopenalex-snapshot
Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation
inferred← citeshttps://doi.org/10.1007/s10849-021-09330-1openalex-snapshot
Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation
inferred← citeshttps://doi.org/10.1007/s11225-006-9004-yopenalex-snapshot
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation
inferred← citeshttps://doi.org/10.1007/s11787-022-00305-9openalex-snapshot
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi
inferred← citeshttps://doi.org/10.1016/0165-0114(95)00199-9openalex-snapshot
Tableau method for residuated logic
inferred← citeshttps://doi.org/10.1016/j.jal.2009.06.001openalex-snapshot
Combining linear-time temporal logic with constructiveness and paraconsistency
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.10.043openalex-snapshot
Linear and affine logics with temporal, spatial and epistemic operators
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.11.001openalex-snapshot
Proof theory of Nelson’s paraconsistent logic: A uniform perspective
inferred← citeshttps://doi.org/10.1017/s1755020319000017openalex-snapshot
SUBSTRUCTURAL INQUISITIVE LOGICS
inferred← citeshttps://doi.org/10.1023/a:1019915908844openalex-snapshot
Kripke Semantics for Modal Substructural Logics
inferred← citeshttps://doi.org/10.1023/b:logi.0000003928.44012.57openalex-snapshot
Normal Modal Substructural Logics with Strong Negation
inferred← citeshttps://doi.org/10.1023/b:stud.0000039030.03885.7copenalex-snapshot
Quantized Linear Logic, Involutive Quantales and Strong Negation
inferred← citeshttps://doi.org/10.1093/jigpal/6.3.451openalex-snapshot
Substructural logics on display
inferred← citeshttps://doi.org/10.1093/logcom/12.6.913openalex-snapshot
Relevance Principle for Substructural Logics with Mingle and Strong Negation
inferred← citeshttps://doi.org/10.1109/ismvl.1995.513533openalex-snapshot
Finite algebraic models for residuated logic
inferred← citeshttps://doi.org/10.12775/llp.2018.018openalex-snapshot
Connexive Conditional Logic. Part I
inferred← citeshttps://doi.org/10.3233/fi-2018-1648openalex-snapshot
Logics for Modelling Collective Attitudes
inferred← citeshttps://doi.org/10.4204/eptcs.358.21openalex-snapshot
Routley Star in Information-Based Semantics
inferred← citeshttps://doi.org/10.48550/arxiv.1302.4931openalex-snapshot
An Algebraic Semantics for Possibilistic Logic
inferred← citeshttps://doi.org/10.5772/5319openalex-snapshot
A Linear Logic Based Approach to Timed Petri Nets
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.