On the public citation graph
Identity and existence in intuitionistic logic
0 signed · 201 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/978-1-4612-9839-7openalex-snapshot
Categories for the Working Mathematician
inferredcites →https://doi.org/10.1007/978-94-009-9825-4_5openalex-snapshot
Equality in the Presence of Apartness
inferredcites →https://doi.org/10.1007/bf02015377openalex-snapshot
On 2nd order intuitionistic propositional calculus with full comprehension
inferredcites →https://doi.org/10.1007/bfb0061825openalex-snapshot
Heyting-valued models for intuitionistic set theory
inferredcites →https://doi.org/10.1007/bfb0066739openalex-snapshot
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
inferredcites →https://doi.org/10.1007/bfb0072315openalex-snapshot
The meeting of the Midwest Category Seminar in Zurich August 24–30, 1970
inferredcites →https://doi.org/10.1016/s0049-237x(08)70732-8openalex-snapshot
Descriptions in Intuitionistic Logic
inferredcites →https://doi.org/10.1016/s0049-237x(08)71127-3openalex-snapshot
Aspects of Constructive Mathematics
inferredcites →https://doi.org/10.1090/s0002-9939-1975-0373893-xopenalex-snapshot
Axiom of Choice and Complementation
inferredcites →https://doi.org/10.1093/oso/9780198505242.001.0001openalex-snapshot
Elements of Intuitionism
inferredcites →https://doi.org/10.2307/2266170openalex-snapshot
A formulation of the simple theory of types
inferredcites →https://doi.org/10.2307/2271770openalex-snapshot
Existence and Description in Formal Logic.
inferredcites →https://doi.org/10.2307/2274155openalex-snapshot
Handbook of mathematical logic, edited by Jon Barwise with the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, and A. S. Troelstra, Studies in logic and the foundations of mathematics, vol. 90, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978 (© 1977), xi + 1165…
inferredcites →https://doi.org/10.2307/2314383openalex-snapshot
Foundations of Constructive Analysis.
inferredcites →https://doi.org/10.4064/fm-52-3-323-344openalex-snapshot
A theory of prepositional types
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.19880340102openalex-snapshot
Intuitionistic Free Abelian Groups
inferred← citeshttps://doi.org/10.1002/malq.19880340105openalex-snapshot
Rings and Fields, a Constructive View
inferred← citeshttps://doi.org/10.1007/10703163_22openalex-snapshot
Computational Adequacy in an Elementary Topos
inferred← citeshttps://doi.org/10.1007/10722086_22openalex-snapshot
Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions
inferred← citeshttps://doi.org/10.1007/10930755_15openalex-snapshot
First Order Logic with Domain Conditions
inferred← citeshttps://doi.org/10.1007/11591191_48openalex-snapshot
On Interpolation in Existence Logics
inferred← citeshttps://doi.org/10.1007/11805588_1openalex-snapshot
Creating Objects in the Flexible Authorization Framework
inferred← citeshttps://doi.org/10.1007/3-540-15648-8_28openalex-snapshot
Semantical analysis of specification logic
inferred← citeshttps://doi.org/10.1007/3-540-17162-2_126openalex-snapshot
Categories of partial morphisms and the λP-calculus
inferred← citeshttps://doi.org/10.1007/3-540-18508-9_30openalex-snapshot
Connections between partial maps categories and tripos theory
inferred← citeshttps://doi.org/10.1007/3-540-34783-6_63openalex-snapshot
Fuzzy Set Theory – 40 Years of Foundational Discussions
inferred← citeshttps://doi.org/10.1007/3-540-45500-0_11openalex-snapshot
Nominal Logic: A First Order Theory of Names and Binding
inferred← citeshttps://doi.org/10.1007/3-540-45504-3_13openalex-snapshot
Constructive Foundations for Featherweight Java
inferred← citeshttps://doi.org/10.1007/3-540-48321-7_39openalex-snapshot
A generalization of Dijkstra’s calculus to typed program specifications
inferred← citeshttps://doi.org/10.1007/3-540-50214-9_23openalex-snapshot
Proof rules for VDM statements
inferred← citeshttps://doi.org/10.1007/3-540-50325-0_11openalex-snapshot
Partial algebras, subsorting, and dependent types
inferred← citeshttps://doi.org/10.1007/3-540-52335-9_58openalex-snapshot
A formulation of the simple theory of types (for Isabelle)
inferred← citeshttps://doi.org/10.1007/3-540-54834-3_18openalex-snapshot
LPF and MPLω — A logical comparison of VDM SL and COLD-K
inferred← citeshttps://doi.org/10.1007/3-540-57867-6_3openalex-snapshot
Identity and existence, and types in algebra
inferred← citeshttps://doi.org/10.1007/3-540-60178-3_84openalex-snapshot
Intrinsic theories and computational complexity
inferred← citeshttps://doi.org/10.1007/3-540-61629-2_54openalex-snapshot
Using limits of parchments to systematically construct institutions of partial algebras
inferred← citeshttps://doi.org/10.1007/3-540-64299-4_43openalex-snapshot
Static semantic analysis and theorem proving for CASL
inferred← citeshttps://doi.org/10.1007/978-0-8176-4769-8_10openalex-snapshot
The Unintended Interpretations of Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/978-1-4613-0609-2_2openalex-snapshot
Heyting and Intuitionistic Geometry
inferred← citeshttps://doi.org/10.1007/978-1-4613-2007-4_11openalex-snapshot
A Compositional Model of MOS Circuits
inferred← citeshttps://doi.org/10.1007/978-1-4615-5079-2_2openalex-snapshot
Many-Valued Logic And Fuzzy Set Theory
inferred← citeshttps://doi.org/10.1007/978-1-4757-3851-3_3openalex-snapshot
Semantical Analysis of Specification Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-25719-4_75openalex-snapshot
On Capturing the Variability in the Modeling of Individual Behavior
inferred← citeshttps://doi.org/10.1007/978-3-030-25719-4_76openalex-snapshot
Cognitive Features for Stability of Semantic Information Processing
inferred← citeshttps://doi.org/10.1007/978-3-030-86059-2_4openalex-snapshot
Tableaux for Free Logics with Descriptions
inferred← citeshttps://doi.org/10.1007/978-3-030-96993-6_67openalex-snapshot
Cognitive System for Traversing the Possible Worlds with Individual Information Processes
inferred← citeshttps://doi.org/10.1007/978-3-031-42753-4_5openalex-snapshot
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
inferred← citeshttps://doi.org/10.1007/978-3-031-43513-3_7openalex-snapshot
A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions
inferred← citeshttps://doi.org/10.1007/978-3-031-43619-2_51openalex-snapshot
Towards Systematic Treatment of Partial Functions in Knowledge Representation
inferred← citeshttps://doi.org/10.1007/978-3-031-50381-8_105openalex-snapshot
When and Where Conceptual Maths Equals to Conceptual Modeling: Reasons for Using in Cognitive Modeling
inferred← citeshttps://doi.org/10.1007/978-3-031-99984-0_19openalex-snapshot
Cut Elimination for Negative Free Logics with Definite Descriptions
inferred← citeshttps://doi.org/10.1007/978-3-032-11027-5_3openalex-snapshot
On the Philosophy and Mathematics of Hybrid Partial Type Theory
inferred← citeshttps://doi.org/10.1007/978-3-319-11558-0_24openalex-snapshot
A Free Logic for Stable Models with Partial Intensional Functions
inferred← citeshttps://doi.org/10.1007/978-3-319-28808-6_1openalex-snapshot
Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences
inferred← citeshttps://doi.org/10.1007/978-3-319-63334-3_10openalex-snapshot
The Operational Penumbra: Some Ontological Aspects
inferred← citeshttps://doi.org/10.1007/978-3-540-89982-2_36openalex-snapshot
Partial Functions and Equality in Answer Set Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-22119-4_20openalex-snapshot
A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
inferred← citeshttps://doi.org/10.1007/978-3-642-36039-8_15openalex-snapshot
Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms
inferred← citeshttps://doi.org/10.1007/978-3-642-87374-4_14openalex-snapshot
Models and logic of MOS circuits
inferred← citeshttps://doi.org/10.1007/978-3-663-10120-8_8openalex-snapshot
Allgemeine Bemerkungen zu nichtklassischen Logiken
inferred← citeshttps://doi.org/10.1007/978-90-481-8812-3_2openalex-snapshot
Foundations of semantic analysis
inferred← citeshttps://doi.org/10.1007/978-94-011-2602-1_9openalex-snapshot
Was Frege Right about Variable Objects?
inferred← citeshttps://doi.org/10.1007/978-94-015-9761-6_9openalex-snapshot
Free Logic in Program Specification and Verification
inferred← citeshttps://doi.org/10.1007/bf00264250openalex-snapshot
A logic covering undefinedness in program proofs
inferred← citeshttps://doi.org/10.1007/bf00671015openalex-snapshot
The logical quantization of algebraic groups
inferred← citeshttps://doi.org/10.1007/bf01135375openalex-snapshot
Reasoning about partial functions with the aid of a computer
inferred← citeshttps://doi.org/10.1007/bf02429843openalex-snapshot
Descriptions in mathematical logic
inferred← citeshttps://doi.org/10.1007/bf02483730openalex-snapshot
Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebras
inferred← citeshttps://doi.org/10.1007/bfb0000465openalex-snapshot
Permissive subsorted partial logic in CASL
inferred← citeshttps://doi.org/10.1007/bfb0014436openalex-snapshot
Sort inheritance for order-sorted equational presentations
inferred← citeshttps://doi.org/10.1007/bfb0019442openalex-snapshot
A proof system for the language POOL
inferred← citeshttps://doi.org/10.1007/bfb0023877openalex-snapshot
A categorical interpretation of partial function logic and Hoare logic
inferred← citeshttps://doi.org/10.1007/bfb0029644openalex-snapshot
Typed horn logic (extended abstract)
inferred← citeshttps://doi.org/10.1007/s00500-016-2400-yopenalex-snapshot
Deciding logics of linear Kripke frames with scattered end pieces
inferred← citeshttps://doi.org/10.1007/s11225-006-6603-6openalex-snapshot
Gentzen Calculi for the Existence Predicate
inferred← citeshttps://doi.org/10.1007/s11225-006-9001-1openalex-snapshot
Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches
inferred← citeshttps://doi.org/10.1007/s11225-024-10137-xopenalex-snapshot
Wright’s First-Order Logic of Strict Finitism
inferred← citeshttps://doi.org/10.1007/s13218-018-0547-7openalex-snapshot
Answer Set Programming from a Logical Point of View
inferred← citeshttps://doi.org/10.1007/s13740-017-0080-0openalex-snapshot
A Categorical Approach to Networks of Aligned Ontologies
inferred← citeshttps://doi.org/10.1016/0020-0190(87)90158-xopenalex-snapshot
A note on undefined expression values in programming logics
inferred← citeshttps://doi.org/10.1016/0165-0114(91)90163-kopenalex-snapshot
Foundations of fuzzy sets
inferred← citeshttps://doi.org/10.1016/0168-0072(90)90059-bopenalex-snapshot
Constructive modal logics I
inferred← citeshttps://doi.org/10.1016/0890-5401(89)90023-0openalex-snapshot
Partiality, cartesian closedness, and toposes
inferred← citeshttps://doi.org/10.1016/0890-5401(90)90045-jopenalex-snapshot
Semantical analysis of specification logic
inferred← citeshttps://doi.org/10.1016/0890-5401(91)90052-4openalex-snapshot
Notions of computation and monads
inferred← citeshttps://doi.org/10.1016/b978-0-444-51621-3.50010-4openalex-snapshot
The History of Categorical Logic: 1963–1977
inferred← citeshttps://doi.org/10.1016/b978-044451814-9/50011-2openalex-snapshot
Many-valued equalities and their representations
inferred← citeshttps://doi.org/10.1016/j.apal.2006.02.001openalex-snapshot
The Skolemization of existential quantifiers in intuitionistic logic
inferred← citeshttps://doi.org/10.1016/j.apal.2006.10.001openalex-snapshot
Partial Horn logic and cartesian categories
inferred← citeshttps://doi.org/10.1016/j.apal.2010.09.005openalex-snapshot
The eskolemization of universal quantifiers
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.10.002openalex-snapshot
Reasoning About Partial Functions in the Formal Development of Programs
inferred← citeshttps://doi.org/10.1016/j.entcs.2007.03.019openalex-snapshot
Implementing Local Intervals in CASL
inferred← citeshttps://doi.org/10.1016/j.fss.2005.05.031openalex-snapshot
Mathematical aspects of fuzzy sets and fuzzy logic
inferred← citeshttps://doi.org/10.1016/j.fss.2009.06.013openalex-snapshot
Fuzzy sets and geometric logic
inferred← citeshttps://doi.org/10.1016/j.fss.2010.12.001openalex-snapshot
A non-commutative and non-idempotent theory of quantale sets
inferred← citeshttps://doi.org/10.1016/j.fss.2011.06.012openalex-snapshot
Preordered sets valued in a GL-monoid
inferred← citeshttps://doi.org/10.1016/j.fss.2020.01.013openalex-snapshot
Quantale-valued dissimilarity
inferred← citeshttps://doi.org/10.1016/j.ic.2010.09.009openalex-snapshot
A categorical outlook on relational modalities and simulations
inferred← citeshttps://doi.org/10.1016/j.scico.2018.10.008openalex-snapshot
Universal (meta-)logical reasoning: Recent successes
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.06.037openalex-snapshot
The HASCASL prologue: Categorical syntax and semantics of the partial λ -calculus
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)71817-2openalex-snapshot
Heyting-Valued Semantics
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70140-5openalex-snapshot
Primality and Invertibility of Polynomials
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70684-6openalex-snapshot
Proving Programs and Programming Proofs
inferred← citeshttps://doi.org/10.1016/s0165-0114(01)00135-xopenalex-snapshot
A natural interpretation of fuzzy sets and fuzzy relations
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00304-2openalex-snapshot
A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
inferred← citeshttps://doi.org/10.1016/s0747-7171(85)80040-7openalex-snapshot
A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction
inferred← citeshttps://doi.org/10.1016/s0890-5401(03)00138-xopenalex-snapshot
Nominal logic, a first order theory of names and binding
inferred← citeshttps://doi.org/10.1016/s1385-7258(82)80014-0openalex-snapshot
Some topological spaces which are universal for intuitionistic predicate logic
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80571-1openalex-snapshot
Classifying categories for partial equational logic
inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70007-xopenalex-snapshot
The Logic of Brouwer and Heyting
inferred← citeshttps://doi.org/10.1017/9781316756140.018openalex-snapshot
Classification of Subsheaves over GL-Algebras
inferred← citeshttps://doi.org/10.1017/jsl.2016.38openalex-snapshot
SEPARATING FRAGMENTS OF WLEM, LPO, AND MP
inferred← citeshttps://doi.org/10.1017/s0022481200041074openalex-snapshot
Near-equational and equational systems of logic for partial functions. II
inferred← citeshttps://doi.org/10.1017/s0305004100075162openalex-snapshot
Weak compactness in constructive spaces
inferred← citeshttps://doi.org/10.1017/s095679680500568xopenalex-snapshot
Staged computation with names and necessity
inferred← citeshttps://doi.org/10.1017/s0956796898002974openalex-snapshot
Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages
inferred← citeshttps://doi.org/10.1017/s0960129500000414openalex-snapshot
Partial hyperdoctrines: categorical models for partial function logic and Hoare logic
inferred← citeshttps://doi.org/10.1017/s0960129502003626openalex-snapshot
Realizability: a historical essay
inferred← citeshttps://doi.org/10.1017/s0960129502003651openalex-snapshot
Variations on realizability: realizing the propositional axiom of choice
inferred← citeshttps://doi.org/10.1017/s1471068410000517openalex-snapshot
Functional answer set programming
inferred← citeshttps://doi.org/10.1017/s1755020312000147openalex-snapshot
CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS
inferred← citeshttps://doi.org/10.1017/s1755020317000168openalex-snapshot
CAN MODALITIES SAVE NAIVE SET THEORY?
inferred← citeshttps://doi.org/10.1023/a:1005038532285openalex-snapshot
GL-Quantales: Q-Valued Sets and Their Singletons
inferred← citeshttps://doi.org/10.1023/a:1005196310070openalex-snapshot
A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic
inferred← citeshttps://doi.org/10.1023/a:1005200414624openalex-snapshot
Functional Dependencies between Variables
inferred← citeshttps://doi.org/10.1023/a:1005702928286openalex-snapshot
Partial Functions in a Total Setting
inferred← citeshttps://doi.org/10.1080/03081070701499922openalex-snapshot
Foundations of a set theory for fuzzy sets. 40 years of development
inferred← citeshttps://doi.org/10.1080/11663081.1996.10510875openalex-snapshot
The universe of discourse of modal logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzac067openalex-snapshot
Kolmogorov and Kuroda translations into basic predicate logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzm013openalex-snapshot
An Introduction to Basic Arithmetic
inferred← citeshttps://doi.org/10.1093/jigpal/jzw010openalex-snapshot
Skolemization in intermediate logics with the finite model property
inferred← citeshttps://doi.org/10.1109/fuzzy.2006.1681928openalex-snapshot
Toward Problems for Mathematical Fuzzy Logic
inferred← citeshttps://doi.org/10.1109/ismvl.2003.1201387openalex-snapshot
Universes of fuzzy sets - a short survey
inferred← citeshttps://doi.org/10.1109/lics.1996.561324openalex-snapshot
Syntactic considerations on recursive types
inferred← citeshttps://doi.org/10.1109/lics.2001.932485openalex-snapshot
Relating semantic and proof-theoretic concepts for polynomial time decidability of uniform word problems
inferred← citeshttps://doi.org/10.1109/nafips.2005.1548516openalex-snapshot
Foundations of a Set Theory for Fuzzy Sets. 40 Years of Development
inferred← citeshttps://doi.org/10.1109/sfcs.1988.21953openalex-snapshot
Fully abstract models of the lazy lambda calculus
inferred← citeshttps://doi.org/10.1111/j.1746-8361.1997.tb00029.xopenalex-snapshot
Identity and Ontology*
inferred← citeshttps://doi.org/10.1145/293347.293352openalex-snapshot
Ordered chaining calculi for first-order theories of transitive relations
inferred← citeshttps://doi.org/10.1145/319301.319317openalex-snapshot
Should your specification language be typed
inferred← citeshttps://doi.org/10.1145/3371108openalex-snapshot
Partial type constructors: or, making ad hoc datatypes less ad hoc
inferred← citeshttps://doi.org/10.1145/3461661openalex-snapshot
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
inferred← citeshttps://doi.org/10.1145/581478.581498openalex-snapshot
Meta-programming with names and necessity
inferred← citeshttps://doi.org/10.11575/prism/30564openalex-snapshot
An introduction to partial lambda algebras
inferred← citeshttps://doi.org/10.11606/t.45.1997.tde-20210729-014636openalex-snapshot
A lógica dos feixes sobre quantais right-sided e idempotentes
inferred← citeshttps://doi.org/10.1215/00294527-2377869openalex-snapshot
Nested Sequents for Intuitionistic Logics
inferred← citeshttps://doi.org/10.12775/llp.2020.020openalex-snapshot
Free Definite Description Theory – Sequent Calculi and Cut Elimination
inferred← citeshttps://doi.org/10.1305/ndjfl/1093634997openalex-snapshot
The theory of descriptions revisited.
inferred← citeshttps://doi.org/10.1305/ndjfl/1093635339openalex-snapshot
Book review: John Bell. Introduction to toposes and local set theory.
inferred← citeshttps://doi.org/10.1515/9783110324907.441openalex-snapshot
Weak Theories of Operations and Types
inferred← citeshttps://doi.org/10.1515/9783112720875openalex-snapshot
A Model Theoretic Oriented Approach to Partial Algebras
inferred← citeshttps://doi.org/10.15633/9788374389303.04openalex-snapshot
Solipsism for everyone: principles and theorems
inferred← citeshttps://doi.org/10.18778/0138-0680.48.2.04openalex-snapshot
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate
inferred← citeshttps://doi.org/10.2168/lmcs-8(3:7)2012openalex-snapshot
Bounded Arithmetic in Free Logic
inferred← citeshttps://doi.org/10.2178/jsl/1120224725openalex-snapshot
Interpreting descriptions in intensional type theory
inferred← citeshttps://doi.org/10.2178/jsl/1230396760openalex-snapshot
On Skolemization in constructive theories
inferred← citeshttps://doi.org/10.2307/2273459openalex-snapshot
Forcing in intuitionistic systems without power-set
inferred← citeshttps://doi.org/10.2307/2274487openalex-snapshot
A partial functions version of Church's simple theory of types
inferred← citeshttps://doi.org/10.2307/2274658openalex-snapshot
Colimit completions and the effective topos
inferred← citeshttps://doi.org/10.2307/2274743openalex-snapshot
Near-equational and equational systems of logic for partial functions. I
inferred← citeshttps://doi.org/10.2977/prims/1195176443openalex-snapshot
Some Connections between Heyting Valued Set Theory and Algebraic Geometry —Prolegomena to Intuitionistic Algebraic Geometry—
inferred← citeshttps://doi.org/10.3233/com-150041openalex-snapshot
Mass problems and intuitionistic higher-order logic
inferred← citeshttps://doi.org/10.4204/eptcs.415.8openalex-snapshot
Two Cases of Deduction with Non-referring Descriptions
inferred← citeshttps://doi.org/10.4288/jafpos1956.13.59openalex-snapshot
A Natural Basis of Fuzzy Set Theory-an Overview
inferred← citeshttps://doi.org/10.46298/lmcs-19(3:1)2023openalex-snapshot
Computing with Infinite Objects: the Gray Code Case
inferred← citeshttps://doi.org/10.47749/t/unicamp.2005.334092openalex-snapshot
O continuum, os reais e o conceito de homogeneidade
inferred← citeshttps://doi.org/10.48550/arxiv.1006.3678openalex-snapshot
Functional Answer Set Programming
inferred← citeshttps://doi.org/10.48550/arxiv.1202.0255openalex-snapshot
Reasoning about Unreliable Actions
inferred← citeshttps://doi.org/10.48550/arxiv.1408.2763openalex-snapshot
Mass problems and intuitionistic higher-order logic
inferred← citeshttps://doi.org/10.48550/arxiv.1609.01493openalex-snapshot
Axiomatizing Category Theory in Free Logic
inferred← citeshttps://doi.org/10.48550/arxiv.2001.02029openalex-snapshot
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic
inferred← citeshttps://doi.org/10.48550/arxiv.2103.07105openalex-snapshot
Some results in constructive semigroup theory
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0607126openalex-snapshot
Abstract Machine as a Model of Content Management Information System
inferred← citeshttps://doi.org/10.6100/ir805276openalex-snapshot
Embedding hardware description languages in proof systems
inferred← citeshttps://doi.org/10.70675/ba1aa57ezbfbfz4d6cz9e1aze1408db74cb9openalex-snapshot
Disagreeing about fiction
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.