RESOLVING INFINITARY PARADOXES

DOI10.1017/jsl.2016.18zbMath1385.03031OpenAlexW2705575629MaRDI QIDQ4977226

Michał Walicki

Publication date: 3 August 2017

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/35e5e8dfba2843719328ffa4e0e19960f27ba5fc

zbMATH Keywords

paradoxsubstructural logicresolutioninfinitary logicdiagraph kernel

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other infinitary logic (03C75) Paraconsistent logics (03B53)

Related Items (4)

Kernels of digraphs with finitely many ends ⋮ STRONG HOMOMORPHISMS, CATEGORY THEORY, AND SEMANTIC PARADOX ⋮ The elimination of direct self-reference ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX

Cites Work

• Expressive power of digraph solvability
• Propositional discourse logic
• Solutions of irreflexive relations
• Patterns of paradox

This page was built for publication: RESOLVING INFINITARY PARADOXES