Results 31 to 40 of about 862,810 (224)

Necessity in the Thought of Avicenna [PDF]

حکمت و فلسفه, 2018
To Avicenna, the relation between the subject and the predicate is of three kinds: possibility, necessity, and impossibility. Impossibility is the same as necessary non-existence. The word ‘modal’ in modal logic refers to these three.
milad omrani, Fereshteh Nabati
doaj   +1 more source

Agile Logical Semantics for Natural Languages

Information
This paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of predicate abstraction is introduced that provides a simple mechanism for logical aggregation of predicates and for logical typing.
Vincenzo Manca
doaj   +1 more source

Prevendo Inferências Lógico-Predicativas no Processamento de Texto

Interamerican Journal of Psychology, 2007
Previous investigations had established that sentential-logic inferences are made effortlessly during text processing. Three experiments extended this investigation to predicate-logic inferences in text comprehension.
David P. O`Brien, Antonio Roazzi, Maria da Graça B. B. Dias, Jitka Soskova   +3 more
doaj  

Formalization of Linear Space Theory in the Higher-Order Logic Proving System

Journal of Applied Mathematics, 2013
Theorem proving is an important approach in formal verification. Higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and stronger semantics. Higher-order logic is more expressive.
Jie Zhang, Danwen Mao, Yong Guan
doaj   +1 more source

Finite predicate-driven logic networks method for enhanced education data analysis

Радіоелектронні і комп'ютерні системи
The subject matter of the study is intelligent data analysis in the field of academic information. The goal of the study is to create a mathematical model for analyzing students' academic information using the predicate-driven logic networks method ...
Zoia Dudar, Andrii Kozyriev
doaj   +1 more source

$\beta$ Algorithm: A New Probabilistic Process Learning Approach for Big Data in Healthcare

IEEE Access, 2019
In this paper, a new process learning framework that is based on probabilistic learning and predicate logic is proposed. The input of this framework is a set of log files, and the output is a probabilistic predicate-based workflow that describes the ...
Maha Zayoud, Yehia Kotb, Sorin Ionescu
doaj   +1 more source

THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION

Manuscrito, 2015
This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze . We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us
MÉVEN CADET, MARCO PANZA
doaj   +1 more source

A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic

, 1966
Takeuti [3] showed that the consistency of analysis (i.e. second order number theory) is finitistically implied by the Hauptsatz for second order logic» i.e. by the proposition that every theorem of this system is derivable without cut.
BY W. W. Tait
semanticscholar   +1 more source

Plural Intensional Presuppositional predicate calculus (PIP)

Glossa
One successful branch of natural language semantics uses first order predicate calculus and set theory, well-studied systems of mathematics in their own right, as meta-languages for natural-language meanings.
Ezra Keshet, Steven Abney
doaj   +2 more sources

Representation Theorems for Strong Predicate Exchangeability in Pure Inductive Logic [PDF]

, 2015
Malte S. Kließ
openalex   +1 more source