On the public citation graph
Bilattices and the theory of truth
0 signed · 102 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.19630090502openalex-snapshot
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
inferredcites →https://doi.org/10.1007/978-3-0346-0145-0_16openalex-snapshot
Semantical Considerations on Modal Logic
inferredcites →https://doi.org/10.1007/978-3-662-11035-5openalex-snapshot
Admissible Sets and Structures
inferredcites →https://doi.org/10.1007/978-94-010-1161-7_2openalex-snapshot
A Useful Four-Valued Logic
inferredcites →https://doi.org/10.1007/978-94-010-1876-0_7openalex-snapshot
On Representing ‘True-in-L’ in L
inferredcites →https://doi.org/10.1007/bf00373152openalex-snapshot
Intuitive semantics for first-degree entailments and ?coupled trees?
inferredcites →https://doi.org/10.1007/bf00453021openalex-snapshot
Four valued semantics and the Liar
inferredcites →https://doi.org/10.1007/bf00453022openalex-snapshot
Paradox, truth and logic part I: Paradox and truth
inferredcites →https://doi.org/10.1016/0743-1066(91)90014-gopenalex-snapshot
Bilattices and the semantics of logic programming
inferredcites →https://doi.org/10.1016/s0743-1066(85)80005-4openalex-snapshot
A kripke-kleene semantics for logic programs*
inferredcites →https://doi.org/10.1111/j.1467-8640.1988.tb00280.xopenalex-snapshot
Multivalued logics: a uniform approach to reasoning in artificial intelligence
inferredcites →https://doi.org/10.1305/ndjfl/1093636525openalex-snapshot
Notes on the mathematical aspects of Kripke's theory of truth.
inferredcites →https://doi.org/10.2140/pjm.1955.5.285openalex-snapshot
A lattice-theoretical fixpoint theorem and its applications
inferredcites →https://doi.org/10.3233/fi-1988-11206openalex-snapshot
Logic Programming on a Topological Bilattice1
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1098-111x(200002)15:2<129::aid-int3>3.0.co;2-topenalex-snapshot
Epistemic logic and logical omniscience II: A unifying framework
inferred← citeshttps://doi.org/10.1002/1098-111x(200009)15:9<811::aid-int1>3.0.co;2-bopenalex-snapshot
Reasoning tractably about explicit belief: A model-theoretic approach
inferred← citeshttps://doi.org/10.1002/malq.19910370903openalex-snapshot
The Paraconsistent Logics P J
inferred← citeshttps://doi.org/10.1007/3-540-36280-0_13openalex-snapshot
Interval Bilattices and Some Other Simple Bilattices
inferred← citeshttps://doi.org/10.1007/3-540-48199-0_16openalex-snapshot
Combinators for Paraconsistent Attitudes
inferred← citeshttps://doi.org/10.1007/3-540-52048-1_32openalex-snapshot
Algebraic properties of the space of multivalued and paraconsistent logic programs
inferred← citeshttps://doi.org/10.1007/3-540-52885-7_80openalex-snapshot
Automatic theorem proving in paraconsistent logics: Theory and implementation
inferred← citeshttps://doi.org/10.1007/3-540-63475-4_1openalex-snapshot
Symbolic trajectory evaluation
inferred← citeshttps://doi.org/10.1007/978-3-030-71258-7_8openalex-snapshot
The Strict/Tolerant Idea and Bilattices
inferred← citeshttps://doi.org/10.1007/978-3-031-47448-4_25openalex-snapshot
Classification of Software Tools Available for Download from Servers Hosted at Educational Institutions
inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_7openalex-snapshot
Modal, Fuzzy, ..., Vanilla Fixpoint Theories of Truth: A Uniform Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-06323-2_29openalex-snapshot
Using Zadeh’s Granulation Concept: Granular Logics and Their Application to Sensor Data Analysis
inferred← citeshttps://doi.org/10.1007/978-3-319-33609-1_17openalex-snapshot
Logical-Algebraic Methods in Constructing Cognitive Sensors for Railway Infrastructure Intelligent Monitoring System
inferred← citeshttps://doi.org/10.1007/978-3-319-60225-7_15openalex-snapshot
Creating Büchi Automata for Multi-valued Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-319-74772-9_13openalex-snapshot
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
inferred← citeshttps://doi.org/10.1007/978-3-319-91908-9_19openalex-snapshot
Static Analysis for Proactive Security
inferred← citeshttps://doi.org/10.1007/978-3-540-28645-5_14openalex-snapshot
Paraconsistent Sensitivity Analysis for Bayesian Significance Tests
inferred← citeshttps://doi.org/10.1007/978-3-540-44465-7_70openalex-snapshot
Inconsistency Analysis for Statistical Tests of Hypotheses
inferred← citeshttps://doi.org/10.1007/978-3-662-46823-4_29openalex-snapshot
Bonsai: Cutting Models Down to Size
inferred← citeshttps://doi.org/10.1007/978-94-010-0526-5_1openalex-snapshot
Logic, Truth and Number: The Elementary Genesis of Arithmetic
inferred← citeshttps://doi.org/10.1007/978-94-011-3488-0_9openalex-snapshot
Reasoning in Paraconsistent Logics
inferred← citeshttps://doi.org/10.1007/978-94-017-0466-3_3openalex-snapshot
Semantics and the Liar Paradox
inferred← citeshttps://doi.org/10.1007/bfb0023800openalex-snapshot
On logics and semantics for general logic programs
inferred← citeshttps://doi.org/10.1007/s00012-021-00722-9openalex-snapshot
Galois connections for bilattices
inferred← citeshttps://doi.org/10.1007/s10849-025-09444-wopenalex-snapshot
Belief Structures in the Realm of Belief Contraction
inferred← citeshttps://doi.org/10.1007/s10992-005-0556-5openalex-snapshot
Some Useful 16-Valued Logics: How a Computer Network Should Think
inferred← citeshttps://doi.org/10.1007/s10992-016-9413-yopenalex-snapshot
A Theory of Truthmaker Content I: Conjunction, Disjunction and Negation
inferred← citeshttps://doi.org/10.1007/s10992-018-9494-xopenalex-snapshot
The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins
inferred← citeshttps://doi.org/10.1007/s10992-020-09568-3openalex-snapshot
A Family of Strict/Tolerant Logics
inferred← citeshttps://doi.org/10.1007/s11225-009-9198-xopenalex-snapshot
A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT 4
inferred← citeshttps://doi.org/10.1007/s11225-018-9837-1openalex-snapshot
Valuations: Bi, Tri, and Tetra
inferred← citeshttps://doi.org/10.1007/s40879-016-0110-8openalex-snapshot
A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices
inferred← citeshttps://doi.org/10.1007/s41066-015-0013-yopenalex-snapshot
Orthopairs and granular computing
inferred← citeshttps://doi.org/10.1016/0743-1066(92)90007-popenalex-snapshot
Theory of generalized annotated logic programming and its applications**A preliminary report on this research has appeared in [34].
inferred← citeshttps://doi.org/10.1016/0743-1066(93)90031-bopenalex-snapshot
The family of stable models
inferred← citeshttps://doi.org/10.1016/0890-5401(92)90061-jopenalex-snapshot
Probabilistic logic programming
inferred← citeshttps://doi.org/10.1016/j.apal.2020.102790openalex-snapshot
Bilattice logic of epistemic actions and knowledge
inferred← citeshttps://doi.org/10.1016/j.datak.2004.09.003openalex-snapshot
Evaluating violations of expectations to find exceptional information
inferred← citeshttps://doi.org/10.1016/j.ins.2026.123227openalex-snapshot
A minimum adjustment consensus model integrating trust development and dynamic outlier detection for large-scale group decision-making
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00125-9openalex-snapshot
Combining explicit negation and negation by failure via Belnap's logic
inferred← citeshttps://doi.org/10.1016/s0743-1066(97)10005-xopenalex-snapshot
A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
inferred← citeshttps://doi.org/10.1016/s1874-5857(09)70020-2openalex-snapshot
Paradoxes, Self-Reference and Truth in the 20th Century
inferred← citeshttps://doi.org/10.1023/a:1004217812355openalex-snapshot
A Theory of Truth that Prefers Falsehood
inferred← citeshttps://doi.org/10.1023/a:1011049617655openalex-snapshot
Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations
inferred← citeshttps://doi.org/10.1023/a:1015737827562openalex-snapshot
Merging Inference and Conjecture by Information
inferred← citeshttps://doi.org/10.1023/a:1018960323808openalex-snapshot
Relevance sensitive belief structures
inferred← citeshttps://doi.org/10.1063/1.1835259openalex-snapshot
Uninformative Reference Sensitivity in Possibilistic Sharp Hypotheses Tests
inferred← citeshttps://doi.org/10.1080/11663081.1999.10510967openalex-snapshot
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
inferred← citeshttps://doi.org/10.1093/jigpal/jzq041openalex-snapshot
The logic of distributive bilattices
inferred← citeshttps://doi.org/10.1093/logcom/11.6.761openalex-snapshot
The Trilattice of Constructive Truth Values
inferred← citeshttps://doi.org/10.1093/logcom/exae080openalex-snapshot
Tailoring disjoint belief structures to the AGM framework
inferred← citeshttps://doi.org/10.1109/acsd.2015.18openalex-snapshot
Multi-valued Abstraction Using Lattice Operations
inferred← citeshttps://doi.org/10.1109/icaict.2015.7338530openalex-snapshot
Cognitive measurements for new generation knowledge acquisition systems
inferred← citeshttps://doi.org/10.1109/icsccw.2009.5379417openalex-snapshot
On multi-valued and fuzzy dia-Logics
inferred← citeshttps://doi.org/10.1109/ifsa-nafips.2013.6608531openalex-snapshot
On soft measurements and data mining based on granular pragmatics, multi-valued and fuzzy logics
inferred← citeshttps://doi.org/10.1109/ismvl.1990.122601openalex-snapshot
A four-valued modal logic arising from Monteiro's last algebras
inferred← citeshttps://doi.org/10.1109/ismvl.1990.122627openalex-snapshot
Bilattices in logic programming
inferred← citeshttps://doi.org/10.1109/ismvl.1990.122644openalex-snapshot
Paraconsistent disjunctive deductive databases
inferred← citeshttps://doi.org/10.1145/3012282openalex-snapshot
Multi-valued Simulation and Abstraction Using Lattice Operations
inferred← citeshttps://doi.org/10.1215/00294527-1731407openalex-snapshot
A New Conditional for Naive Truth Theory
inferred← citeshttps://doi.org/10.1305/ndjfl/1039293020openalex-snapshot
Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness
inferred← citeshttps://doi.org/10.14236/ewic/dcc1996.2openalex-snapshot
An Integrated Approach to Verifying Large Circuits : A Case Study
inferred← citeshttps://doi.org/10.14288/1.0051407openalex-snapshot
Compositional model checking of partially ordered state spaces
inferred← citeshttps://doi.org/10.1515/dema-2015-0037openalex-snapshot
Weakly Idempotent Lattices and Bilattices, Non-Idempotent Plonka Functions
inferred← citeshttps://doi.org/10.15633/ss.465openalex-snapshot
Krata podwójna: próba opisu wydarzeń przyszłych za pomocą narzędzi logicznych
inferred← citeshttps://doi.org/10.18778/0138-0680.46.1.2.04openalex-snapshot
Four-Valued Logics BD and DM4: Expansions
inferred← citeshttps://doi.org/10.21146/2074-1472-2013-19-0-39-50openalex-snapshot
Von Wright’s truth-logic and around
inferred← citeshttps://doi.org/10.21146/2074-1472-2016-22-1-13-31openalex-snapshot
Модальная пропозициональная логика истины Tr и ее полнота
inferred← citeshttps://doi.org/10.2307/2586525openalex-snapshot
The anatytic conception of truth and the foundations of arithmetic
inferred← citeshttps://doi.org/10.2307/2586552openalex-snapshot
An abstract algebraic logic approach to tetravalent modal logics
inferred← citeshttps://doi.org/10.2307/420955openalex-snapshot
Construction of Truth Predicates: Approximation Versus Revision
inferred← citeshttps://doi.org/10.26686/ajl.v18i2.6722openalex-snapshot
Strict/Tolerant Logics Built Using Generalized Weak Kleene Logics
inferred← citeshttps://doi.org/10.26686/ajl.v18i7.6576openalex-snapshot
Fixed-point models for paradoxical predicates
inferred← citeshttps://doi.org/10.3217/jucs-016-01-0003openalex-snapshot
Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty
inferred← citeshttps://doi.org/10.3233/fi-1994-201234openalex-snapshot
KLEENE’S THREE VALUED LOGICS AND THEIR CHILDREN
inferred← citeshttps://doi.org/10.48550/arxiv.1010.2552openalex-snapshot
An Algebraic Study of Bilattice-based Logics
inferred← citeshttps://doi.org/10.70675/a810a9c8zea1bz4f1dz89bbz75ac7b5a8406openalex-snapshot
The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra
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.