Results 161 to 166 of about 970 (166)

V Some General Theorems About the Validity of Formulas of the Predicate Calculus of First Order Including Equality

Studies in Logic and the Foundations of Mathematics, 1954
exaly  

Towards Enhancing the query time of conjunctive equality predicates

2017
openaire   +1 more source

Subject-predicate calculus free from existential import

Studia Logica, 1983
exaly  

Interpolation in Superintuitionistic and Modal Predicate Logics with Equality.

openaire  

Transitional Modal Logics of Quasiary Predicates with Equality and Sequent Calculi for these Logics. [PDF]

Oksana Shkilniak, Stepan S. Shkilniak
openaire  

A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality. [PDF]

openaire