Results 131 to 140 of about 816,807 (142)
Some of the next articles are maybe not open access.
The Logic of Nonclassical Physics
1989In this chapter we introduce a mathematical formulation for the foundations of quantum physics.
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
These degrees go to eleven: fuzzy logics and gradable predicates
Synthese, 2022P. Cintula +3 more
semanticscholar +1 more source
On the Adequacy of a Nonclassical Logic for Quantum Theory
1988The aim of this paper is to assess whether and at which level a nonclassical logic can be found that is satisfactory for a more adequate understanding of quantum theory. After analyzing the most meaningful proposals of quantum logic, we reach the following conclusions: At the level of the theory it is hard to find arguments in favor of the advisability
openaire +1 more source
Nonclassical logics with identity connective and their algebraic characterization
, 2000石井 忠夫
semanticscholar +1 more source
Proof theoretical studies of classical/nonclassical logics
, 1995鹿島 亮
semanticscholar +1 more source
Corner on directions in nonclassical logic
Journal of Logic and Computation, 2001openaire +1 more source
Quantification in Nonclassical Logic
2007Gabbay, Dov, Shehtman, V, Skvortsov, D
openaire +1 more source