Results 291 to 300 of about 939,241 (354)

Regular Expressions and Predicate Logic in Finite-State Language Processing

Finite-State Methods and Natural Language Processing, 2009
This paper proposes an extension to the formalism of regular expressions with a form of predicate logic where quantified propositions apply to substrings.
Mans Hulden
semanticscholar   +1 more source

A Logical Framework for Graded Predicates

2017
In this position paper we present a logical framework for modelling reasoning with graded predicates. We distinguish several types of graded predicates and discuss their ubiquity in rational interaction and the logical challenges they pose. We present mathematical fuzzy logic as a set of logical tools that can be used to model reasoning with graded ...
Cintula P., Noguera C., Smith N. J. J.
openaire   +4 more sources

Propositional and Predicate Logic

2016
Propositional logic is the study of propositions, where a proposition is a statement that is either true or false. Propositionallogic may be used to encode simple arguments that are expressed in natural language, and to determine their validity. The validity of an argument may be determined from truth tables, or using the inference rules such as modus ...
openaire   +2 more sources

Predicate Logic

Introduction to Logic and Logical Discourse, 2021
Satya Sundar Sethy
semanticscholar   +1 more source

Modal Foundations for Predicate Logic

Logic Journal of IGPL, 1997
See the review of the author's paper with the same title in: E. Orlowska (ed.), Logic at work (Physica-Verlag, Heidelberg), Stud. Fuzziness Soft Comput. 24, 39-54 (1999; Zbl 0923.03019).
openaire   +3 more sources

A Cube of Opposition for Predicate Logic

Logica Universalis, 2020
J. Nilsson
semanticscholar   +1 more source

On Predicate Logic as Modal Logic

1999
The clause for existential formulas in the Tarskian definition of satisfaction for predicate logic can be written as follows: $${\text{A}},{\kern 1pt} \alpha \left| { = {\kern 1pt} \exists x\varphi {\kern 1pt} \Leftrightarrow {\kern 1pt} {\text{there}}{\kern 1pt} is{\kern 1pt} \beta {\kern 1pt} {\text{such that }}\alpha {\kern 1pt} {{\text{ = }}_x}\
openaire   +2 more sources

Logic and Computation

, 2023
A. Parkes
semanticscholar   +1 more source

Predicate Logic

Encyclopedia of Database Systems, 2018
Irving M. Copi, Carl Cohen, Victor Rodych   +2 more
semanticscholar   +1 more source

Predicate Logic

Formal Methods in Computer Science, 2019
Jiacun Wang, W. Tepfenhart
semanticscholar   +1 more source