Login / Signup
Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders between Sentential Logics.
Juan Soliveres Tur
Juan Climent Vidal
Published in:
Notre Dame J. Formal Log. (2008)
Keyphrases
</>
expressive power
optimal control
valued logic
modal logic
inference rules
range images
classical logic
epistemic logic
real world
nonmonotonic logics
proof theory
propositional calculus
knowledge base
description logics