Super-Łukasiewicz logics expanded by Δ.

Aldo V. Figallo Aldo Figallo Orellano Martín Figallo

Published in: Fuzzy Sets Syst. (2023)

Keyphrases

expressive power
modal logic
inference rules
proof theory
propositional calculus
classical logic
conditional logic
knowledge representation formalisms
real time
decision procedures
epistemic logic
proof theoretic