Login / Signup
The L[Pi] and L[Pi1/2]propositional and predicate logics.
Petr Cintula
Published in:
Fuzzy Sets Syst. (2001)
Keyphrases
</>
first order logic
expressive power
real time
modal logic
horn clauses
inference rules
propositional logic
default logic
propositional calculus