- Author:
- Christopher Cherniak
An argument to reject the ''universal acceptance of logic'' thesis and its implications.
Recommendations
Turner's Logic of Universal Causation, Propositional Logic, and Logic Programming
LPNMR 2013: Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning - Volume 8148Turner's logic of universal causation is a general logic for nonmonotonic reasoning. It has its origin in McCain and Turner's causal action theories which have been translated to propositional logic and logic programming with nested expressions. In this ...
A Universal Logic Propositional Calculus System Based on 1-level Universal Operation Models
FSKD '09: Proceedings of the 2009 Sixth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 07Universal logic principle has given 1-level universal conjunction operation model, universal disjunction operation model and universal implication operation model. A propositional calculus formal deductive system LU1based on these 1-level operation ...
On Semantics for the Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection
The logic of acceptance and rejection (AEL2) is a nonmonotonic formalism in the spirit of Moore's autoepistemic logic (AEL). AEL2 is to represent knowledge of an ideal rational agent who makes decisions about pieces of information. The case of ...