Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sandra M. López
A 2-Set-Up Routley-Meyer Semantics for the 4-Valued Relevant Logic E4
Bulletin of the Section of Logic
Philosophy
Logic
Related publications
Truthmaker Semantics for Relevant Logic
Journal of Philosophical Logic
Philosophy
Many-Valued Logic: Beyond Algebraic Semantics
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
A Four-Valued Logic for Rough Set-Like Approximate Reasoning
Four-Valued Modal Logic: Kripke Semantics and Duality
Figure 4: Experiment 2 Set Up.
Cc⊤: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Figure 4: Set Up.
A Four Valued Logic
Bialgebraic Semantics for Logic Programming
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
