On the public citation graph
Reasoning with logical bilattices
0 signed · 264 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/3-540-52885-7_80openalex-snapshot
Automatic theorem proving in paraconsistent logics: Theory and implementation
inferredcites →https://doi.org/10.1007/978-94-010-1161-7_2openalex-snapshot
A Useful Four-Valued Logic
inferredcites →https://doi.org/10.1007/bf00245460openalex-snapshot
A logic for reasoning with inconsistency
inferredcites →https://doi.org/10.1007/bf00264250openalex-snapshot
A logic covering undefinedness in program proofs
inferredcites →https://doi.org/10.1016/0020-0255(89)90003-0openalex-snapshot
On interpretation of inconsistent theories
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(92)90214-zopenalex-snapshot
Paraconsistent disjunctive deductive databases
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/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].
inferredcites →https://doi.org/10.1016/0743-1066(93)90031-bopenalex-snapshot
The family of stable models
inferredcites →https://doi.org/10.1016/0890-5401(91)90023-uopenalex-snapshot
Simple consequence relations
inferredcites →https://doi.org/10.1109/ismvl.1990.122627openalex-snapshot
Bilattices in logic programming
inferredcites →https://doi.org/10.1109/lics.1994.316044openalex-snapshot
Logical bilattices and inconsistent data
inferredcites →https://doi.org/10.1305/ndjfl/1093636612openalex-snapshot
On an implication connective of ${\rm RM}$.
inferredcites →https://doi.org/10.1305/ndjfl/1093891487openalex-snapshot
On the theory of inconsistent formal systems.
inferredcites →https://doi.org/10.2307/2274919openalex-snapshot
Natural 3-valued logics—characterization and proof theory
inferredcites →https://doi.org/10.3233/fi-1994-201234openalex-snapshot
KLEENE’S THREE VALUED LOGICS AND THEIR CHILDREN
inferredcites →https://doi.org/10.5617/acta.5764openalex-snapshot
Becoming articulate: women writing on the visual arts in Renaissance Italy
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.200310055openalex-snapshot
A note on dual‐intuitionistic logic
inferred← citeshttps://doi.org/10.1002/malq.201010016openalex-snapshot
Notes on Craig interpolation for LJ with strong negation
inferred← citeshttps://doi.org/10.1002/malq.201500042openalex-snapshot
Paraconsistent double negation as a modal operator
inferred← citeshttps://doi.org/10.1007/11518655_48openalex-snapshot
Bilattice-Based Squares and Triangles
inferred← citeshttps://doi.org/10.1007/11681960_5openalex-snapshot
Preference Modeling by Rectangular Bilattices
inferred← citeshttps://doi.org/10.1007/11896548_40openalex-snapshot
Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach
inferred← citeshttps://doi.org/10.1007/3-540-44533-1_9openalex-snapshot
Inconsistency and Preservation
inferred← citeshttps://doi.org/10.1007/3-540-48747-6_2openalex-snapshot
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations
inferred← citeshttps://doi.org/10.1007/3-540-63172-0_29openalex-snapshot
Four-valued diagnoses for stratified knowledge-bases
inferred← citeshttps://doi.org/10.1007/978-1-4615-5209-3_23openalex-snapshot
Four-Valued Logics for Reasoning with Uncertainty in Prioritized Data
inferred← citeshttps://doi.org/10.1007/978-3-030-06164-7_13openalex-snapshot
Argumentation and Inconsistency-Tolerant Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-030-31136-0_1openalex-snapshot
An Invitation to New Essays on Belnap-Dunn Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-31136-0_14openalex-snapshot
Bilattice Logics and Demi-Negation
inferred← citeshttps://doi.org/10.1007/978-3-030-31136-0_17openalex-snapshot
Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-71258-7_1openalex-snapshot
Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)
inferred← citeshttps://doi.org/10.1007/978-3-030-71258-7_13openalex-snapshot
Connexive Variants of Modal Logics Over FDE
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-030-86059-2_2openalex-snapshot
Constraint Tableaux for Two-Dimensional Fuzzy Logics
inferred← citeshttps://doi.org/10.1007/978-3-030-88708-7_15openalex-snapshot
Assertion, Rejection, and Semantic Universals
inferred← citeshttps://doi.org/10.1007/978-3-031-35759-6_8openalex-snapshot
Bilattice Tableau Calculi with Rough Set Semantics
inferred← citeshttps://doi.org/10.1007/978-3-031-46775-2_2openalex-snapshot
Free Quantification in Four-Valued and Fuzzy Bilattice-Valued Logics
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-82994-9_10openalex-snapshot
Ten Open Problems in Connexive Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-92605-1_38openalex-snapshot
Modeling Silence: A Penta-Valued Paraconsistent Logic
inferred← citeshttps://doi.org/10.1007/978-3-032-11027-5_20openalex-snapshot
Beyond Paraconsistency: A Plea for a Radical Breach with the Aristotelean Orthodoxy in Logic
inferred← citeshttps://doi.org/10.1007/978-3-032-11027-5_5openalex-snapshot
Self-extensionality in Four-Valued Paradefinite Logics
inferred← citeshttps://doi.org/10.1007/978-3-032-12086-1_5openalex-snapshot
Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems
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-29300-4_11openalex-snapshot
Truth, Falsehood, Information and Beyond: The American Plan Generalized
inferred← citeshttps://doi.org/10.1007/978-3-319-33205-5_5openalex-snapshot
LFIs Based on Other Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-40418-9_2openalex-snapshot
Why Paraconsistent Logics?
inferred← citeshttps://doi.org/10.1007/978-3-319-42092-9_32openalex-snapshot
Finding Divergent Executions in Asynchronous Programs
inferred← citeshttps://doi.org/10.1007/978-3-319-70821-8_1openalex-snapshot
Introduction: The Proscriptive Principle
inferred← citeshttps://doi.org/10.1007/978-3-319-70821-8_6openalex-snapshot
Cut-Down Operations on Multilattices
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-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-540-45062-7_42openalex-snapshot
Preferential Logics for Reasoning with Graded Uncertainty
inferred← citeshttps://doi.org/10.1007/978-3-540-45206-5_4openalex-snapshot
Tableaux with Four Signs as a Unified Framework
inferred← citeshttps://doi.org/10.1007/978-3-540-72667-8_29openalex-snapshot
Algorithms for Paraconsistent Reasoning with OWL
inferred← citeshttps://doi.org/10.1007/978-3-540-92701-3_6openalex-snapshot
A Para Consistent Fuzzy Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-12592-8_9openalex-snapshot
Refining Exceptions in Four-Valued Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-15918-3_10openalex-snapshot
Extending Paraconsistent $\mathcal{SROIQ}$
inferred← citeshttps://doi.org/10.1007/978-3-642-30743-0_7openalex-snapshot
Here and There among Logics for Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-40948-6_5openalex-snapshot
A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices
inferred← citeshttps://doi.org/10.1007/978-3-662-59533-6_31openalex-snapshot
SIXTEEN$$_3$$ in Light of Routley Stars
inferred← citeshttps://doi.org/10.1007/978-3-7908-1769-0_5openalex-snapshot
Classical Gentzen-type Methods in Propositional Many-valued Logics
inferred← citeshttps://doi.org/10.1007/978-81-322-2719-9_8openalex-snapshot
Two Consistent Many-Valued Logics for Paraconsistent Phenomena
inferred← citeshttps://doi.org/10.1007/978-94-007-0479-4_4openalex-snapshot
Non-Deterministic Semantics for Logical Systems
inferred← citeshttps://doi.org/10.1007/978-94-015-9309-0_1openalex-snapshot
Negation: Two Points of View
inferred← citeshttps://doi.org/10.1007/978-981-16-9294-9_10openalex-snapshot
Product of Two R-Calculi
inferred← citeshttps://doi.org/10.1007/978-981-16-9294-9_6openalex-snapshot
R-Calculus for $$\mathbf{B}_2^2$$-Valued PL
inferred← citeshttps://doi.org/10.1007/978-981-97-5830-2_5openalex-snapshot
R-Calculus for $$\textbf{B}_2^2$$-Valued FOL
inferred← citeshttps://doi.org/10.1007/978-981-97-5830-2_6openalex-snapshot
R-Calculus for $$\textbf{L}_4$$-Valued FOL
inferred← citeshttps://doi.org/10.1007/978-981-99-6460-4_10openalex-snapshot
Role R-Calculus for Post $$\textbf{L}_4$$-Valued DL
inferred← citeshttps://doi.org/10.1007/978-981-99-6460-4_4openalex-snapshot
R-Calculus for $$\mathbf{B^2_2}$$-Valued DL
inferred← citeshttps://doi.org/10.1007/978-981-99-6460-4_5openalex-snapshot
R-Calculi for Post $$\textbf{L}_4$$-Valued DL
inferred← citeshttps://doi.org/10.1007/978-981-99-6460-4_9openalex-snapshot
Role R-Calculus for $$\mathbf{{B}}^{2}_{2}$$-Valued DL
inferred← citeshttps://doi.org/10.1007/s00012-011-0151-2openalex-snapshot
Varieties of interlaced bilattices
inferred← citeshttps://doi.org/10.1007/s00012-014-0272-5openalex-snapshot
Implicative twist-structures
inferred← citeshttps://doi.org/10.1007/s00012-015-0316-5openalex-snapshot
Distributive bilattices from the perspective of natural duality theory
inferred← citeshttps://doi.org/10.1007/s00012-021-00722-9openalex-snapshot
Galois connections for bilattices
inferred← citeshttps://doi.org/10.1007/s00012-021-00726-5openalex-snapshot
De Morgan clones and four-valued logics
inferred← citeshttps://doi.org/10.1007/s000120050149openalex-snapshot
A duality theory for bilattices
inferred← citeshttps://doi.org/10.1007/s00500-020-05482-7openalex-snapshot
A duality for two-sorted lattices
inferred← citeshttps://doi.org/10.1007/s10469-022-09667-xopenalex-snapshot
Modal Bilattice Logic and its Extensions
inferred← citeshttps://doi.org/10.1007/s10670-022-00528-8openalex-snapshot
One Heresy and One Orthodoxy: On Dialetheism, Dimathematism, and the Non-normativity of Logic
inferred← citeshttps://doi.org/10.1007/s10670-026-01112-0openalex-snapshot
Contradictions, Classical Logic and the Phenomenon of Ambiguity Tolerance: A Socio-political Argument for Paraconsistent and Contradictory Logics
inferred← citeshttps://doi.org/10.1007/s10849-016-9237-8openalex-snapshot
Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators
inferred← citeshttps://doi.org/10.1007/s10849-020-09313-8openalex-snapshot
A Four-Valued Dynamic Epistemic Logic
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/s10849-024-09415-7openalex-snapshot
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics
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-010-9139-1openalex-snapshot
The Power of Belnap: Sequent Systems for SIXTEEN 3
inferred← citeshttps://doi.org/10.1007/s10992-015-9385-3openalex-snapshot
A Gentzen Calculus for Nothing but the Truth
inferred← citeshttps://doi.org/10.1007/s10992-020-09553-wopenalex-snapshot
Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion
inferred← citeshttps://doi.org/10.1007/s10992-020-09568-3openalex-snapshot
A Family of Strict/Tolerant Logics
inferred← citeshttps://doi.org/10.1007/s10992-020-09585-2openalex-snapshot
Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems
inferred← citeshttps://doi.org/10.1007/s10992-021-09611-xopenalex-snapshot
Falsification-Aware Semantics and Sequent Calculi for Classical Logic
inferred← citeshttps://doi.org/10.1007/s10992-022-09659-3openalex-snapshot
Embedding Friendly First-Order Paradefinite and Connexive Logics
inferred← citeshttps://doi.org/10.1007/s10992-023-09708-5openalex-snapshot
The Logic of Lexical Connectives
inferred← citeshttps://doi.org/10.1007/s10992-023-09709-4openalex-snapshot
On the Provable Contradictions of the Connexive Logics C and C3
inferred← citeshttps://doi.org/10.1007/s11225-005-8468-5openalex-snapshot
A Non-deterministic View on Non-classical Negations
inferred← citeshttps://doi.org/10.1007/s11225-005-8471-xopenalex-snapshot
Gentzen-Type Methods for Bilattice Negation
inferred← citeshttps://doi.org/10.1007/s11225-005-8476-5openalex-snapshot
Nelson's Negation on the Base of Weaker Versions of Intuitionistic 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/s11225-009-9173-6openalex-snapshot
Proof Systems Combining Classical and Paraconsistent Negations
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-012-9376-0openalex-snapshot
Priestley Duality for Bilattices
inferred← citeshttps://doi.org/10.1007/s11225-013-9494-3openalex-snapshot
Bilattices with Implications
inferred← citeshttps://doi.org/10.1007/s11225-013-9533-0openalex-snapshot
A Hierarchy of Weak Double Negations
inferred← citeshttps://doi.org/10.1007/s11225-013-9534-zopenalex-snapshot
Bi-facial Truth: a Case for Generalized Truth Values
inferred← citeshttps://doi.org/10.1007/s11225-014-9546-3openalex-snapshot
The Logic of Generalized Truth Values and the Logic of Bilattices
inferred← citeshttps://doi.org/10.1007/s11225-014-9597-5openalex-snapshot
Generalizing Functional Completeness in Belnap-Dunn Logic
inferred← citeshttps://doi.org/10.1007/s11225-015-9649-5openalex-snapshot
On All Strong Kleene Generalizations of Classical Logic
inferred← citeshttps://doi.org/10.1007/s11225-016-9651-6openalex-snapshot
Natural Dualities Through Product Representations: Bilattices and Beyond
inferred← citeshttps://doi.org/10.1007/s11225-016-9695-7openalex-snapshot
Rivals to Belnap–Dunn Logic on Interlaced Trilattices
inferred← citeshttps://doi.org/10.1007/s11225-017-9720-5openalex-snapshot
Interpolation Methods for Dunn Logics and Their Extensions
inferred← citeshttps://doi.org/10.1007/s11225-017-9721-4openalex-snapshot
Four-Valued Paradefinite Logics
inferred← citeshttps://doi.org/10.1007/s11225-017-9748-6openalex-snapshot
40 years of FDE: An Introductory Overview
inferred← citeshttps://doi.org/10.1007/s11225-017-9752-xopenalex-snapshot
Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant
inferred← citeshttps://doi.org/10.1007/s11225-017-9753-9openalex-snapshot
Disentangling FDE-Based Paraconsistent Modal Logics
inferred← citeshttps://doi.org/10.1007/s11225-017-9755-7openalex-snapshot
Sequent Calculi for Semi-De Morgan and De Morgan Algebras
inferred← citeshttps://doi.org/10.1007/s11225-018-9837-1openalex-snapshot
Valuations: Bi, Tri, and Tetra
inferred← citeshttps://doi.org/10.1007/s11225-019-09863-4openalex-snapshot
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic
inferred← citeshttps://doi.org/10.1007/s11225-020-09897-zopenalex-snapshot
A General Framework for $$ {FDE}$$-Based Modal Logics
inferred← citeshttps://doi.org/10.1007/s11225-020-09898-yopenalex-snapshot
Semi De Morgan Logic Properly Displayed
inferred← citeshttps://doi.org/10.1007/s11225-020-09939-6openalex-snapshot
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi
inferred← citeshttps://doi.org/10.1007/s11225-021-09948-zopenalex-snapshot
Neighbourhood Semantics for FDE-Based Modal Logics
inferred← citeshttps://doi.org/10.1007/s11225-022-09985-2openalex-snapshot
An Analysis of Poly-connexivity
inferred← citeshttps://doi.org/10.1007/s11225-024-10121-5openalex-snapshot
Combining Swap Structures: The Case of Paradefinite Ivlev-Like Modal Logics Based on $$FDE$$
inferred← citeshttps://doi.org/10.1007/s11225-025-10208-7openalex-snapshot
Abelian Logic on the Bochum Plan (and the American Plan as Well)
inferred← citeshttps://doi.org/10.1007/s11225-026-10230-3openalex-snapshot
Four Imprints of Belnap’s Useful Four-Valued Logic in Computer Science
inferred← citeshttps://doi.org/10.1007/s11225-026-10250-zopenalex-snapshot
Essence and Accident Modalities Meet Belnapian Truth Values
inferred← citeshttps://doi.org/10.1007/s11229-019-02267-wopenalex-snapshot
Tarskian consequence relations bilaterally: some familiar notions
inferred← citeshttps://doi.org/10.1007/s11229-025-05220-2openalex-snapshot
Queer feminist logic and contradictions: Or how logic and feminism can be relevant to each other
inferred← citeshttps://doi.org/10.1007/s11245-011-9111-xopenalex-snapshot
A Non-Inferentialist, Anti-Realistic Conception of Logical Truth and Falsity
inferred← citeshttps://doi.org/10.1007/s11787-020-00254-1openalex-snapshot
The Normal and Self-extensional Extension of Dunn–Belnap Logic
inferred← citeshttps://doi.org/10.1007/s11787-026-00426-5openalex-snapshot
Genuinely Non-traditional Logics
inferred← citeshttps://doi.org/10.1007/s40879-019-00344-5openalex-snapshot
Correspondence analysis and automated proof-searching for first degree entailment
inferred← citeshttps://doi.org/10.1016/j.apal.2011.03.001openalex-snapshot
Completeness and cut-elimination theorems for trilattice logics
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.apal.2020.102830openalex-snapshot
Modal extension of ideal paraconsistent four-valued logic and its subsystem
inferred← citeshttps://doi.org/10.1016/j.artint.2021.103603openalex-snapshot
Propositional and predicate logics of incomplete information
inferred← citeshttps://doi.org/10.1016/j.artint.2024.104110openalex-snapshot
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
inferred← citeshttps://doi.org/10.1016/j.entcs.2016.09.039openalex-snapshot
Bitopology and Four-valued Logic
inferred← citeshttps://doi.org/10.1016/j.entcs.2020.10.012openalex-snapshot
Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts
inferred← citeshttps://doi.org/10.1016/j.fss.2009.12.017openalex-snapshot
Paraconsistent semantics for Pavelka style fuzzy sentential logic
inferred← citeshttps://doi.org/10.1016/j.fss.2018.05.007openalex-snapshot
Bilattice logic properly displayed
inferred← citeshttps://doi.org/10.1016/j.jal.2013.03.009openalex-snapshot
A QBF-based formalization of abstract argumentation semantics
inferred← citeshttps://doi.org/10.1016/j.jcss.2024.103576openalex-snapshot
Towards declarative comparabilities: Application to functional dependencies
inferred← citeshttps://doi.org/10.1016/j.procs.2022.09.447openalex-snapshot
Impact Logic: Reasoning with resources and losses
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.04.005openalex-snapshot
Any-world assumptions in logic programming
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.1016/s0004-3702(98)00032-0openalex-snapshot
The value of the four values
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00126-0openalex-snapshot
Multi-valued logic programming semantics an algebraic approach
inferred← citeshttps://doi.org/10.1016/s1874-5857(07)80004-5openalex-snapshot
Many-Valued Logic and its Philosophy
inferred← citeshttps://doi.org/10.1017/s1471068405002619openalex-snapshot
Epistemic foundation of stable model semantics
inferred← citeshttps://doi.org/10.1017/s1471068413000069openalex-snapshot
Truth versus information in logic programming
inferred← citeshttps://doi.org/10.1017/s1755020309090212openalex-snapshot
SEQUENT CALCULI FOR SOME TRILATTICE LOGICS
inferred← citeshttps://doi.org/10.1017/s1755020318000308openalex-snapshot
ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
inferred← citeshttps://doi.org/10.1017/s1755020319000121openalex-snapshot
BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES
inferred← citeshttps://doi.org/10.1017/s1755020319000261openalex-snapshot
PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS
inferred← citeshttps://doi.org/10.1017/s1755020326101063openalex-snapshot
CONTRADICTIONS WITHOUT NEGATION AND A PROOF-THEORETIC, BILATERALIST ACCOUNT OF CONNEXIVE LOGICS
inferred← citeshttps://doi.org/10.1023/a:1006020529663openalex-snapshot
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
inferred← citeshttps://doi.org/10.1023/a:1009965410477openalex-snapshot
The Algebraic Semantics of Interrogative NPs
inferred← citeshttps://doi.org/10.1023/a:1014369623998openalex-snapshot
Bilattices and the Semantics of Natural Language Questions
inferred← citeshttps://doi.org/10.1023/a:1016358201013openalex-snapshot
Paraconsistent Declarative Semantics for Extended Logic Programs
inferred← citeshttps://doi.org/10.1080/11663081.2012.737154openalex-snapshot
An infinity of super-Belnap logics
inferred← citeshttps://doi.org/10.1080/11663081.2016.1153930openalex-snapshot
The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic
inferred← citeshttps://doi.org/10.1080/11663081.2018.1534487openalex-snapshot
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
inferred← citeshttps://doi.org/10.1080/11663081.2019.1644079openalex-snapshot
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value
inferred← citeshttps://doi.org/10.1080/11663081.2019.1647654openalex-snapshot
Two proofs of the algebraic completeness theorem for multilattice logic
inferred← citeshttps://doi.org/10.1080/11663081.2023.2178780openalex-snapshot
Provability multilattice logic
inferred← citeshttps://doi.org/10.1093/jigpal/8.2.119openalex-snapshot
General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
inferred← citeshttps://doi.org/10.1093/jigpal/jzae115openalex-snapshot
Quantifiers in connexive logic (in general and in particular)
inferred← citeshttps://doi.org/10.1093/jigpal/jzaf056openalex-snapshot
A note on the expressive completeness of LP in a metatheory without negation
inferred← citeshttps://doi.org/10.1093/jigpal/jzi030openalex-snapshot
Multi-valued Calculi for Logics Based on Non-determinism
inferred← citeshttps://doi.org/10.1093/jigpal/jzm032openalex-snapshot
The Rules of Logic Composition for the Bayesian Epistemic e-Values
inferred← citeshttps://doi.org/10.1093/jigpal/jzq041openalex-snapshot
The logic of distributive bilattices
inferred← citeshttps://doi.org/10.1093/jigpal/jzt044openalex-snapshot
An expansion of first-order Belnap-Dunn logic
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/jzv033openalex-snapshot
The attack as strong negation, part I
inferred← citeshttps://doi.org/10.1093/jigpal/jzy023openalex-snapshot
Yet another paradefinite logic: The role of conflation1
inferred← citeshttps://doi.org/10.1093/jigpal/jzy070openalex-snapshot
Non-involutive twist-structures
inferred← citeshttps://doi.org/10.1093/jigpal/jzz021openalex-snapshot
Partiality and its dual in natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value
inferred← citeshttps://doi.org/10.1093/logcom/11.6.761openalex-snapshot
The Trilattice of Constructive Truth Values
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.1093/logcom/exac028openalex-snapshot
Basic modal congruent and monotonic multilattice logics
inferred← citeshttps://doi.org/10.1093/logcom/exag042openalex-snapshot
Exact truth and double-rail logics
inferred← citeshttps://doi.org/10.1093/logcom/exi013openalex-snapshot
Preferential and Preferential-discriminative Consequence Relations
inferred← citeshttps://doi.org/10.1093/logcom/exi030openalex-snapshot
Pivotal and Pivotal-discriminative Consequence Relations
inferred← citeshttps://doi.org/10.1093/logcom/exu019openalex-snapshot
Trilattice logic: an embedding-based approach
inferred← citeshttps://doi.org/10.1093/logcom/exv038openalex-snapshot
Four-valued modal logic: Kripke semantics and duality
inferred← citeshttps://doi.org/10.1093/logcom/exw015openalex-snapshot
Embedding from multilattice logic into classical logic and vice versa
inferred← citeshttps://doi.org/10.1093/logcom/exz010openalex-snapshot
A bilateral Hilbert-style investigation of 2-intuitionistic logic
inferred← citeshttps://doi.org/10.1109/icaict.2015.7338530openalex-snapshot
Cognitive measurements for new generation knowledge acquisition systems
inferred← citeshttps://doi.org/10.1109/icsmc.2002.1176380openalex-snapshot
Four valued propositional logic system FL
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.2001.924586openalex-snapshot
Classical Gentzen-type methods in propositional many-valued logics
inferred← citeshttps://doi.org/10.1109/ismvl.2013.25openalex-snapshot
Embedding-Based Methods for Trilattice Logic
inferred← citeshttps://doi.org/10.1109/ismvl.2013.43openalex-snapshot
On Natural Eight-Valued Reasoning
inferred← citeshttps://doi.org/10.1109/ismvl.2015.14openalex-snapshot
Cut-Down Operations on Bilattices
inferred← citeshttps://doi.org/10.1109/ismvl.2017.13openalex-snapshot
Phase Semantics for Multilattice Formalism
inferred← citeshttps://doi.org/10.1109/ismvl.2017.14openalex-snapshot
Extending Ideal Paraconsistent Four-Valued Logic
inferred← citeshttps://doi.org/10.1109/ismvl.2018.00021openalex-snapshot
Track-Down Operations on Bilattices
inferred← citeshttps://doi.org/10.1109/ismvl.2019.00029openalex-snapshot
Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic
inferred← citeshttps://doi.org/10.1109/lics.1998.705648openalex-snapshot
The logical role of the four-valued bilattice
inferred← citeshttps://doi.org/10.1109/lics.2013.50openalex-snapshot
Kripke Semantics for Modal Bilattice Logic
inferred← citeshttps://doi.org/10.1109/skg.2018.00010openalex-snapshot
The Modalized Many-Valued Logic
inferred← citeshttps://doi.org/10.1109/tai.1996.560481openalex-snapshot
Automatic diagnoses for properly stratified knowledge-bases
showing the first 200 of 241 · page through all 241
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.