Results 11 to 20 of about 109,843 (305)
Neutrosophic Modal Logic [PDF]
Neutrosophic Sets and Systems, 2017 We introduce now for the first time the neutrosophic modal logic. The Neutrosophic Modal Logic includes the neutrosophic operators that express the modalities. It is an extension of neutrosophic predicate logic and of neutrosophic propositional logic.
Florentin Smarandache
doaj +1 more source
IMPLICITINĖ PREDIKATO KVANTIFIKACIJA IR PORT ROYALIO LOGIKA
Problemos, 2004 Straipsnyje analizuojama logikos istorikų Jill Vance Buroker, Sylvaino Auroux ir Jeano-Claude’o Pariente’o pozicija, kad tradicinės logikos pradininkų – Antoine’o Arnauld ir Pierre’o Nicole’io – pažiūrose į kategorinio sakinio semantiką galima įžvelgti ...
Laisvūnas Šopauskas
doaj +20 more sources
Predicate Abstraction via Symbolic Decision Procedures [PDF]
Logical Methods in Computer Science, 2007 We present a new approach for performing predicate abstraction based on symbolic decision procedures. Intuitively, a symbolic decision procedure for a theory takes a set of predicates in the theory and symbolically executes a decision procedure on all ...
Shuvendu K. Lahiri +2 more
doaj +1 more source
A Common Unified Logic for Ḥaqīqī and Khārijī Propositions [PDF]
حکمت و فلسفهI aim to demonstrate that this distinction between the logics of ḥaqīqī and khārijī propositions is incompatible with the history of logic in the Islamic world.
Assadollah Fallahi
doaj +1 more source
Constraints on predicate invention [PDF]
, 1991 This chapter describes an inductive learning method that derives logic programs and invents predicates when needed. The basic idea is to form the least common anti-instance (LCA) of selected seed examples.
Buntine +5 more
core +1 more source
Logical Methods in Computer Science, 2017 This paper presents matching logic, a first-order logic (FOL) variant for specifying and reasoning about structure by means of patterns and pattern matching.
Grigore Rosu
doaj +1 more source
Predicate logic unplugged [PDF]
, 1995 this paper we describe the syntax and semantics of a description language for underspecified semantic representations. This concept is discussed in general and in particular applied to Predicate Logic and Discourse Representation Theory.
Bos, Johan
core +3 more sources
Muslim Logicians on Quantification of Predicate vs. Hamilton’s View [PDF]
حکمت و فلسفه, 2018 According to Muslim logicians, the quantifier, in categorical logic, shows the quantity of the individuals of the subject in a statement; so its place is before the subject.
Seyyed Mohammad Ali Hodjati
doaj +1 more source
Parallel deduction-search algorithm for the predicate logic formulas
Lietuvos Matematikos Rinkinys, 1999 There is not abstract.
Stasys Norgėla
doaj +3 more sources
forall x: Calgary. An Introduction to Formal Logic [PDF]
, 2021 forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order ...
Button, Tim +4 more
core