Results 111 to 120 of about 816,807 (142)
Some of the next articles are maybe not open access.
Methods for Automated Theorem Proving in Nonclassical Logics
IEEE Transactions on Computers, 1976In this paper we outline two basic methods for automated theorem proving in nonclassical logics, including modal, many-valued, relevance, and intuitionistic logics. We discuss advantages and disadvantages of each method and give several illustrative examples.
C. Morgan
semanticscholar +3 more sources
, 2011
There are two main strategies to extend CERES to nonclassical logics: Nonclassical logics can sometimes be embedded into classical logics, i.e. their semantics can be classically formalized. Nonclassical proofs can thereby be translated into classical ones and CERES can be applied. This, however, changes the meaning of the information obtained from cut-
M. Baaz, A. Leitsch
semanticscholar +2 more sources
There are two main strategies to extend CERES to nonclassical logics: Nonclassical logics can sometimes be embedded into classical logics, i.e. their semantics can be classically formalized. Nonclassical proofs can thereby be translated into classical ones and CERES can be applied. This, however, changes the meaning of the information obtained from cut-
M. Baaz, A. Leitsch
semanticscholar +2 more sources
Automated reasoning and nonclassical logics: Introduction
Journal of Automated Reasoning, 1991In the mid-1980s researchers in the computer science and artificial intelligence communities began to take an interest in logics studied by logicians and philosophers since at least Aristotle in the fourth century BC. These are logics such as deontic, epistemic, intuitionistic, modal, paraconsistent, relevant, and temporal logics, all of which are ...
M. McRobbie
semanticscholar +2 more sources
REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
The Review of Symbolic Logic, 2018The operations of expansion and refinement on nondeterministic matrices (Nmatrices) are composed to form a new operation called rexpansion. Properties of this operation are investigated, together with their effects on the induced consequence relations ...
A. Avron, Yoni Zohar
semanticscholar +3 more sources
Relational Semantics for Nonclassical Logics: Formulas are Relations
, 1994Possible world semantics of logical languages introduced by Kanger and Kripke around 1960 is the most widely used technique for formal presentation of nonclassical logics. In spite of some shortcomings connected with the incompleteness phenomenon, it provides an intuitively clear interpretation of the fact that a formula is satisfied in some possible ...
E. Orlowska
semanticscholar +2 more sources
Nonclassical Logics and Their Applications
Logic in Asia: Studia Logica Library, 2020semanticscholar +2 more sources
Classic Formal Logic and Nonclassical Logics: Basis of Research on Neural Networks
, 2016Luis Fernando Cruz Quiroga, W. Moreno
semanticscholar +2 more sources
Relational Formalisation of Nonclassical Logics
Relational Methods in Computer Science, 1997E. Orlowska
semanticscholar +2 more sources