Pages that link to "Item:Q3691666"
From MaRDI portal
The following pages link to Toward useful type-free theories. I (Q3691666):
Displayed 30 items.
- Logical foundations for programming semantics (Q685420) (← links)
- A logic for category theory (Q685421) (← links)
- On partial and paraconsistent logics (Q701297) (← links)
- Intensionality in mathematics (Q762052) (← links)
- Stability and paradox in algorithmic logic (Q861519) (← links)
- Truth and meaning (Q908898) (← links)
- A logic of abstraction related to finite constructive number classes (Q910401) (← links)
- How truthlike can a predicate be? A negative result (Q1069920) (← links)
- Three theories of nominalized predicates (Q1073011) (← links)
- Some remarks on extending and interpreting theories with a partial predicate for truth (Q1093626) (← links)
- Languages with self-reference. II: Knowledge, belief, and modality (Q1101099) (← links)
- Autocircumscription (Q1105394) (← links)
- A type-free system extending (ZFC) (Q1121865) (← links)
- Logic, sets, and mathematics (Q1209798) (← links)
- Partially interpreted relations and partially interpreted quantifiers (Q1277330) (← links)
- Property theory: The type-free approach \(v\). The Church approach (Q1319264) (← links)
- Issues in commonsense set theory (Q1346620) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- Saving the truth schema from paradox (Q1610606) (← links)
- Models for a paraconsistent set theory (Q1775861) (← links)
- A contextual-hierarchical approach to truth and the liar paradox (Q1876081) (← links)
- Levels of truth (Q1903585) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs (Q2900518) (← links)
- INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’ (Q3550703) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- Approximate databases: a support tool for approximate reasoning (Q3647257) (← links)
- SUPER LIARS (Q4933591) (← links)
- Why Sets? (Q5452179) (← links)
- A \(\kappa\)-denotational semantics for map theory in ZFC+SI (Q5906925) (← links)