Results 281 to 290 of about 420,653 (327)

Determinism and the Origins of Temporal Logic

2000
The founder of symbolic temporal logic, A. N. Prior was to a great extent motivated by philosophical concerns. The philosophical problem with which he was most concerned was determinism versus free will. The aim of this paper is to point out some crucial interrelations between this philosophical problem and temporal logic.
Braüner, Torben, Hasle, P., Øhrstrøm, P.   +2 more
openaire   +3 more sources

?-Terms, logic, determiners and quantifiers

Journal of Logic, Language and Information, 1992
In this paper, a theory T H based on combining type freeness with logic is introduced and is then used to build a theory of properties which is applied to determiners and quantifiers.
openaire   +2 more sources

Logical problem determination for SNA networks

IBM Systems Journal, 1983
Problem determination on a Systems Network Architecture network has dealt mostly with error detection on physical network components. Adequate logical error-detection mechanisms associated with the logical network (software-related) errors have been only recently provided with the announcement of a new on-line interactive package called the Network ...
Robert A. Weingarten, Edward E. Iacobucci   +1 more
openaire   +1 more source

PAC-learnability of determinate logic programs

Proceedings of the fifth annual workshop on Computational learning theory, 1992
The field of Inductive Logic Programming (ILP) is concerned with inducing logic programs from examples in the presence of background knowledge. This paper defines the ILP problem, and describes the various syntactic restrictions that are commonly used for learning first-order representations.
Saso Dzeroski, Stephen H. Muggleton, Stuart Russell 0001   +2 more
openaire   +1 more source

A Note on Bell’s Theorem Logical Consistency

Foundations of physics, 2020
Counterfactual definiteness is supposed to underlie the Bell theorem. An old controversy exists among those who reject the theorem implications by rejecting counterfactual definiteness and those who claim that, since it is a direct consequence of ...
Justo Pastor Lambare, Rodney Franco
semanticscholar   +1 more source

Logical problem determination in an SNA network

Proceedings of the May 16-19, 1983, national computer conference on - AFIPS '83, 1983
Until recently, problem determination on a systems network architecture (SNA) network has dealt mostly with error detection on physical network components. Logical-error detection mechanisms associated with logical-network (software-related) errors were not adequately provided until the recent announcement of a new on-line interactive package called ...
Robert A. Weingarten, Edward E. Iacobucci   +1 more
openaire   +1 more source

Non-determinism in logic-based languages

Annals of Mathematics and Artificial Intelligence, 1991
The use of non-determinism in logic-based languages is motivated using pragmatic and theoretical considerations. Non-deterministic database queries and updates occur naturally, and there exist non-deterministic implementations of various languages.
Serge Abiteboul, Victor Vianu
openaire   +1 more source

The logics for the complexity classes with limited non-determinism

Journal of Logic and Computation
This paper presents the logics with second-order quantifiers that range over relations of polylogarithmic size (log-quantifiers). The logic $\text{SO}^{\text{plog}} \text{-} \text{FO}$ is constituted of the formulas that extend first-order formulas by ...
Kexu Wang, Shiguang Feng, Xishun Zhao
semanticscholar   +1 more source

Intermediate predicate logics determined by ordinals

Journal of Symbolic Logic, 1990
AbstractFor each ordinal α > 0, L(α) is the intermediate predicate logic characterized by the class of all Kripke frames with the poset α and with constant domain. This paper will be devoted to a study of logics of the form L(α). It will be shown that for each uncountable ordinal of the form α + η with a finite or a countable η(> 0), there exists
MINARI, PIERLUIGI, M. Takano, H. Ono
openaire   +2 more sources

Free will vs determinism: contribution of Ockham

Muallim Journal of Social Science and Humanities
The discussion of free will and determinism is one of the most prominent topics in philosophy, with a long history of debate. Numerous philosophers and theologians have explored this topic from various ideological perspectives, resulting in diverse ...
B.S.M.Mendis
semanticscholar   +1 more source