Difference between revisions of "Template:Mathematical logic"

From blackwiki
Jump to navigation Jump to search
imported>Golopotw
(Separate out systems)
Line 1: Line 1:
 
{{Navbox
 
{{Navbox
 
| name = Mathematical logic
 
| name = Mathematical logic
| state = {{{state|autocollapse}}}
 
 
| title = [[Mathematical logic]]
 
| title = [[Mathematical logic]]
 +
| state = autocollapse
 
| listclass = hlist
 
| listclass = hlist
 
| image=  
 
| image=  
  
   | group1 = General
+
   | group0 = General
   | list1 =
+
   | list0 =
 
* [[Formal language]]
 
* [[Formal language]]
 
* [[Formation rule]]
 
* [[Formation rule]]
* [[Formal system]]
 
* [[Deductive system]]
 
 
* [[Formal proof]]
 
* [[Formal proof]]
 
* [[Formal semantics (logic)|Formal semantics]]
 
* [[Formal semantics (logic)|Formal semantics]]
Line 20: Line 18:
 
* [[Classical logic]]
 
* [[Classical logic]]
 
* [[Axiom]]
 
* [[Axiom]]
* [[Natural deduction]]
 
 
* [[Rule of inference]]
 
* [[Rule of inference]]
 
* [[Finitary relation|Relation]]
 
* [[Finitary relation|Relation]]
 
* [[Theorem]]
 
* [[Theorem]]
 
* [[Logical consequence]]
 
* [[Logical consequence]]
* [[Axiomatic system]]
 
 
* [[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]]

Revision as of 08:33, 17 December 2017

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}}
    • shows the template collapsed to the title bar if there is a {{navbar}}, a {{sidebar}}, or some other table on the page with the collapsible attribute
    • shows the template in its expanded state if there are no other collapsible items on the page

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