Constrained Pseudo-Propositional Logic
Sign Up to like & getrecommendations! Published in 2020 at "Logica Universalis"
DOI: 10.1007/s11787-020-00266-x
Abstract: Propositional logic, with the aid of SAT solvers, has become capable of solving a range of important and complicated problems. Expanding this range, to contain additional varieties of problems, is subject to the complexity resulting… read more here.
Keywords: propositional logic; constrained pseudo; logic; pseudo propositional ... See more keywords
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
Sign Up to like & getrecommendations! Published in 2022 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068422000254
Abstract: Abstract With help of a compact Prolog-based theorem prover for Intuitionistic Propositional Logic, we synthesize minimal assumptions under which a given formula formula becomes a theorem. After applying our synthesis algorithm to cover basic abductive… read more here.
Keywords: reasoning intuitionistic; intuitionistic propositional; abductive reasoning; synthesis ... See more keywords
Measuring inconsistency in some branching time logics
Sign Up to like & getrecommendations! Published in 2021 at "Journal of Applied Non-Classical Logics"
DOI: 10.1080/11663081.2021.1915688
Abstract: Branching time logics have been studied in computer science since the 1980s primarily to model the tree of computations for discrete transition systems. Inconsistency measures for propositional logic have been studied since the early 2000s… read more here.
Keywords: propositional logic; inconsistency; time; time logics ... See more keywords