Results 241 to 250 of about 77,551 (274)
Problem of Existence of Joint Distribution on Quantum Logic. [PDF]
Entropy (Basel)Nánásiová O +2 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
META-CLASSICAL NON-CLASSICAL LOGICS
The Review of Symbolic LogicAbstractRecently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of ‘increasingly classical’ logics—that is, logics that are classical at the level of ...
BARRIO, EDUARDO +2 more
openaire +4 more sources
Equational Reasoning in Non-Classical Logics
Journal of Applied Non-Classical Logics, 1998The purpose of this paper is to develop an equational formalism that is capable of modeling a great variety of applied nonclassical logics and of simulating nonclassical means of reasoning. The formalism is based on relation algebras augmented with a fork operator which are known as fork algebras.
Frias, Marcelo F., Orłowska, Ewa
openaire +2 more sources
Natural Deduction for Non-Classical Logics
Studia Logica, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BASIN D., MATTHEWS S., VIGANO', Luca
openaire +4 more sources
BELIEF REVISION IN NON-CLASSICAL LOGICS
The Review of Symbolic Logic, 2008In this article, we propose a belief revision approach for families of (non-classical) logics whose semantics are first-order axiomatisable. Given any such (non-classical) logic $L$, the approach enables the definition of belief revision operators for $L$, in terms of a belief revision operation satisfying the postulates for revision theory proposed by
Gabbay, Dov +2 more
openaire +2 more sources
2017
This chapter surveys some non-classical logics. They are closely related to the foundations of rough set theory. We provide the basics of modal, many-valued, intuitionistic and paraconsistent logic.
Seiki Akama, Tetsuya Murai, Yasuo Kudo
openaire +1 more source
This chapter surveys some non-classical logics. They are closely related to the foundations of rough set theory. We provide the basics of modal, many-valued, intuitionistic and paraconsistent logic.
Seiki Akama, Tetsuya Murai, Yasuo Kudo
openaire +1 more source
Non-classical logics for knowledge representation and reasoning [PDF]
Intelligenza Artificiale: The international journal of the AIxIA, 2011 We briefly outline our research activity, started in the 90s, in the field of non-classical logics. In particular, we describe our activity on the use of non-classical logics for knowledge representation and on proof methods for non-monotonic and conditional logics.
L. GIORDANO +4 more
openaire +5 more sources