The following pages link to (Q5812175):
Displaying 40 items.
- Перспективы метаматематических структур в науке (Q5221915) (← links)
- MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS (Q5222539) (← links)
- Degrees of unsolvability of continuous functions (Q5311741) (← links)
- A constructive semantics for non‐deducibility (Q5448614) (← links)
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale) (Q5536266) (← links)
- The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel (Q5537357) (← links)
- Boolean elements in Lukasiewicz algebras, I (Q5553261) (← links)
- Some results in the effective descriptive set theory (Q5567856) (← links)
- Ackermann's model and recursive predicates (Q5585405) (← links)
- On complete degrees (Q5599820) (← links)
- A generalization of Curry's theorem (Q5601457) (← links)
- On a set theory suggested by Dedecker and Ehresmann, II (Q5602918) (← links)
- Fibered universal algebra for first-order logics (Q6051097) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- A new methodology for solving fuzzy systems of equations: thick fuzzy sets based approach (Q6058080) (← links)
- On Signings and the Well-Founded Semantics (Q6063875) (← links)
- GÖDEL ON MANY-VALUED LOGIC (Q6074936) (← links)
- The dependence of computability on numerical notations (Q6088491) (← links)
- (Meta)inferential levels of entailment beyond the Tarskian paradigm (Q6088599) (← links)
- Speech acts in mathematics (Q6088915) (← links)
- A generalized cost-sensitive model for decision-theoretic three-way approximation of fuzzy sets (Q6092045) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)
- Folding left and right matters: Direct style, accumulators, and continuations (Q6099203) (← links)
- The decision problem for effective procedures (Q6113688) (← links)
- Aggregation operators on shadowed sets (Q6118665) (← links)
- MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)
- Classical (co)recursion: Mechanics (Q6132720) (← links)
- Raising awareness without disclosing truth (Q6133702) (← links)
- Truth meets vagueness. Unifying the semantic and the soritical paradoxes (Q6145031) (← links)
- How much partiality is needed for a theory of computability? (Q6146825) (← links)
- Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)
- A step towards absolute versions of metamathematical results (Q6150669) (← links)
- Inferential constants (Q6156204) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
- A formal theory of choreographic programming (Q6161233) (← links)
- A logical modeling of severe ignorance (Q6166125) (← links)
- Williamson's abductive case for the material conditional account (Q6170876) (← links)
- Two quantum logics of indeterminacy (Q6180143) (← links)
- The liar paradox and ``meaningless'' revenge (Q6191136) (← links)
- Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability (Q6194302) (← links)
