Results 111 to 120 of about 1,465 (138)
Some of the next articles are maybe not open access.
2010
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-
Matthias Baaz, Alexander Leitsch
openaire +1 more source
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-
Matthias Baaz, Alexander Leitsch
openaire +1 more source
Set Theory for Nonclassic Logics
2001This chapter is devoted to showing how the study of nonclassic logic provides a simple yet significant arena where to take advantage of the capability of set theory to provide a common formalism to encode a variety of specific logical languages. Moreover, the axiomatic set-theoretic systems chosen for the various encodings give examples of uses of the ...
Domenico Cantone +2 more
openaire +1 more source
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 ...
openaire +1 more source
Belief revision in a nonclassical logic
1996The original theory of belief revision by Alchourron, Gardenfors, and Makinson (AGM theory) is based on classical logic. Properties like consistency and logical consequence play an important role in their postulates which define the different types of belief change.
Gerhard Lakemeyer, Wilfried Lang
openaire +1 more source
REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
The Review of Symbolic Logic, 2018AbstractThe 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.
Avron, Arnon, Zohar, Yoni
openaire +2 more sources
The Logic of Nonclassical Physics
1989In this chapter we introduce a mathematical formulation for the foundations of quantum physics.
openaire +1 more source
Games, Modalities and Analytic Proofs in Nonclassical Logics
2021The present thesis deals with three different topics in the proof theory of nonclassical logics. We first investigate logics which are presented as analytic hypersequent calculi. Using a projection of cutfree hypersequent proofs onto proofs in the sequent calculus, we obtain various strengthenings of the deduction theorem. In the second part we develop
openaire +1 more source
Nonclassical models for logic programs
2005We present some results on semantics for logic programs. We interpret logic programs in Kripke models. They connect the area of logic programming and that of nonclassical logics. New connectives are carried over dynamic logic to logic programs, resulting in so-called predicate programs.
openaire +1 more source
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 ...
openaire +1 more source