Difference between revisions of "Template:Mathematical logic"
Jump to navigation
Jump to search
imported>Hyacinth ({{Navbox | name = Mathematical logic | state = {{{state|}}} | title = Mathematical logic | listclass = hlist | image= | group1 = General | list1 = * Formal language * Formation rule * Formal system * Deductive system * [[Formal p) |
imported>Hyacinth m (<br/>) |
||
| Line 42: | Line 42: | ||
* [[Venn diagram]] | * [[Venn diagram]] | ||
| − | | group3 = {{longitem|[[Propositional calculus]]<br/>[[Boolean algebra|Boolean logic]]}} | + | | group3 = {{longitem|[[Propositional calculus|Propositional <br/>calculus]]<br/>[[Boolean algebra|Boolean logic]]}} |
| list3 = | | list3 = | ||
* [[Boolean function]]s | * [[Boolean function]]s | ||
| Line 94: | Line 94: | ||
* [[Syntax (logic)|Syntax]] | * [[Syntax (logic)|Syntax]] | ||
| − | | group8 = [[Computability theory]] | + | | group8 = [[Computability theory|Computability <br/>theory]] |
| list8 = | | list8 = | ||
* [[Recursion]] | * [[Recursion]] | ||
| Line 111: | Line 111: | ||
==See also== | ==See also== | ||
*{{tl|Logic}} | *{{tl|Logic}} | ||
| + | *{{tl|Non-classical logic}} | ||
[[Category:Mathematics navigational boxes]] | [[Category:Mathematics navigational boxes]] | ||
Revision as of 10:38, 18 October 2014
50px Template documentation
Initial visibility: currently defaults to autocollapse
To set this template's initial visibility, the |state= parameter may be used:
|state=collapsed:{{Mathematical logic|state=collapsed}}to show the template collapsed, i.e., hidden apart from its title bar|state=expanded:{{Mathematical logic|state=expanded}}to show the template expanded, i.e., fully visible|state=autocollapse:{{Mathematical logic|state=autocollapse}}
If the |state= parameter in the template on this page is not set, the template's initial visibility is taken from the |default= parameter in the Collapsible option template. For the template on this page, that currently evaluates to autocollapse.
See also
- {{Logic}}
- {{Non-classical logic}}
| Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Subpages of this template. |