Login / Signup
Generating proof systems for three-valued propositional logics.
Vitor Greati
Giuseppe Greco
Sérgio Marcelino
Alessandra Palmigiano
Umberto Rivieccio
Published in:
CoRR (2024)
Keyphrases
</>
distributed systems
inference rules
computer systems
database
management system
default logic
proof theory
information retrieval
search engine
expert systems
complex systems
retrieval systems
fixed point
modal logic
propositional logic
epistemic logic