Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

Set-theoretical basis for real numbers: Label: en
Zusammenhang der mehrfachen und transfiniten Rekursionen: Label: en
Decidability problem for finite Heyting algebras: Label: en
European Summer Meeting of the Association for Symbolic Logic: Label: en
String theory: Label: en
Simplified foundations for mathematical logic: Label: en
Undecidable sentences generated by semantic paradoxes: Label: en
Coherence and the axioms of confirmation: Label: en
Two semantical paradoxes: Label: en
A note on two-place predicates and fitting sequences of measure functions: Label: en
A system of completely independent axioms for the sequence of natural numbers: Label: en
On the syntactical construction of systems of modal logic: Label: en
The decision problem for some classes of sentences without quantifiers: Label: en
A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology: Label: en
A correction to Lewis and Langford's Symbolic logic: Label: en
A formal theorem in Church's theory of types: Label: en
Axiom schemes for m-valued propositions calculi: Label: en
New sets of postulates for combinatory logics: Label: en
The Burali-Forti paradox: Label: en
Finite sequences of classes: Label: en
Concatenation as a basis for arithmetic: Label: en
Independence of the primitive symbols of Lewis's calculi of propositions: Label: en
On weakened quantification: Label: en
Note on a conjecture of Skolem: Label: en
A Boolean derivation of the Moore-Osgood theorem: Label: en
A syntactical definition of probability and of degree of confirmation: Label: en
A purely syntactical definition of confirmation: Label: en
On the number of complete extensions of the Lewis systems of sentential calculus: Label: en
Modalities and Quantification: Label: en
Note on two theorems of Mostowski: Label: en
On the interpretation of intuitionistic number theory: Label: en
The deduction theorem in a functional calculus of first order based on strict implication: Label: en
A Functional calculus of first order based on strict implication: Label: en
A system of axiomatic set theory. Part V. General set theory (continued): Label: en
A system of axiomatic set theory. Part IV. General set theory: Label: en
Conditions affecting the application of symbolic logic: Label: en
On the restricted ordinal theorem: Label: en
On the simplicity of ideas: Label: en
A minimum calculus for logic: Label: en
Representations of calculi: Label: en
A basic logic: Label: en
The inconsistency of certain formal logics: Label: en
The combinatory foundations of mathematical logic: Label: en
Consistency and completeness of the theory of combinators: Label: en
A revision of the fundamental rules of combinatory logic: Label: en
On the logic of quantification: Label: en
On existence conditions for elements and classes: Label: en
A set of axioms for logic: Label: en
A homogeneous system for formal logic: Label: en
A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis: Label: en