Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02252351n
Noun Concept
Categories: Mathematical logic, Mathematical logic stubs
EN
abstract logic
EN
In mathematical logic, an abstract logic is a formal system consisting of a class of sentences and a satisfaction relation with specific properties related to occurrence, expansion, isomorphism, renaming and quantification. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic, an abstract logic is a formal system consisting of a class of sentences and a satisfaction relation with specific properties related to occurrence, expansion, isomorphism, renaming and quantification. Wikipedia
Formal system consisting of a class of sentences and a satisfaction relation with specific properties. Wikipedia Disambiguation
IS A
logical system
Wikipedia
EN
abstract logic
Wikidata
EN
abstract logic

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