Results 151 to 160 of about 970 (166)

Cardinalities of models and the expressive power of monadic predicate logics (with equality and individual constants)

Reports Math. Log., 1996
A monadic formula is a formula of first-order logic all of whose non-logical symbols are either one-placed predicate letters or name letters (individual constants). Monadic formulas may contain the logical symbol of equality. It is proved in the paper that for any monadic formula \(\varphi\), \(\varphi\) is logically valid iff \(\varphi\) is true in ...
openaire   +2 more sources

A Theory of Equality for a Class of Many‐Valued Predicate Calculi

Mathematical Logic Quarterly, 1974
openaire   +2 more sources

Specialization of the form of deduction in the predicate calculus with equality and function symbols. I

1968
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Constructing a continuum of predicate extensions of each intermediate propositional logic

Studia Logica, 1995
Nobu-Yuki Suzuki
exaly  

Functional declarative language design and predicate calculus

ACM Transactions on Programming Languages and Systems, 2005
Raymond Boute
exaly  

Extension of the inverse method to the predicate calculus with equality

Journal of Soviet Mathematics, 1973
S Yu Maslov, Maslov S Yu
exaly  

An Algebraic Presentation of Predicate Logic

Lecture Notes in Computer Science, 2013
Sam Staton
exaly  

The monadic fragment of predicate calculus with the Chang quantifier and equality

Lecture Notes in Mathematics, 2006
exaly  

Modal Logics of Partial Quasiary Predicates with Equality. [PDF]

Oksana Shkilniak, Stepan S. Shkilniak
openaire  

The monadic fragment of predicate calculus with the Chang quantifier and equality

1968
openaire   +1 more source