Difference between revisions of "Template:Mathematical logic"
Jump to navigation
Jump to search
Template documentation
imported>Biogeographist (removed red link) |
|||
| (10 intermediate revisions by 6 users not shown) | |||
| Line 1: | Line 1: | ||
{{Navbox | {{Navbox | ||
| name = Mathematical logic | | name = Mathematical logic | ||
| − | |||
| title = [[Mathematical logic]] | | title = [[Mathematical logic]] | ||
| + | | state = {{{state<includeonly>|autocollapse</includeonly>}}} | ||
| listclass = hlist | | listclass = hlist | ||
| image= | | image= | ||
| − | | | + | | group0 = General |
| − | | | + | | list0 = |
* [[Formal language]] | * [[Formal language]] | ||
* [[Formation rule]] | * [[Formation rule]] | ||
| − | |||
| − | |||
* [[Formal proof]] | * [[Formal proof]] | ||
* [[Formal semantics (logic)|Formal semantics]] | * [[Formal semantics (logic)|Formal semantics]] | ||
| Line 20: | Line 18: | ||
* [[Classical logic]] | * [[Classical logic]] | ||
* [[Axiom]] | * [[Axiom]] | ||
| − | |||
* [[Rule of inference]] | * [[Rule of inference]] | ||
* [[Finitary relation|Relation]] | * [[Finitary relation|Relation]] | ||
* [[Theorem]] | * [[Theorem]] | ||
* [[Logical consequence]] | * [[Logical consequence]] | ||
| − | |||
* [[Type theory]] | * [[Type theory]] | ||
* [[Symbol (formal)|Symbol]] | * [[Symbol (formal)|Symbol]] | ||
* [[Syntax (logic)|Syntax]] | * [[Syntax (logic)|Syntax]] | ||
* [[Theory (mathematical logic)|Theory]] | * [[Theory (mathematical logic)|Theory]] | ||
| + | |||
| + | | group1= Systems | ||
| + | | list1 = | ||
| + | * [[Formal system]] | ||
| + | * [[Deductive system]] | ||
| + | * [[Axiomatic system]] | ||
| + | * [[Hilbert system|Hilbert style systems]] | ||
| + | * [[Natural deduction]] | ||
| + | * [[Sequent calculus]] | ||
| group2 = [[Term logic|Traditional logic]] | | group2 = [[Term logic|Traditional logic]] | ||
| Line 36: | Line 41: | ||
* [[Inference]] | * [[Inference]] | ||
* [[Argument]] | * [[Argument]] | ||
| − | * [[Validity | + | * [[Validity (logic)|Validity]] |
| − | |||
* [[Syllogism]] | * [[Syllogism]] | ||
* [[Square of opposition]] | * [[Square of opposition]] | ||
* [[Venn diagram]] | * [[Venn diagram]] | ||
| − | | group3 = {{longitem|[[Propositional calculus|Propositional | + | | group3 = {{longitem|[[Propositional calculus|Propositional calculus]]<br/>and [[Boolean algebra|Boolean logic]]}} |
| list3 = | | list3 = | ||
* [[Boolean function]]s | * [[Boolean function]]s | ||
| Line 99: | Line 103: | ||
* [[Finite model theory]] | * [[Finite model theory]] | ||
* [[Truth value]] | * [[Truth value]] | ||
| − | * [[Validity]] | + | * [[Validity (logic)|Validity]] |
| group8 = [[Proof theory]] | | group8 = [[Proof theory]] | ||
Latest revision as of 12:28, 24 April 2020
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
- {{Set theory}}
| Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Subpages of this template. |