Report - Abstract Valuation Semantics · Representation of logics in algebraic setting (restricted to propositional based logics) Many-sorted and non-truth-functional logics Propositional

Please pass captcha verification before submit form