Pages that link to "Item:Q3691666"

The following pages link to Toward useful type-free theories. I (Q3691666):

Displaying 50 items.

• One hundred years of semantic paradox (Q266649) (← links)
• A proof-theoretic account of classical principles of truth (Q385807) (← links)
• Deflationary truth and the ontology of expressions (Q513895) (← links)
• 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)
• Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102) (← links)
• Norms of truth and logical revision (Q1708460) (← links)
• Minimalism and the generalisation problem: on Horwich's second solution (Q1709090) (← 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)
• Book review: Leon Horsten, The Tarskian turn. Deflationism and axiomatic truth. (Q2377054) (← links)
• Adding a conditional to Kripke's theory of truth (Q2397814) (← links)
• Conditionals in theories of truth (Q2410892) (← links)
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
• Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs (Q2900518) (← links)
• The Friedman-Sheard programme in intuitionistic logic (Q2915893) (← links)
• K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← 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)
• CAN MODALITIES SAVE NAIVE SET THEORY? (Q4637947) (← links)
• SUPER LIARS (Q4933591) (← links)
• THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
• Encoding many-valued logic in $\lambda$-calculus (Q5009711) (← links)
• Feferman and the Truth (Q5214789) (← links)
• MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION (Q5216977) (← links)
• Why Sets? (Q5452179) (← links)
• Abstraction in Fitch's Basic Logic (Q5497106) (← links)
• , , AND REINHARDT’S PROGRAM (Q5880422) (← links)
• A \(\kappa\)-denotational semantics for map theory in ZFC+SI (Q5906925) (← links)
• SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS (Q6041342) (← links)