Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03473121n
Noun Concept
Categories: All articles lacking reliable references, Systems of formal logic, Non-classical logic
EN
infinitary logic  infinitary language  infinitary logics  Infinite logic  Infinite proof
EN
An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Wikipedia
Definitions
Relations
Sources
EN
An infinitary logic is a logic that allows infinitely long statements and/or infinitely long proofs. Wikipedia
HAS KIND
Ω-logic
Wikipedia
EN
infinitary logic
Wikidata
EN
infinitary logic
Wikipedia Redirections
EN
infinitary language, infinitary logics, Infinite logic, Infinite proof

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License