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 #51 to #100.

A correction to the sentential calculus of Tarski's Introduction To Logic.: Label: en
The use of dots as brackets in Church's system: Label: en
A supplementary note on the rules of the antilogism: Label: en
On relations as coextensive with classes: Label: en
On ordered pairs: Label: en
A generalization of the concept of ω-consistency: Label: en
Reduction to a dyadic predicate: Label: en
Quantification and the empty domain: Label: en
Ideographic computation in the propositional calculus: Label: en
A new symbolism for the propositional calculus: Label: en
A partial model for Quine's “New foundations”: Label: en
The recursive irrationality of π: Label: en
An undecidable problem in the algebra of truth-tables: Label: en
Interpretations of sets of conditions: Label: en
Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M: Label: en
A definition of negation in extended basic logic: Label: en
Distributivity and an axiom of choice: Label: en
The formalization of mathematics: Label: en
Strict implication, deducibility and the deduction theorem: Label: en
The theory of quaternialty: Label: en
A system of axiomatic set theory - Part VII: Label: en
Logical paradoxes for many-valued systems: Label: en
The Sheffer functions of 3-valued logic: Label: en
A relative consistency proof: Label: en
Remarks on identity and description in first-order axiom systems: Label: en
Proof of a conjecture of Goodman: Label: en
Leibniz's interpretation of his logical calculi: Label: en
On predicates in algebraically closed fields: Label: en
On ω-inconsistency and a so-called axiom of infinity: Label: en
Some formal relative consistency proofs: Label: en
On truth and multiple denotation: Label: en
Systems of modal logic which are not unreasonable in the sense of Halldén: Label: en
Paradox of the class of all grounded classes: Label: en
A simplification of basic logic: Label: en
Criteria of constructibility for real numbers: Label: en
Concatenation as basis for a complete system of arithmetic: Label: en
An extended procedure in quantificational logic: Label: en
Systems of syntactic analysis: Label: en
Practical forms of type theory: Label: en
Systems of transfinite types involving λ-conversion: Label: en
On axiomatizability within a system: Label: en
Arithmetic with creative definitions by induction: Label: en
Banishing the rule of substitution for functional variables: Label: en
The M-valued calculus of non-contradiction: Label: en
Conditioned disjunction as a primitive connective for the erweiterter Aussagenkalkül: Label: en
Certain predicates defined by induction schemata: Label: en
Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe: Label: en
Inner models for set theory – Part III: Label: en
A logical measure function: Label: en
New axiomatizations of S3 and S4: Label: en