Results 251 to 260 of about 140,069 (266)

Expressing Second-order Sentences in Intuitionistic Dependence Logic

Studia Logica, 2013
Fan Yang
exaly  

Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic

Journal of Philosophical Logic, 2014
Marcus Rossberg
exaly  

Automating first-order relational logic

Software Engineering Notes: an Informal Newsletter of the Special Interest Committee on Software Engineering / ACM, 2000
Daniel Jackson
exaly  

First-order conditional logic for default reasoning revisited

ACM Transactions on Computational Logic, 2000
Nir Friedman, Daphne Koller
exaly  

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

Fuzzy Optimization and Decision Making, 2014
Xingfang Zhang
exaly  

Second-Order Logic of Paradox

Notre Dame Journal of Formal Logic, 2018
Francis Jeffry Pelletier
exaly  

The Logic of Finite Order

Notre Dame Journal of Formal Logic, 2012
Simon Hewitt
exaly  

An Example of two Cardinals that are Equivalent in the n-Order Logic and not Equivalent in the (n + 1)-Order Logic

Journal of Mathematical Sciences, 2014
E I BUNINA, BUNINA E I
exaly  

Arithmetic, first-order logic, and counting quantifiers

ACM Transactions on Computational Logic, 2005
Nicole Schweikardt
exaly  

Denial in First Order Logic

Analysis, 1967
openaire   +1 more source