Hilbert-Style Axiom Systems for the Matrix-Based Logics RMQ - and RMQ *.

Albert J. J. Anglberger Jonathan Lukic

Published in: Stud Logica (2015)

Keyphrases

management system
expert systems
building blocks
learning systems
modal logic
data sets
website
data model
information systems
intelligent systems
logic programming
inference rules
proof theory