The following pages link to (Q4858033):
Displaying 50 items.
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic (Q300834) (← links)
- Topologies on \(X\) as points within \(2^{{\mathcal P}(X)}\) (Q439300) (← links)
- Completeness in hybrid type theory (Q484101) (← links)
- First order expressivist logic (Q485622) (← links)
- Probabilities defined on standard and non-standard cylindric set algebras (Q514552) (← links)
- Proof verification and proof discovery for relativity (Q514557) (← links)
- Some uses of logic in rigorous philosophy (Q660455) (← links)
- Some new results on decidability for elementary algebra and geometry (Q714712) (← links)
- Investigations in many-sorted quantor logic (Q774393) (← links)
- Steps toward a computational metaphysics (Q877243) (← links)
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself (Q959049) (← links)
- Abstract deduction and inferential models for type theory (Q988551) (← links)
- Non-standard stochastics with a first order algebraization (Q993498) (← links)
- Learning to assign degrees of belief in relational domains (Q1009279) (← links)
- Decidable fragments of many-sorted logic (Q1041587) (← links)
- Fixed-point extensions of first-order logic (Q1090327) (← links)
- Idealization in applied first-order logic (Q1307866) (← links)
- Quine's conjecture on many-sorted logic (Q1708876) (← links)
- Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic (Q1884882) (← links)
- Completeness in equational hybrid propositional type theory (Q2278838) (← links)
- Ramsey equivalence (Q2667064) (← links)
- LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC (Q2940868) (← links)
- IDENTITY AND INDISCERNIBILITY (Q3094182) (← links)
- Expressing Polymorphic Types in a Many-Sorted Language (Q3172884) (← links)
- RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES (Q3195592) (← links)
- On Non-transitive “Identity” (Q3305680) (← links)
- Some Comments and Replies (Q3305682) (← links)
- (Q3367332) (← links)
- TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS (Q3450810) (← links)
- Henkin on Completeness (Q3454811) (← links)
- April the 19th (Q3454818) (← links)
- Henkin and Hybrid Logic (Q3454819) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees (Q3605529) (← links)
- Many-Sorted First-Order Logic Database Language (Q4019961) (← links)
- (Q4268451) (← links)
- Alonzo church:his life, his work and some of his miracles (Q4391354) (← links)
- Identity, Equality, Nameability and Completeness (Q4576060) (← links)
- (Q4950082) (← links)
- Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl (Q5126208) (← links)
- (Q5128050) (← links)
- An expansion of first-order Belnap-Dunn logic (Q5172135) (← links)
- AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING (Q5414134) (← links)
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System (Q5452598) (← links)
- MORITA EQUIVALENCE (Q5737954) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)
- Relating Z and first-order logic (Q5926770) (← links)
- An extension of first order limit language (Q6075561) (← links)
- On the algebraization of Henkin‐type second‐order logic (Q6094141) (← links)
- Foundations of applied mathematics. I (Q6142492) (← links)
