Results 241 to 250 of about 11,095,469 (278)

An efficient relational deductive system for propositional non-classical logics

Journal of Applied Non-Classical Logics, 2006
We describe a relational framework that uniformly supports formalization and automated reasoning in varied propositional modal logics. The proof system we propose is a relational variant of the classical Rasiowa-Sikorski proof system.
Andrea Formisano
exaly   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Equational Reasoning in Non-Classical Logics

Journal of Applied Non-Classical Logics, 1998
The 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.
Marcelo F. Frias, Ewa Orlowska
openaire   +3 more sources

BELIEF REVISION IN NON-CLASSICAL LOGICS

The Review of Symbolic Logic, 2008
In 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
Dov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo   +2 more
openaire   +2 more sources

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, GLIOZZI, Valentina, N. OLIVETTI, POZZATO, GIAN LUCA, C. B. SCHWIND   +4 more
openaire   +8 more sources

Proofs and Countermodels in Non-Classical Logics

Logica Universalis, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Non-classical Logics

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

Non-Classical Logics, Non-Classical Sets, and Non-Classical Physics

1999
Quantum physics and many-valued logics were born nearly simultaneously in the third decade of the XX Century. However, the early attempts at identifying logic able to describe quantum systems with some versions of a three-valued logic failed and the opinion that “quantum logic”, although non-classical, is a two-valued logic prevailed.
openaire   +2 more sources

Labelled Resolution for Classical and Non-classical Logics

Studia Logica, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dov M. Gabbay, Uwe Reyle
openaire   +2 more sources

Association rules and non-classical logics

Proceedings 26th Annual International Computer Software and Applications, 2003
Implication of association rules is compared with material implication and conditional in standard conditional models for conditional logic. Then, association rules are shown to be translated into probability-based graded conditionals. Further cooccurrence as the basis for confidence of association rates is examined and then evidence-based confidence ...
Tetsuya Murai, Michinori Nakata, Yoshiharu Sato   +2 more
openaire   +1 more source

The complexity of some non-classical logics

14th Annual Symposium on Switching and Automata Theory (swat 1973), 1973
Decision procedures for validity in intuitionistic propositional calculus and modal propositional calculus are given which require a running time proportional to a polynomial in the length of the formula on a nondeterministic Turing machine. Using a theorem of Cook's and well-known transformations from intuitionistic to classical and modal to ...
openaire   +2 more sources