Home›Non-classical logic›infinitary logic🌐EnglishEnglishEspañolFrançaisPortuguês한국어中文日本語EntityQ6029713· pop 8· linked from 34 articlesinfinitary logiclogic that allows infinitely long statements and/or infinitely long proofsAvailable in 8 languagesEspañolFrançais中文日本語PortuguêsKyrgyz한국어via Wikidata sitelinks · CC0ConnectionsInternational Standard Book NumberEntityset theoryEntityCategoriesNon-classical logicSystems of formal logic