The following pages link to The Journal of Symbolic Logic (Q2579583):
Displaying 50 items.
- The independence of Quine's axioms *200 and *201. (Q2579584) (← links)
- Ciosure and Quine's *101. (Q2579585) (← links)
- On Quine's axioms of quantification. (Q2579586) (← links)
- A system of axiomatic set theory. II. (Q2579973) (← links)
- A generalization of the antilogism. (Q2585193) (← links)
- On the calculus of relations. (Q2585204) (← links)
- Sur les types des propositions composées. (Q2585735) (← links)
- A correction to Lewis and Langford's ``Symbolic Logic''. (Q2585740) (← links)
- Proof that there are infinitely many modalities in Lewis's system \(S_2\). (Q2585741) (← links)
- Einkleidung der Mathematik in Schröderschen Relativkalkül. (Q2585742) (← links)
- The calculus of individuals and its uses. (Q2585744) (← links)
- A formulation of the simple theory of types. (Q2589521) (← links)
- Postulates for the calculus of binary relations. (Q2589524) (← links)
- Note on a property of matrices for Lewis and Langford's calculi of propositions. (Q2589528) (← links)
- Elimination of extra-logical postulates. (Q2589530) (← links)
- On confirmation. (Q2589532) (← links)
- On undecidable statements in enlarged systems of logic and the concept of truth. (Q2590242) (← links)
- Bemerkungen zum Begriff der inhaltlichen Widerspruchsfreiheit. (Q2590243) (← links)
- Note on a recent set of postulates for the calculus of propositions. (Q2590250) (← links)
- On the reduction of the decision problem. I: Ackermann prefix, a single binary predicate. (Q2590253) (← links)
- An informal exposition of proofs of Gödel's theorems and Church's theorem. (Q2590254) (← links)
- A formal proof of Gödel's theorem. (Q2590255) (← links)
- A system of strict implication. (Q2590256) (← links)
- A theorem on deducibility for second-order functions. (Q2590257) (← links)
- On the consistency of Quine's new foundations for mathematical logic. (Q2590258) (← links)
- Definition by induction in Quine's New foundations for mathematical logic. (Q2590259) (← links)
- On the independence of the axioms of definiteness (Axiome der Bestimmtheit). (Q2590714) (← links)
- Proof of the independence of the primitive symbols of Heyting's calculus of propositions. (Q2593904) (← links)
- Modalities in the survey system of strict implication. (Q2593906) (← links)
- Completeness of the prepositional calculus. (Q2595467) (← links)
- Ein Verfahren der mathematischen Logik. (Q2595478) (← links)
- On finite and infinite modal systems. (Q2595480) (← links)
- New foundation of formal metamathematics. (Q2595482) (← links)
- On the theory of types. (Q2598595) (← links)
- The consistency of the ramified principia. (Q2598596) (← links)
- Corrections to canonical expressions in Boolean algebra. (Q2598604) (← links)
- On notation for ordinal numbers. (Q2598624) (← links)
- Deducibility with respect to necessary and impossible propositions. (Q2601617) (← links)
- On the use of dots as brackets in logical expressions. (Q2601635) (← links)
- The theory of classes. A modification of von Neumann's system. (Q2601645) (← links)
- A system of axiomatic set theory. I. (Q2601646) (← links)
- Über eine abgeschwächte Fassung des Auswahlaxioms. (Q2601647) (← links)
- Logic based on inclusion and abstraction. (Q2603352) (← links)
- Remark on Nicod's reduction of Principia Mathematica. (Q2603353) (← links)
- On derivability. (Q2603362) (← links)
- Gödel theorems for nonconstructive logics. (Q2603369) (← links)
- Computability and \(\lambda\)-definability. (Q2603370) (← links)
- The \(p\)-function in \(\lambda\)-\(K\)-conversion. (Q2603371) (← links)
- Modal functions in twovalued logic. (Q2603376) (← links)
- A purely topological form of non-Aristotelian logic. (Q2603386) (← links)
