Results 91 to 100 of about 862,810 (224)

A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic

Notre Dame J. Formal Log., 2010
M. Sørensen, P. Urzyczyn
semanticscholar   +1 more source

Iconic logic: the visual art of drawing the right conclusion. [PDF]

Front Psychol
Kramer P.
europepmc   +1 more source

The Study of Resolution Principle Based on Predicate Logic

, 2011
敖 友云
openalex   +1 more source

Dependency Grammar Approach to the Syntactic Complexity in the Discourse of Alzheimer Patients. [PDF]

Behav Sci (Basel)
Lian Z, Wang Z.
europepmc   +1 more source

A Decidable Predicate Logic of Knowledge

, 1996
Giorgi Japaridze
openalex   +2 more sources

Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter [PDF]

, 2018
Mikhail Rybakov, Dmitry Shkatov
openalex   +1 more source

Probability Space for First-Order Predicate Logic

, 2023
Kenneth Presting
openalex   +2 more sources

FAIR foundations of a novel indicator vault for non-communicable diseases in the European Union: feasibility study for effective contextualisation of indicators. [PDF]

Front Digit Health
Štotl I, Carinci F, Fava S, Lavens A, Lepiksone J, Massi Benedetti M, Poljičanin T, Cunningham S, Sándor J, Nicholson N.   +9 more
europepmc   +1 more source

Verification condition generation for permission logics with abstract predicates and abstraction functions

, 2012
Stefan Heule, Ioannis T. Kassios, Péter Müller, Alexander J. Summers   +3 more
openalex   +2 more sources

Toward a Deeper Lexical Semantics. [PDF]

Top Cogn Sci
Jackendoff RS, Erk KE.
europepmc   +1 more source