Results 301 to 310 of about 8,631,344 (363)
Some of the next articles are maybe not open access.
Annals of Mathematics and Artificial Intelligence, 2007 In this paper, we propose a new nonmonotonic logic called general default logic. On the one hand, it generalizes Reiter's default logic by adding to it rule-like operators used in logic programming. On the other hand, it extends logic programming by allowing arbitrary propositional formulas. We show that with this new logic, one can formalize naturally
Zhou, Yi, Lin, Fangzhen, Zhang, Yan
openaire +3 more sources
A General Logic Synthesis Framework for Memristor-based Logic Design
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2019Memristor-based logic design gives an alternative solution to improve the energy efficiency of computing systems, benefiting from combining the memory with computing units.
Zhenhua Zhu +7 more
semanticscholar +1 more source
Logical Mistakes, Logical Aliens, and the Laws of Kant’s Pure General Logic
Mind, 2018There are two ways interpreters have tended to understand the nature of the laws of Kant’s pure general logic. On the first, these laws are unconditional norms for how we ought to think, and will govern anything that counts as thinking.
Tyke Nunez
semanticscholar +1 more source
The logic of algebraic rules as a generalization of equational logic [PDF]
Studia Logica, 1983 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Mathematical Logic Quarterly, 1999
AbstractIn this paper we make an attempt to study classes of models by using general logics. We do not believe that Lww is always the best logic for analyzing a class of models. Let K be a class of models and L a logic. The main assumptions we make about K and C are that K has the L‐amalgamation property and, later in the paper, that K does not omit L ...
openaire +3 more sources
AbstractIn this paper we make an attempt to study classes of models by using general logics. We do not believe that Lww is always the best logic for analyzing a class of models. Let K be a class of models and L a logic. The main assumptions we make about K and C are that K has the L‐amalgamation property and, later in the paper, that K does not omit L ...
openaire +3 more sources
Generalizations of the Continuous Logic
Automation and Remote Control, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Journal of Logic and Computation, 1991
Summary: Kleene's well-known strong three-valued logic is shown to be one of a family of logics with similar mathematical properties. These logics are produced by an intuitively natural construction. The resulting logics have direct relationships with bilattices.
openaire +1 more source
Summary: Kleene's well-known strong three-valued logic is shown to be one of a family of logics with similar mathematical properties. These logics are produced by an intuitively natural construction. The resulting logics have direct relationships with bilattices.
openaire +1 more source