Difference between revisions of "Template:Logic"
Jump to navigation
Jump to search
imported>Funandtrvl m (fx) |
imported>Omnipaedista |
||
| Line 33: | Line 33: | ||
|abbr3 = Metalogic | |abbr3 = Metalogic | ||
|list3style = padding:0; | |list3style = padding:0; | ||
| − | |list3= {{nowrap begin}} [[Cantor's theorem]]{{·w}} [[Entscheidungsproblem|Church's theorem]]{{·w}} [[Church–Turing thesis|Church's thesis]]{{·w}} [[Consistency]]{{·w}} [[Effective method]]{{·w}} [[Foundations of mathematics]]{{·w}} [[Gödel's completeness theorem]]{{·w}} [[Gödel's incompleteness theorems]]{{·w}} [[Soundness]]{{·w}} [[Completeness]]{{·w}} [[Decidability (logic)|Decidability]]{{·w}} [[Interpretation (logic)|Interpretation]]{{·w}} [[Löwenheim–Skolem theorem]]{{·w}} [[Metatheorem]]{{·w}}[[Satisfiability]]{{·w}} [[Independence (mathematical logic)|Independence]]{{·w}} [[Type–token distinction]]{{·w}} [[Use–mention distinction]] | + | |list3= {{nowrap begin}} [[Cantor's theorem]]{{·w}} [[Entscheidungsproblem|Church's theorem]]{{·w}} [[Church–Turing thesis|Church's thesis]]{{·w}} [[Consistency]]{{·w}} [[Effective method]]{{·w}} [[Foundations of mathematics]]{{·w}} [[Gödel's completeness theorem]]{{·w}} [[Gödel's incompleteness theorems]]{{·w}} [[Soundness]]{{·w}} [[Completeness]]{{·w}} [[Decidability (logic)|Decidability]]{{·w}} [[Interpretation (logic)|Interpretation]]{{·w}} [[Löwenheim–Skolem theorem]]{{·w}} [[Metatheorem]]{{·w}}[[Satisfiability]]{{·w}} [[Independence (mathematical logic)|Independence]]{{·w}} [[Type–token distinction]]{{·w}} [[Use–mention distinction]]{{nowrap end}} |
|sect4 = [[Mathematical logic]] | |sect4 = [[Mathematical logic]] | ||
| Line 64: | Line 64: | ||
|group8 = [[Computability theory]] | |group8 = [[Computability theory]] | ||
| − | |list8 = {{nowrap begin}} [[Recursion]]{{·w}} [[Recursive set]]{{·w}} [[Recursively enumerable set]]{{·w}} [[Decision problem]]{{·w}} [[Church–Turing thesis]]{{·w}} [[Computable function]]{{·w}} [[Primitive recursive function]] | + | |list8 = {{nowrap begin}} [[Recursion]]{{·w}} [[Recursive set]]{{·w}} [[Recursively enumerable set]]{{·w}} [[Decision problem]]{{·w}} [[Church–Turing thesis]]{{·w}} [[Computable function]]{{·w}} [[Primitive recursive function]]{{nowrap end}} |
}} | }} | ||
| Line 83: | Line 83: | ||
|group3 = [[Fuzzy logic]] | |group3 = [[Fuzzy logic]] | ||
| − | |list3 = {{nowrap begin}} [[Degree of truth]]{{·w}} [[Fuzzy rule]]{{·w}} [[Fuzzy set]]{{·w}} [[Fuzzy finite element]]{{·w}} [[Fuzzy set operations]] | + | |list3 = {{nowrap begin}} [[Degree of truth]]{{·w}} [[Fuzzy rule]]{{·w}} [[Fuzzy set]]{{·w}} [[Fuzzy finite element]]{{·w}} [[Fuzzy set operations]]{{nowrap end}} |
|group4 = [[Substructural logic]] | |group4 = [[Substructural logic]] | ||
Revision as of 04:53, 11 June 2011
Template:Navbox with collapsible sections
50px Template documentation
Initial visibility: currently defaults to autocollapse
To set this template's initial visibility, the |state= parameter may be used:
|state=collapsed:{{Logic|state=collapsed}}to show the template collapsed, i.e., hidden apart from its title bar|state=expanded:{{Logic|state=expanded}}to show the template expanded, i.e., fully visible|state=autocollapse:{{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.
How to manage this template's collapsible groups/sections option
- This template includes collapsible groups/sections. When it first appears, one of these groups/sections may be set to be visible ("expanded") while the others remain hidden ("collapsed") apart from their titlebars. To achieve this, include the parameter
|namewhere name is one of the following words that identify the groups/sections (omit any speech or quotation marks): "History", "Concepts", "Controversies", "People" or "Lists"- For example:
{{Logic |Concepts}}
| The above documentation is transcluded from Template:Logic/doc. (edit | history) Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Subpages of this template. |
ar:قالب:منطق fa:الگو:منطق ja:Template:Logic mk:Шаблон:Логика pt:Predefinição:Lógica fr:Modèle:Palette Logique