The following pages link to (Q3993251):
Displaying 50 items.
- Contextual-hierarchical reconstructions of the strengthened liar problem (Q253127) (← links)
- Non-classical elegance for sequent calculus enthusiasts (Q519853) (← links)
- \(\in_K\): a non-Fregean logic of explicit knowledge (Q633160) (← links)
- Formal semantics for mutual belief (Q685541) (← links)
- The graph conception of set (Q742483) (← links)
- General information in relevant logic (Q833037) (← links)
- Platitudes against paradox (Q885005) (← links)
- The diagonal argument and the Liar (Q914657) (← links)
- Two types of deflationism (Q1024123) (← links)
- Logical feedback (Q1181485) (← links)
- Hypersets (Q1181863) (← links)
- Semantics for existential graphs (Q1272833) (← links)
- What the Liar taught Achilles (Q1283319) (← links)
- A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849) (← links)
- Dynamic semantics and circular propositions (Q1325775) (← links)
- Non-well-founded sets via revision rules (Q1337508) (← links)
- Reconciling Austinian and Russellian accounts of the liar paradox (Q1337509) (← links)
- Uncertainty, predictability and decidability in chaotic dynamical systems (Q1346395) (← links)
- Issues in commonsense set theory (Q1346620) (← links)
- Truth and the liar in De Morgan-valued models (Q1347605) (← links)
- HYPERSOLVER: A graphical tool for commonsense set theory (Q1357081) (← links)
- An algebraic theory of structured objects (Q1377554) (← links)
- Logic of knowledge and utterance and the liar (Q1386685) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- New architectures for constructed complex systems (Q1402194) (← links)
- Virtual worlds as meeting places for formal systems (Q1402195) (← links)
- Computer proofs about finite and regular sets: The unifying concept of subvariance. (Q1404990) (← links)
- Hypercomputation by definition (Q1434375) (← links)
- Towards an integration science. The influence of Richard Bellman on our research. (Q1584626) (← links)
- Contextualism, relativism and the liar (Q1707200) (← links)
- Self-referential propositions (Q1708964) (← links)
- \(p\)-adic physics, non-well-founded reality and unconventional computing (Q1760203) (← links)
- Deflationary truth and the Liar (Q1818379) (← links)
- Alexandre Koyré in the ``Mekka of mathematics''. Koyré's Göttingen draft of the dissertation (Q1819173) (← links)
- A contextual-hierarchical approach to truth and the liar paradox (Q1876081) (← links)
- Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics (Q1895975) (← links)
- A constructive sequence algebra for the calculus of indications (Q2156896) (← links)
- A remark on probabilistic measures of coherence (Q2176410) (← links)
- Towards a non-classical meta-theory for substructural approaches to paradox (Q2240546) (← links)
- Lazy evaluations in Łukasiewicz type fuzzy logic (Q2329100) (← links)
- Truth, reflection and hierarchies (Q2386109) (← links)
- Conditionals in theories of truth (Q2410892) (← links)
- Against stepping back: A critique of contextualist approaches to the semantic paradoxes (Q2499307) (← links)
- Intention is choice with commitment (Q2640592) (← links)
- Modelling deep indeterminacy (Q2693126) (← links)
- Paradoxes and the limits of theorizing about propositional attitudes (Q2695030) (← links)
- CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH (Q2890700) (← links)
- Paradox, ZF, and the Axiom of Foundation (Q2909755) (← links)
- Qal wa- omer and Theory of Massive-Parallel Proofs (Q3019780) (← links)
- A Co-inductive Language and Truth Degrees (Q3172837) (← links)
