Je elementární logika totéž co predikátová logika prvního řádu?
Ještě o elementární logice
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.
La fonction logique de Hilbert à travers les «Grundlagen der Mathematik»
Limits to some interpolation theorems
Local normal forms for first-order logic with applications to games and automata.
Logics for stable and unstable mereological relations
In this paper we present logics about stable and unstable versions of several well-known relations from mereology: part-of, overlap and underlap. An intuitive semantics is given for the stable and unstable relations, describing them as dynamic counterparts of the base mereological relations. Stable relations are described as ones that always hold, while unstable relations hold sometimes. A set of first-order sentences is provided to serve as axioms for the stable and unstable relations, and representation...
On cut elimination in the presence of peirce rule.
On interpolation when function symbols are present.
On models of certain formulas with a predicate letter of lenght n
On necessary but not-sufficient conditions.
On the decidability of p', p'' and p''*.
On The Greatest Congruence Of Relations
On the greatest congruence of relations.
Order with successors is not interprétable in RCF
Using the monotonicity theorem of L. van den Dries for RCF-definable real functions, and a further result of that author about RCF-definable equivalence relations on ℝ, we show that the theory of order with successors is not interpretable in the theory RCF. This confirms a conjecture by J. Mycielski, P. Pudlák and A. Stern.
Peano-Systeme.
Prädikatenlogik mit partiell definierten Funktionen.
Prädikatenlogik mit partiell definierten Funktionen II.
Predicate calculus and naive set theory in pure combinatory logic.
Prefix classes of Krom formulae with identity.