Results 161 to 170 of about 862,810 (224)

Logic and Computation

, 2023
A. Parkes
semanticscholar   +1 more source

Predicate Logic

2022
openaire   +2 more sources

A Van Benthem/Rosen theorem for coalgebraic predicate logic

Journal of Logic and Computation, 2015
Lutz Schröder, D. Pattinson, Tadeusz Litak   +2 more
semanticscholar   +1 more source

Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem

Studia Logica: An International Journal for Symbolic Logic, 2015
V. N. Krivtsov
semanticscholar   +1 more source

Developing an expert system based on association rules and predicate logic for earthquake prediction

Knowledge-Based Systems, 2015
Aqdas Ikram, Usman Qamar
semanticscholar   +1 more source

A semantic study of the first-order predicate logic with uncertainty involved

Fuzzy Optimization and Decision Making, 2014
Xingfang Zhang, Xiang Li
semanticscholar   +1 more source

Fuzzy predicate logic for Knowledge Representation

International Conference on Fuzzy Theory and Its Applications, 2013
Venkata Subba Reddy
semanticscholar   +1 more source

LOOP: Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code

Conference on Computer and Communications Security, 2015
Jiang Ming, Dongpeng Xu, Li Wang, Dinghao Wu   +3 more
semanticscholar   +1 more source

Metamathematics of Fuzzy Logic

Trends in Logic, 1998
P. Hájek
semanticscholar   +1 more source

Predicate Logic

1987
Jacques Loeckx, Kurt Sieber
openaire   +1 more source