Results 261 to 270 of about 77,551 (274)
Some of the next articles are maybe not open access.
AGM Contraction in Non-Classical Logics
2012Recovery is certainly the most controversial AGM postulate. Since the first publications in the area many works criticize several aspects of recovery. In order to avoid the undesirable consequences of recovery, Hansson proposes to exchange it by a postulate called relevance. However, in classical logics relevance and recovery are equivalent.
openaire +1 more source
A Framework for Non-Classical Logics
1997The subject of this work is the development and investigation of a \emph{framework} for the modular and uniform representation and implementation of \emph{non-classical logics}, in particular modal and relevance logics. Logics are presented as labelled natural deduction (or sequent) systems, which are proved to be sound and complete with respect to the
openaire +1 more source
Logical Foundations of Non-Classical Science
Filosofiya, metodologiya i istoriya nauki, 2016openaire +1 more source
Quantified modal logic, provability logic, & other non-classical logics
2011openaire +1 more source