text:
# Lewis Trondheim
Lewis Trondheim, nome d'arte di Laurent Chabosy (Fontainebleau, 11 dicembre 1964), è un disegnatore e fumettista francese.

## Biografia
Dopo aver seguito un corso per diventare grafico nel 1987 incontra Jean-Cristophe Menu e scopre un nuovo modo di fare fumetti.
Nel 1990 partecipa alla fondazione della struttura editoriale "L'Association" con i suoi amici Menu, Stanislas, Matt Konture, Killoffer e David B..
Dal 1991 Lewis lavora al laboratorio "Nawak", dove collabora con numerosi autori come Dominique Hérody, Thierry Robin, David B., Émile Bravo, Cristophe Blain, Joann Sfar e Brigitte Findakly (colorista che diventa la sua compagna nel 1993).
Nel 1994 diventa papà, firma per Dargaud la serie Lapinot e si trasferisce permanentemente nel sud della Francia. Durante questo tranquillo periodo produce una lunga serie di fumetti, libri, e un altro bambino.
Il periodo 1997-1999 vede nascere la serie dalle dimensioni titaniche Donjon per Delcourt (pubblicata in minima parte e senza molto successo in Italia dalla Magic Press, con il titolo La Fortezza), con Joann Sfar e numerosi altri compagni.
Comincia a interessarsi al fumetto per l'infanzia con Monstrueux, Les trois chemins (uscito in Italia come Le tre strade), Le Roi Catastrophe (Re Catastrofe), Allez Raconte, continuando comunque a scrivere e disegnare volumi per L'Association.
Contemporaneamente si occupa di alcune serie di cartoni animati per la televisione: La Mouche, Jack et Marcel e Kaput et Zosky (Futurikon).
Nel 2005 pubblica Shampooing, una raccolta dei suoi album per l'infanzia usciti per la Delcourt e dei volumi creati per L'Association.

## Premi
- Chevalier des Arts et Letteres nel 2005
- Grand Prix de la ville d'Angoulême nel 2006.[2]

## Opere in italiano
- Le avventure della fine dell'episodio (ProGlo Edizioni, 2014)
- 24 ore di fumetto(ProGlo Edizioni, 2017)
- Diablotus(ProGlo Edizioni, 2017)
- No,no,no(ProGlo Edizioni, 2017)
- Texas cowboys (2012, ReNoir Comics)
- Fennec (2008, ProGlo)
- Piccolo Babbo Natale e il regalo perduto (2004, Edizioni BD)
- Hanno rubato la posta di Piccolo Babbo Natale (2003, Edizioni BD)
- Adalberto piace a tutti  (2002, Edizioni BD)
- Piccolo Babbo Natale contro il dottor Perfidia (2002, Edizioni BD)
- Adalberto padrone del mondo (2001, Edizioni BD)
- Adalberto perde la pazienza (2001, Edizioni BD)
- Confusione mostruosa (2001, Edizioni BD)
- Felice Halloween, Piccolo Babbo Natale (2001, Edizioni BD)
- Le tre strade(2001, Edizioni BD)
- Amore ad interim (2000, Edizioni BD)
- Blacktown (2000, Edizioni BD)
- Buongiorno, Piccolo Babbo Natale (2000, Edizioni BD)
- La mosca (1999, Kappa Edizioni)
- Slaloms (1999, Edizioni BD)

title: Lewis Trondheim

wikitext:
{{F|fumettisti francesi|luglio 2013}}
{{Bio
|Nome = Lewis
|Cognome = Trondheim
|PostCognomeVirgola = nome d'arte di '''Laurent Chabosy'''
|Sesso = M
|LuogoNascita = Fontainebleau
|GiornoMeseNascita = 11 dicembre
|AnnoNascita = 1964
|LuogoMorte =
|GiornoMeseMorte =
|AnnoMorte =
|Epoca= 1900
|Epoca2= 2000
|Attività = disegnatore
|Attività2 = fumettista
|Nazionalità = francese
|Immagine = FIBD2015LewisTrondheim.jpg
}}<ref>{{cita web|titolo=FFF-Lewis TRONDHEIM|url=http://www.lfb.it/fff/fumetto/aut/t/trondheim.htm|accesso=3 novembre 2013}}</ref>

== Biografia ==
Dopo aver seguito un corso per diventare grafico nel [[1987]] incontra [[Jean-Cristophe Menu]] e scopre un nuovo modo di fare fumetti.

Nel 1990 partecipa alla fondazione della struttura editoriale "[[L'Association]]" con i suoi amici [[Jean-Cristophe Menu|Menu]], [[Stanislas]], [[Matt Konture]], [[Killoffer]] e [[David B.]].

Dal 1991 Lewis lavora al laboratorio "Nawak", dove collabora con numerosi autori come [[Dominique Hérody]], [[Thierry Robin]], [[David B.]], [[Émile Bravo]], [[Cristophe Blain]], [[Joann Sfar]] e [[Brigitte Findakly]] (colorista che diventa la sua compagna nel 1993).

Nel 1994 diventa papà, firma per Dargaud la serie ''Lapinot'' e si trasferisce permanentemente nel sud della Francia. Durante questo tranquillo periodo produce una lunga serie di fumetti, libri, e un altro bambino.

Il periodo 1997-1999 vede nascere la serie dalle dimensioni titaniche ''Donjon'' per Delcourt (pubblicata in minima parte e senza molto successo in [[Italia]] dalla [[Magic Press]], con il titolo ''La Fortezza''), con [[Joann Sfar]] e numerosi altri compagni.

Comincia a interessarsi al fumetto per l'infanzia con ''Monstrueux'', ''Les trois chemins'' (uscito in Italia come ''Le tre strade''), ''Le Roi Catastrophe'' (''Re Catastrofe''), ''Allez Raconte'', continuando comunque a scrivere e disegnare volumi per L'Association.

Contemporaneamente si occupa di alcune serie di cartoni animati per la televisione: ''La Mouche'', ''Jack et Marcel'' e ''Kaput et Zosky'' ([[Futurikon]]).

Nel 2005 pubblica ''Shampooing'', una raccolta dei suoi album per l'infanzia usciti per la Delcourt e dei volumi creati per L'Association.

==Premi==
*Chevalier des Arts et Letteres nel 2005
*[[Grand Prix de la ville d'Angoulême]] nel 2006.<ref>{{cita web|titolo=Le palmarès 2006|url=http://www.toutenbd.com/article.php3?id_article=1480|accesso=3 novembre 2013|urlmorto=sì|urlarchivio=https://web.archive.org/web/20141006093920/http://www.toutenbd.com/article.php3?id_article=1480|dataarchivio=6 ottobre 2014}}</ref>

==Opere in italiano==
*Le avventure della fine dell'episodio (ProGlo Edizioni, 2014)
*24 ore di fumetto(ProGlo Edizioni, 2017)
*Diablotus(ProGlo Edizioni, 2017)
*No,no,no(ProGlo Edizioni, 2017)
*[[Texas]] cowboys (2012, [[ReNoir Comics]])
*Fennec (2008, ProGlo)
*Piccolo Babbo Natale e il regalo perduto (2004, [[Edizioni BD]])
*Hanno rubato la posta di Piccolo Babbo Natale (2003, Edizioni BD)
*Adalberto piace a tutti  (2002, Edizioni BD)
*Piccolo Babbo Natale contro il dottor Perfidia (2002, Edizioni BD)
*Adalberto padrone del mondo (2001, Edizioni BD)
*Adalberto perde la pazienza (2001, Edizioni BD)
*Confusione mostruosa (2001, Edizioni BD)
*Felice Halloween, Piccolo Babbo Natale (2001, Edizioni BD)
*Le tre strade(2001, Edizioni BD)
*Amore [[ad interim]] (2000, Edizioni BD)
*Blacktown (2000, Edizioni BD)
*Buongiorno, Piccolo Babbo Natale (2000, Edizioni BD)
*La mosca (1999, Kappa Edizioni)
*Slaloms (1999, Edizioni BD)

== Note ==
<references/>

== Altri progetti ==
{{interprogetto}}

== Collegamenti esterni ==
* {{Collegamenti esterni}}

{{Controllo di autorità}}
{{Portale|biografie}}


text:
# Jaish-e-Mohammad
Jaish-e-Mohammad (urdu: جيش محمد, letteralmente l'esercito di Maometto) è un gruppo terrorista islamista Deobandi del Pakistan ed attivo nella regione contesa del Kashmir. L'obiettivo principale del gruppo è separare il territorio di Jammu e Kashmir dall'India e fonderlo con il Pakistan.
Dalla sua nascita nel 2000, il gruppo ha compiuto diversi attacchi terroristici contro obiettivi civili, economici e militari in India. Ritrae il Kashmir come una "porta" per l'intera India, i cui musulmani ritiene abbiano bisogno di essere liberati. Mantiene strette relazioni con i talebani, Al-Qaida, Lashkar-e Taiba, Hizbul Mujahidin, Harkat ul-Mujahidin, Ansar Ghazwat-ul-Hind, Indian Mujahidin e continua ad essere alleato con loro.
Il suo leader è ritenuto Massud Azar, responsabile dell'organizzazione degli attentati terroristici a Mumbai del 2011 (tre attacchi coordinati che provocarono 26 morti e 130 feriti) e di un attentato che nel febbraio 2011 in Kashmir ha ucciso quaranta poliziotti indiani.
Il gruppo opera con la sponsorizzazione e la copertura politica della Inter-Services Intelligence pakistana, l'intelligence militare, e viene utilizzato per compiere attentati contro indiani, forze occidentali in Afghanistan o altri posti sensibili senza compromettere le forze armate o il governo pakistani.

wikiname: itwiki

title: Jaish-e-Mohammad

in_language: it

wikitext:
{{C|da aggiornare e controllare alcune parti|guerra|agosto 2021}}
{{gruppo armato
|Nome = Jaish-e-Mohammad ([[lingua urdu|urdu]]: جيش محمد, letteralmente ''l'esercito di Maometto'')
|Immagine =Jaishi-e-Mohammed.svg
|Dimensioni imm = 260px
|Didascalia = La bandiera del gruppo terroristico
|Attiva = [[2000]] – in attività
|Nazione = {{PAK}}
|Contesto = {{PAK}}
{{AFG}}
{{IND}}
|Ideologia = [[fondamentalismo islamico]] [[sunnismo|sunnita]] [[deobandi]]
|Fondatori = [[Massud Azar]]
|Componenti principali =
|Simbolo =
|Descr simbolo =
|Azioni = [[attentati terroristici a Mumbai del 2011]]
Attacchi in Afghanistan e India
|Collab giustizia =
|Alleanze =
|Affinità pol = [[Pakistan]]
|Tipo=terroristico
|Ref = ''Fonti nel testo''
}}
'''Jaish-e-Mohammad''' ([[lingua urdu|urdu]]: جيش محمد, letteralmente ''l'esercito di Maometto'') è un gruppo [[Terrorismo|terrorista]] [[Islamismo|islamista]] [[Deobandi]] del [[Pakistan]] ed attivo nella regione [[Conflitto del Kashmir|contesa]] del [[Kashmir]].<ref>{{Cita web|url=https://web.archive.org/web/20201021222739/https://www.nytimes.com/2020/03/19/magazine/masood-azhar-jaish.html|titolo=The Terrorist Who Got Away - The New York Times|sito=web.archive.org|data=2020-10-21|accesso=2025-05-18}}</ref><ref>{{Cita libro|lingua=en|nome=Christophe|cognome=Jaffrelot|titolo=The Pakistan Paradox: Instability and Resilience|url=https://books.google.com/books?id=i5GMCwAAQBAJ&pg=PA520|accesso=2025-05-18|data=2015|editore=Oxford University Press|p=520|ISBN=978-0-19-023518-5}}</ref><ref>{{Cita web|url=https://fas.org/irp/crs/RL32223.pdf|titolo=Foreign Terrorist Organizations|pp=40-43}}</ref> L'obiettivo principale del gruppo è separare il territorio di [[Jammu e Kashmir (territorio)|Jammu e Kashmir]] dall'[[India]] e fonderlo con il Pakistan.<ref>{{Cita web|lingua=en|autore=Al Jazeera Staff|url=https://www.aljazeera.com/news/2025/5/9/who-are-the-armed-groups-india-accuses-pakistan-of-backing|titolo=Who are the armed groups India accuses Pakistan of backing?|sito=Al Jazeera|accesso=2025-05-18}}</ref>

Dalla sua nascita nel [[2000]], il gruppo ha compiuto diversi attacchi terroristici contro obiettivi civili, economici e militari in India.<ref>{{Cita web|url=https://web.archive.org/web/20220428060751/http://news.bbc.co.uk/2/hi/south_asia/1804228.stm|titolo=BBC News {{!}} SOUTH ASIA {{!}} Jaish-e-Mohammad: A profile|sito=web.archive.org|data=2022-04-28|accesso=2025-05-18}}</ref><ref>{{Cita web|url=https://web.archive.org/web/20210211181801/https://www.spacewar.com/reports/Attack_May_Spoil_Kashmir_Summit.html|titolo=Attack May Spoil Kashmir Summit|sito=web.archive.org|data=2021-02-11|accesso=2025-05-18}}</ref> Ritrae il Kashmir come una "porta" per l'intera India, i cui [[musulmani]] ritiene abbiano bisogno di essere liberati. Mantiene strette relazioni con i [[talebani]], [[Al Qaida|Al-Qaida]], [[Lashkar-e Taiba]], [[Hizbul Mujahidin]], [[Harkat ul-Mujahidin]], [[Ansar Ghazwat-ul-Hind]], [[Indian Mujahidin]] e continua ad essere alleato con loro.<ref>{{Cita libro|lingua=en|nome=Muhammad|cognome=Moj|titolo=The Deoband Madrassah Movement: Countercultural Trends and Tendencies|url=https://books.google.com/books?id=mbm2BgAAQBAJ&pg=PA98|accesso=2025-05-18|data=2015-03-01|editore=Anthem Press|ISBN=978-1-78308-389-3}}</ref><ref>Popovic, Milos (2015), "The Perils of Weak Organization: Explaining Loyalty and Defection of Militant Organizations Toward Pakistan", Studies in Conflict & Terrorism, 38 (11): 919–937, doi:10.1080/1057610X.2015.1063838, ISSN 1057-610X, S2CID 108668097.</ref><ref>{{Cita libro|lingua=en|nome=Bruce O.|cognome=Riedel|titolo=Deadly Embrace: Pakistan, America, and the Future of the Global Jihad|url=https://books.google.com/books?id=ULgk7_oWB1EC|accesso=2025-05-18|data=2012|editore=Brookings Institution Press|p=69|ISBN=978-0-8157-2274-8}}</ref>

Il suo leader è ritenuto Massud Azar, responsabile dell'organizzazione degli [[attentati terroristici a Mumbai del 2011]] (tre attacchi coordinati che provocarono 26 morti e 130 feriti<ref name="ndtv2">{{Cita web |titolo=Three blasts in Mumbai |url=http://www.ndtv.com/article/india/three-blasts-in-mumbai-21-dead-close-to-130-injured-119083 |editore=NDTV 24x7 |accesso=13 luglio 2011 |dataarchivio=16 luglio 2011 |urlarchivio=https://web.archive.org/web/20110716071152/http://www.ndtv.com/article/india/three-blasts-in-mumbai-21-dead-close-to-130-injured-119083 |urlmorto=sì }}</ref>) e di un attentato che nel febbraio 2011 in Kashmir ha ucciso quaranta poliziotti indiani<ref>{{cita web |https://www.strategypage.com/qnd/afghan/20190710.aspx|Afghanistan: The North Does Not Forget|accesso 16 lug 2019}}</ref>.

Il gruppo opera con la sponsorizzazione e la copertura politica della [[Inter-Services Intelligence]] pakistana<ref name="Moj intro" />, l'intelligence militare, e viene utilizzato per compiere attentati contro indiani, forze occidentali in Afghanistan o altri posti sensibili senza compromettere le forze armate o il governo pakistani<ref name="Moj intro">{{harvp|Moj, Deoband Madrassah Movement|2015|p=98}}: "Deobandis like Masood Azhar, a graduate of Jamia Binouria who later set up a jihadist outfit named Jaish-e-Muhammad (JeM) in 2000, reportedly at the behest of Pakistan's military establishment."</ref>.

== Note ==
<references/>

== Voci correlate ==

* [[Islamismo]]
* [[Conflitto del Kashmir]]
* [[Relazioni bilaterali tra India e Pakistan]]
* [[Attentato di Pahalgam]]
{{Guerra al terrorismo}}
{{portale|guerra}}

[[Categoria:Terrorismo islamista]]

Attiva: 2000 – in attività

Nazione: Pakistan

Contesto: Pakistan · Afghanistan · India

Ideologia: fondamentalismo islamico sunnita deobandi

Affinità politiche: Pakistan

title: Componenti

Fondatori: Massud Azar

title: Attività

Azioni principali: attentati terroristici a Mumbai del 2011 · Attacchi in Afghanistan e India

Attività: Voci su organizzazioni terroristiche in Wikipedia


text:
# Neverkinskij rajon
Il Neverkinskij rajon (in russo Неверкинский район?) è un rajon dell'Oblast' di Penza, nella Russia europea. Istituito nel 1928, il suo capoluogo è Neverkino.

title: Neverkinskij rajon

wikitext:
{{S|rajon dell'Oblast' di Penza}}
{{Divisione amministrativa
|Nome = Neverkinskij rajon
|Nome ufficiale = Неверкинский район
|Panorama =
|Didascalia =
|Stato = RUS
|Grado amministrativo = 3
|Divisione amm grado 1 = Volga
|Divisione amm grado 2 = Penza
|Capoluogo = [[Neverkino]]
|Amministratore locale =
|Partito =
|Data elezione =
|Lingue ufficiali =
|Data istituzione =
|Latitudine decimale = 52.787985
|Longitudine decimale = 46.731843
|Altitudine =
|Acque interne =
|Abitanti = 16331
|Note abitanti =
|Aggiornamento abitanti = 2010
|Sottodivisioni =
|Divisioni confinanti =
|Lingue =
|Codice postale =
|Prefisso =
|Fuso orario = +3
|Codice statistico =
|Nome abitanti =
|Immagine localizzazione =
|Mappa =
|Didascalia mappa =
}}
Il '''Neverkinskij rajon''' ({{russo|Неверкинский район}}) è un [[Rajon della Russia|rajon]] dell'[[Oblast' di Penza]], nella [[Russia europea]]. Istituito nel [[1928]], il suo [[capoluogo]] è [[Neverkino]].

== Altri progetti ==
{{interprogetto}}

== Collegamenti esterni ==
* {{Collegamenti esterni}}

{{PenzaRajon}}
{{portale|Russia}}

[[Categoria:Rajon dell'Oblast' di Penza]]

title: Localizzazione

Stato: Russia

Circondario federale: Volga

Soggetto federale: Penza

title: Amministrazione

Capoluogo: Neverkino

title: Territorio

title: Altre informazioni

title: Cartografia

Cartografia: Neverkino


text:
# Rocking Tall
Rocking Tall è una raccolta del gruppo musicale statunitense Warrant, pubblicata il 13 maggio 1996 dalla Legacy Recordings.
Pubblicata quasi in contemporanea con The Best of Warrant, può essere considera una raccolta alternativa ad essa, seppur priva di alcuni classici come Heaven e I Saw Red.

## Tracce
1. Down Boys – 4:04 – da Dirty Rotten Filthy Stinking Rich
2. Train, Train – 2:49 – da Cherry Pie
3. Sometimes She Cries – 4:43 – da Dirty Rotten Filthy Stinking Rich
4. 32 Pennies – 3:09 – da Dirty Rotten Filthy Stinking Rich
5. Cold Sweat – 3:30 – da Dirty Rotten Filthy Stinking Rich
6. Cherry Pie – 3:21 – da Cherry Pie
7. Sure Feels Good to Me – 2:39 – da Cherry Pie
8. The Bitter Pill – 4:07 – da Dog Eat Dog
9. Quicksand – 3:58 – da Dog Eat Dog
10. Machine Gun – 3:44 – da Dog Eat Dog

## Formazione
- Jani Lane – voce
- Joey Allen – chitarra
- Erik Turner – chitarra
- Jerry Dixon – basso
- Steven Sweet – batteria

title: Rocking Tall

wikitext:
{{Album
|titolo = Rocking Tall
|artista = Warrant
|voce artista = Warrant (gruppo musicale statunitense)
|tipo = Raccolta
|giornomese = 13 maggio
|anno = 1996
|postdata =
|etichetta = [[Sony Music|Sony]]/[[Legacy Recordings|Legacy]]
|durata = 36:04
|genere = Hair metal
|genere2 = Pop metal
|genere3 = Heavy metal
|genere4 = Hard rock
|registrato = 1988-1992
|numero di dischi = 1
|numero di tracce = 10
|numero dischi d'oro =
|numero dischi di platino =
|precedente = [[The Best of Warrant]]
|anno precedente = 1996
|successivo = [[Belly to Belly]]
|anno successivo = 1996
}}
'''''Rocking Tall''''' è una [[compilation|raccolta]] del [[gruppo musicale]] [[Stati Uniti d'America|statunitense]] [[Warrant (gruppo musicale statunitense)|Warrant]], pubblicata il 13 maggio [[1996]] dalla [[Legacy Recordings]].

Pubblicata quasi in contemporanea con ''[[The Best of Warrant]]'', può essere considera una raccolta alternativa ad essa, seppur priva di alcuni classici come ''[[Heaven (Warrant)|Heaven]]'' e ''[[I Saw Red]]''.

== Tracce ==
{{Tracce
|Titolo1 = [[Down Boys]]
|Durata1 = 4:04
|Extra1  = da ''[[Dirty Rotten Filthy Stinking Rich]]''
|Titolo2 = Train, Train
|Durata2 = 2:49
|Extra2  = da ''[[Cherry Pie (album)|Cherry Pie]]''
|Titolo3 = [[Sometimes She Cries]]
|Durata3 = 4:43
|Extra3  = da ''Dirty Rotten Filthy Stinking Rich''
|Titolo4 = 32 Pennies
|Durata4 = 3:09
|Extra4  = da ''Dirty Rotten Filthy Stinking Rich''
|Titolo5 = Cold Sweat
|Durata5 = 3:30
|Extra5  = da ''Dirty Rotten Filthy Stinking Rich''
|Titolo6 = [[Cherry Pie (singolo)|Cherry Pie]]
|Durata6 = 3:21
|Extra6  = da ''Cherry Pie''
|Titolo7 = Sure Feels Good to Me
|Durata7 = 2:39
|Extra7  = da ''Cherry Pie''
|Titolo8 = [[The Bitter Pill]]
|Durata8 = 4:07
|Extra8  = da ''[[Dog Eat Dog (Warrant)|Dog Eat Dog]]''
|Titolo9 = Quicksand
|Durata9 = 3:58
|Extra9  = da ''Dog Eat Dog''
|Titolo10 = [[Machine Gun (Warrant)|Machine Gun]]
|Durata10 = 3:44
|Extra10  = da ''Dog Eat Dog''
}}

== Formazione ==
* [[Jani Lane]] – [[Canto|voce]]
* [[Joey Allen]] – [[chitarra]]
* [[Erik Turner]] – chitarra
* [[Jerry Dixon]] – [[basso elettrico|basso]]
* [[Steven Sweet]] – [[Batteria (strumento musicale)|batteria]]

== Collegamenti esterni ==
* {{Collegamenti esterni}}

{{Warrant}}
{{Portale|Heavy metal|rock}}

title: Rocking Tall · raccolta discografica

Artista: Warrant

Pubblicazione: 13 maggio 1996

Genere: Hair metal · Pop metal · Heavy metal · Hard rock

Etichetta: Sony/Legacy

title: Warrant - cronologia

Warrant - cronologia: Album precedente · The Best of Warrant(1996)Album successivo · Belly to Belly(1996)


text:
# Emozioni (Gianni Celeste)
Emozioni è il ventiseiesimo album del cantante siciliano Gianni Celeste, cantato in lingua napoletana, pubblicato nel 1998.

## Tracce
1. Il giorno del fidanzamento
2. Cara
3. Addo stive
4. Na storia overe
5. Cu tte nun c'è bisogno ca me trovo n'amante
6. Muoio
7. Mio caro suocero
8. Odio e amore
9. Occhi
10. Sto sulo

title: Emozioni (Gianni Celeste)

wikitext:
{{F|album pop|data=settembre 2023}}
{{S|album pop}}
{{Album
|titolo = Emozioni
|artista = Gianni Celeste
|tipo = Studio
|anno = 1998
|numero di dischi = 1
|numero di tracce = 10
|genere = Musica napoletana
|etichetta = [[Seamusica]]
|precedente = [[Ciao (Gianni Celeste)|Ciao]]
|anno precedente = 1998
|successivo = [[I miei successi e...]]
|anno successivo = 1998
}}

'''''Emozioni''''' è il ventiseiesimo album del [[cantante]] [[sicilia]]no [[Gianni Celeste]], cantato in [[lingua napoletana]], pubblicato nel 1998.

== Tracce ==
{{Tracce
|Titolo1 = Il giorno del fidanzamento
|Titolo2 = Cara
|Titolo3 = Addo stive
|Titolo4 = Na storia overe
|Titolo5 = Cu tte nun c'è bisogno ca me trovo n'amante
|Titolo6 = Muoio
|Titolo7 = Mio caro suocero
|Titolo8 = Odio e amore
|Titolo9 = Occhi
|Titolo10 = Sto sulo
}}

== Collegamenti esterni ==
* {{Collegamenti esterni}}

{{Portale|musica}}

title: Emozioni · album in studio

Artista: Gianni Celeste

Genere: Canzone napoletana

Etichetta: Seamusica

title: Gianni Celeste - cronologia

Gianni Celeste - cronologia: Album precedente · Ciao(1998)Album successivo · I miei successi e...(1998)


text:
# Ezio Riondato
Ezio Riondato (Padova, 6 aprile 1921 – Padova, 27 agosto 2004) è stato un filosofo e politico italiano.

## Biografia
Ezio Riondato nasce nel quartiere padovano dell'Arcella. Studia presso l'Università di Padova e si laurea prima in lettere classiche e poi in filosofia nel 1952, avendo come maestri Luigi Stefanini, Aldo Ferrabino, Umberto Antonio Padovani e Carlo Diano. Nel 1961 diventa professore di storia della filosofia antica nello stesso ateneo patavino. Fu vicepresidente nazionale dell'Azione Cattolica, presidente della Cassa di Risparmio di Padova e Rovigo, vice presidente nazionale dell'Associazione tra le Casse di risparmio italiane e presidente del Consiglio di amministrazione del Gazzettino dal 1969 al 1979. Fu quindi Presidente Onorario dell'ACRI. Il 22 aprile 1978, mentre si recava a lezione al Liviano, fu ferito da un colpo di pistola ad una gamba. L'attentato venne rivendicato dai Nuclei Organizzati per il Comunismo. Sul luogo dell'attentato è ora presente una targa in ricordo.
È stato presidente dell'Accademia patavina di scienze, lettere ed arti dal 1991 al 2000 e sotto la sua presidenza l'Accademia cambia nome in "Accademia galileiana di scienze, lettere ed arti". Dal 1972 è stato socio corrispondente dell'Istituto veneto di scienze, lettere ed arti.

title: Ezio Riondato

wikitext:
{{Bio
|Nome = Ezio
|Cognome = Riondato
|Sesso = M
|LuogoNascita = Padova
|GiornoMeseNascita = 6 aprile
|AnnoNascita = 1921
|LuogoMorte = Padova
|GiornoMeseMorte = 27 agosto
|AnnoMorte = 2004
|Epoca = 1900
|Attività = filosofo
|Attività2 = politico
|Nazionalità = italiano
}}

== Biografia ==
Ezio Riondato nasce nel quartiere padovano dell'[[Arcella (Padova)|Arcella]]. Studia presso l'[[Università di Padova]] e si laurea prima in lettere classiche e poi in filosofia nel [[1952]], avendo come maestri [[Luigi Stefanini]], [[Aldo Ferrabino]], [[Umberto Antonio Padovani]] e [[Carlo Diano]]. Nel [[1961]] diventa professore di storia della filosofia antica nello stesso ateneo patavino. Fu vicepresidente nazionale dell'[[Azione Cattolica]], presidente della [[Cassa di Risparmio del Veneto|Cassa di Risparmio di Padova e Rovigo]], vice presidente nazionale dell'Associazione tra le Casse di risparmio italiane e presidente del Consiglio di amministrazione del [[Il Gazzettino|Gazzettino]] dal 1969 al 1979. Fu quindi Presidente Onorario dell'[[Associazione di Fondazioni e di Casse di Risparmio Spa|ACRI]]. Il 22 aprile 1978, mentre si recava a lezione al [[Palazzo Liviano|Liviano]], fu ferito da un colpo di pistola ad una gamba. L'attentato venne rivendicato dai Nuclei Organizzati per il Comunismo. Sul luogo dell'attentato è ora presente una targa in ricordo.<ref>{{cita web | url = http://www.ezioriondato.org/Ezio_Riondato_targa_liviano.jpg | titolo = Targa in ricordo | accesso = 3 maggio 2012 }}</ref>
È stato presidente dell'[[Accademia galileiana di scienze, lettere ed arti|Accademia patavina di scienze, lettere ed arti]] dal 1991 al 2000 e sotto la sua presidenza l'Accademia cambia nome in "Accademia galileiana di scienze, lettere ed arti". Dal 1972 è stato socio corrispondente dell'[[Istituto veneto di scienze, lettere ed arti]].

== Onorificenze ==
{{Onorificenze
|immagine = Cordone_di_gran_Croce_OMRI_BAR.svg
|nome_onorificenza = Cavaliere di gran croce dell'Ordine al merito della Repubblica italiana
|collegamento_onorificenza = Ordine al merito della Repubblica Italiana
|motivazione =
|luogo = 5 marzo [[1973]]<ref>[http://www.quirinale.it/elementi/DettaglioOnorificenze.aspx?decorato=34779 Sito web del Quirinale: dettaglio decorato.]</ref>
}}
{{Onorificenze
|immagine = Grande_ufficiale_OMRI_BAR.svg
|nome_onorificenza = Grande ufficiale dell'Ordine al merito della Repubblica italiana
|collegamento_onorificenza = Ordine al merito della Repubblica Italiana
|motivazione =
|luogo = 27 dicembre [[1968]]<ref>[http://www.quirinale.it/elementi/DettaglioOnorificenze.aspx?decorato=258055 Sito web del Quirinale: dettaglio decorato.]</ref>
}}
{{Onorificenze
|immagine = BenemeritiCultura1.png
|nome_onorificenza = Medaglia d'oro ai benemeriti della scuola della cultura e dell'arte
|collegamento_onorificenza = Medaglia ai benemeriti della scienza e della cultura
|motivazione =
|luogo = 2 giugno [[1977]]<ref>[http://www.quirinale.it/elementi/DettaglioOnorificenze.aspx?decorato=7773 Sito web del Quirinale: dettaglio decorato.]</ref>
}}

==Note==
<references />

==Collegamenti esterni==
* {{cita web|http://www.ezioriondato.org|Sito in Memoria}}

{{Controllo di autorità}}
{{Portale|Biografie|Filosofia}}

[[Categoria:Benemeriti della scuola, della cultura e dell'arte]]
[[Categoria:Benemeriti della cultura e dell'arte]]
[[Categoria:Cavalieri di gran croce OMRI]]
[[Categoria:Persone legate all'Università degli Studi di Padova]]
[[Categoria:Membri dell'Accademia galileiana di scienze lettere ed arti]]


text:
# 23692 Nandatianwenners
23692 Nandatianwenners è un asteroide della fascia principale. Scoperto nel 1997, presenta un'orbita caratterizzata da un semiasse maggiore pari a 2,6548178 au e da un'eccentricità di 0,1486949, inclinata di 12,93012° rispetto all'eclittica.

title: 23692 Nandatianwenners

wikitext:
{{S|asteroidi}}
{{Corpo celeste
|tipo = Asteroide
|nome =Nandatianwenners
|sottotitolo =23692 Nandatianwenners
|data =20 maggio 1997
|scoperta_autore =[[Beijing Schmidt CCD Asteroid Program]]
|categoria = [[Fascia principale]]
|stella_madre = Sole
|designazioni_alternative ={{DP|1997 KA|}}, {{DP|1998 XP|31}}
|epoca =[[giorno giuliano|JD]] 2459400,5
5 luglio 2021
|semiasse_maggiore = {{M|397160743|ul=km}}
{{M|2,6548178|ul=UA}}
|periastro = {{M|338104961|u=km}}
{{M|2,2600599|u=UA}}
|afastro = {{M|456216525|u=km}}
{{M|3,0495757|u=UA}}
|periodo_orbitale=1579,98 [[giorno|giorni]]
(4,33 [[anno giuliano|anni]])
|eccentricità =0,1486949
|nodo_ascendente =254,02121°
|argomento_perielio = 62,79610°
|anomalia_media =176,75923°
|inclinazione_orbita_su_eclittica =12,93012°
|ultimo_perielio = 19 maggio 2019
|prossimo_perielio = 15 settembre 2023
|par_Tisserand_J =3,337
|magn_ass =12,81
}}
'''23692 Nandatianwenners''' è un [[asteroide]] della [[fascia principale]]. Scoperto nel 1997, presenta un'[[orbita]] caratterizzata da un [[semiasse maggiore]] pari a {{M|2,6548178|ul=UA}} e da un'[[eccentricità orbitale|eccentricità]] di 0,1486949, inclinata di 12,93012° rispetto all'[[eclittica]].

== Collegamenti esterni ==
{{LinkFontiAsteroidi}}

{{Asteroide|precedente=23691 Jefneve|formato=ridotto}}
{{Portale|sistema solare}}

[[Categoria:Asteroidi della fascia principale centrale|Nandatianwenners]]
[[Categoria:Corpi celesti scoperti nel 1997]]

title: Nandatianwenners · (23692 Nandatianwenners)

Stella madre: Sole

Scoperta: 20 maggio 1997

Scopritore: Beijing Schmidt CCD Asteroid Program

Classificazione: Fascia principale

title: Parametri orbitali

Parametri orbitali: (all'epoca JD 2459400,5 · 5 luglio 2021)

Par. Tisserand (TJ): 3,337 (calcolato)

Ultimo perielio: 19 maggio 2019

Prossimo perielio: 15 settembre 2023

title: Dati osservativi


text:
# Palladio d'oro
La Palladio d'oro è un premio promosso dall'amministrazione comunale di Vicenza che viene consegnato a personaggi di spicco della cultura italiana.
Nato su idea e progetto dello scultore Francesco Rienzi e per volontà dell'allora sindaco Enrico Hüllweck nel 2003, il premio consiste in una penna stilografica d'oro, intarsiata a mano con elementi architettonici palladiani (specificatamente: Villa Emo, Villa Caldogno, la Basilica Palladiana, Palazzo Chiericati e Villa Capra detta la Rotonda). Il cappuccio è decorato di lapislazzuli e presenta, sulla sommità, lo stemma del comune. L'oggetto nasce per riassumere in sé le eccellenze che hanno contraddistinto nel passato e nel presente la città di Vicenza: l'architettura di Andrea Palladio e l'arte orafa.
I personaggi che hanno ricevuto il premio sono:
- Carlo Rubbia, fisico, Premio Nobel per la fisica nel 1984
- Giorgio Albertazzi, attore e regista
- Álvaro Siza, architetto
- András Schiff, musicista e compositore
- Claudio Baglioni, cantante
- Claudio Scimone, direttore d'orchestra
- Alessandro Frigiola, medico
- Ersilio Tonini, cardinale
- Roberto Bolle, ballerino
- Uto Ughi, musicista
- Bruno Vespa, giornalista
- Catherine Spaak, attrice

## Il progetto
“La Palladio” è il risultato di una ricerca volta ad estrapolare motivi decorativi e criteri progettuali riscontrabili nella maggior parte delle architetture palladiane, e l'osservazione guidata proposta di seguito chiarisce in modo più dettagliato come il legame tra il grande architetto vicentino sia riconoscibile in ciascun dettaglio della penna. Non per questo “La Palladio” va ritenuta il frutto di una sintesi dell'opera palladiana ma piuttosto di un'astrazione, in cui i riferimenti e le ispirazioni più dirette sono liberamente interpretate e mediate dalle necessità tecnico-formali dettate dalla specificità dell'oggetto penna.
Il primo elemento formale-decorativo di forte impatto visivo che caratterizza “La Palladio” è senza dubbio quello che richiama il frontone dentellato nella parte alta del cappuccio. Tale motivo architettonico, di chiara matrice classica e assai ricorrente nelle celeberrime ville palladiane, è stato rappresentato in modo che guardando la penna frontalmente (ovvero con il fermaglio rivolto verso l'osservatore) fosse possibile cogliere all'istante l'idea di casa, e quindi di architettura, offrendo uno scorcio ideale sulla sommità decorata di un timpano; un particolare che richiama su di sé l'attenzione in modo del tutto evidente anche per la voluta discontinuità di materiale e colore realizzata grazie alle capacità combinate di artigiani abili nella lavorazione dell'oro e della pietra.
Non casuale, naturalmente, la scelta della pietra, il lapislazzulo che, felicemente abbinato all'oro, completa e arricchisce “La Palladio” dal punto di vista decorativo; il richiamo naturalistico è palese non solo per il fatto che la pietra in quanto tale è essa stessa elemento naturale, ma perché per le sue caratteristiche estetiche, un blu intenso non uniforme “punteggiato di stelle”, è parso che il lapislazzulo fosse perfetto per costituire lo sfondo di un timpano.
Il motivo decorativo geometrico utilizzato nella parte centrale del cappuccio è ripreso da quello adottato più volte dal Palladio nei serramenti delle triple aperture ad arco, le “serliane”, che disegnano tipicamente le facciate delle sue ville (per es. Villa Caldogno, Villa Emo). Questo semplice decoro che “vestiva” gli ampi archi vetrati costituiva l'unico filtro tra gli spazi interni ed esterni consentendo una grande permeabilità visiva verso i giardini e la campagna, un altro modo di sottolineare il forte legame tra architettura e natura e un eccellente spunto grafico per l'arricchimento estetico de “La Palladio”.
Uno degli elementi architettonici più utilizzati nelle ville palladiane per “cucire” lo spazio costruito con l'ambiente esterno (la campagna veneta e gli splendidi giardini) è la scalinata. Su “La Palladio” le linee circolari di dislivello che assottigliano la penna rappresentano le scalinate e sono presenti sul cappuccio, nella parte inferiore, ed estesamente sul corpo, in modo regolare nella parte centrale e “a sfumare” verso l'infinito nella parte bassa.
La parte alta del corpo della penna, quella celata dal cappuccio, ossia il puntale, è ispirata ad una forma classica rinascimentale molto utilizzata per la realizzazione degli elementi verticali delle balaustre e naturalmente molto presente nelle architetture del Palladio (nonché in molti degli affreschi che abbelliscono gli interni delle ville). L'armoniosa morbidezza del profilo del puntale si contrappone alla rigida geometria della parte restante del corpo-penna; questa forma però non risponde ad una semplice scelta estetica ma risolve perfettamente le necessità funzionali ed ergonomiche ovvero quelle di dare alloggiamento al corpo-scrittura e consentire al tempo stesso una comoda impugnatura. Il collarino del puntale è arricchito da una coroncina dentata che riprende in orizzontale il motivo estetico del frontone.
Dal puntale emerge il pennino de “La Palladio” lo strumento tecnico per eccellenza di ogni penna: la sua linea, pur vincolata dalla funzione, risulta morbida e vicina a quella armoniosa del puntale. Il richiamo al maestro vicentino tuttavia è reso esplicito dal disegno e dalle scritte che anche questo elemento reca incise: una sintesi della pianta de “La Rotonda”, la più celebre delle ville palladiane, e una sigla APV, è riportata in forma di bassorilievo sul fondello del corpo-penna.
L'elemento estetico-decorativo tradizionalmente deputato a conferire valore ad una penna è la fascetta terminale del cappuccio, riproposta in questo caso in corrispondenza del fondello del corpo: “La Palladio”, con la realizzazione di questi decori, coglie l'opportunità di mostrare una volta di più l'abilità artigiana degli orafi vicentini. Le due fascette ripropongono l'elemento architettonico classico della trabeazione presente in numerose opere del Palladio (per es. la chiusura superiore della loggia di Casa Cornaro, Palazzo Chiericati, La Basilica di Vicenza, Villa Pisani); il motivo a metope e triglifi è intervallato da elementi in lapislazzulo incastonati.
Ne “La Palladio” il cappuccio costituisce l'elemento in cui si concentrano maggiormente i riferimenti concettuali all'arte dell'architetto vicentino; si è deciso di celebrare la città veneta inserendo sulla sommità della testa in lapislazzulo un terminale circolare sul quale è inciso un emblema, lo Stemma del Comune di Vicenza (nel quale ovviamente la corona patriziale Veneta, le medaglie al valor militare e i rami di quercia e alloro sono rappresentati in forma stilizzata).
Il cappuccio si completa con il fermaglio, un particolare di notevole spicco in cui il forte vincolo formale dato dalla funzione che deve assolvere ha “suggerito” al progettista la sua definizione estetica. L'immagine di un pennacchio che emerge dal tetto di una villa e ritaglia una porzione di cielo è quella che si è cercato di interpretare: ne “La Palladio” l'asta della clip riprende la forma di un pennacchio rovesciato e l'inserto in lapislazzulo ripropone liberamente quel “ritaglio di cielo” da cui prende ispirazione.
L'intera penna e ciascuno dei suoi elementi sono stati dimensionati rispettando l'unità di misura adottata dal Palladio, il Piede Vicentino che si suddivide in dodici once e quattro minuti; per necessità progettuali la più piccola frazione del Piede è stata ulteriormente divisa in quattro parti. La penna misura in altezza 178,5 mm, ovvero l'equivalente esatto di mezzo Piede Vicentino, ed è in rapporto 10:1 con la sua larghezza (diametro).
Tra gli elementi decorativo/evocativi presenti sulla penna, il motivo a metope e triglifi della trabeazione e il disegno della pianta de “La Rotonda” sono quelli riproposti sul cofanetto previsto per custodire “La Palladio”: la trabeazione ha qui un valore puramente decorativo di stampo classico e incornicia la pianta della villa che probabilmente rappresenta più di ogni altra l'idea di perfezione e armonia ricercata dal Palladio nelle sue opere. Il modo in cui si manifestano l'amore per la simmetria, il rapporto tra gli spazi interni, realizzato mediante l'uso dei numeri “perfetti” 10 e 6 che si ritrovano nelle proporzioni delle stanze interne, e lo stretto legame tra ambiente costruito e ambiente naturale, danno a questa splendida architettura un valore altamente simbolico e rappresentativo della figura e delle opere di Andrea Palladio.

title: Palladio d'oro

wikitext:
La '''Palladio d'oro''' è un premio promosso dall'amministrazione comunale di [[Vicenza]] che viene consegnato a personaggi di spicco della [[cultura]] italiana.

Nato su idea e progetto dello scultore [[Francesco Rienzi]] e per volontà dell'allora sindaco [[Enrico Hüllweck]] nel [[2003]], il premio consiste in una penna stilografica d'oro, intarsiata a mano con elementi architettonici [[Andrea Palladio|palladiani]] (specificatamente: [[Villa Emo]], [[Villa Caldogno]], la [[Basilica Palladiana]], [[Palazzo Chiericati]] e [[Villa Capra detta la Rotonda]]). Il cappuccio è decorato di [[lapislazzuli]] e presenta, sulla sommità, lo stemma del comune. L'oggetto nasce per riassumere in sé le eccellenze che hanno contraddistinto nel passato e nel presente la città di [[Vicenza]]: l'architettura di [[Andrea Palladio]] e l'[[arte orafa]].

I personaggi che hanno ricevuto il premio sono:
*[[Carlo Rubbia]], [[fisico]], [[Premio Nobel per la fisica]] nel [[1984]]
*[[Giorgio Albertazzi]], [[attore]] e [[regista]]
*[[Álvaro Siza]], [[architetto]]
*[[András Schiff]], [[musicista]] e [[compositore]]
*[[Claudio Baglioni]], [[cantante]]
*[[Claudio Scimone]], [[direttore d'orchestra]]
*[[Alessandro Frigiola]], [[medico]]
*[[Ersilio Tonini]], [[cardinale]]
*[[Roberto Bolle]], [[ballerino]]
*[[Uto Ughi]], [[musicista]]
*[[Bruno Vespa]], [[giornalista]]
*[[Catherine Spaak]], [[attrice]]

== Il progetto ==
“La Palladio” è il risultato di una ricerca volta ad estrapolare motivi decorativi e criteri progettuali riscontrabili nella maggior parte delle architetture palladiane, e l'osservazione guidata proposta di seguito chiarisce in modo più dettagliato come il legame tra il grande architetto vicentino sia riconoscibile in ciascun dettaglio della penna. Non per questo “La Palladio” va ritenuta il frutto di una sintesi dell'opera palladiana ma piuttosto di un'astrazione, in cui i riferimenti e le ispirazioni più dirette sono liberamente interpretate e mediate dalle necessità tecnico-formali dettate dalla specificità dell'oggetto penna.

Il primo elemento formale-decorativo di forte impatto visivo che caratterizza “La Palladio” è senza dubbio quello che richiama il [[frontone]] dentellato nella parte alta del cappuccio. Tale motivo architettonico, di chiara matrice classica e assai ricorrente nelle celeberrime [[ville palladiane]], è stato rappresentato in modo che guardando la penna frontalmente (ovvero con il [[fermaglio]] rivolto verso l'osservatore) fosse possibile cogliere all'istante l'idea di casa, e quindi di architettura, offrendo uno scorcio ideale sulla sommità decorata di un [[Timpano (architettura)|timpano]]; un particolare che richiama su di sé l'attenzione in modo del tutto evidente anche per la voluta discontinuità di materiale e colore realizzata grazie alle capacità combinate di artigiani abili nella lavorazione dell'oro e della pietra.

Non casuale, naturalmente, la scelta della pietra, il [[lapislazzulo]] che, felicemente abbinato all'oro, completa e arricchisce “La Palladio” dal punto di vista decorativo; il richiamo naturalistico è palese non solo per il fatto che la pietra in quanto tale è essa stessa elemento naturale, ma perché per le sue caratteristiche estetiche, un blu intenso non uniforme “punteggiato di stelle”, è parso che il [[lapislazzulo]] fosse perfetto per costituire lo sfondo di un [[Timpano (architettura)|timpano]].

Il motivo decorativo geometrico utilizzato nella parte centrale del cappuccio è ripreso da quello adottato più volte dal [[Andrea Palladio|Palladio]] nei [[serramenti]] delle triple aperture ad arco, le “[[serliane]]”, che disegnano tipicamente le facciate delle sue ville (per es. [[Villa Caldogno]], [[Villa Emo]]). Questo semplice decoro che “vestiva” gli ampi archi vetrati costituiva l'unico filtro tra gli spazi interni ed esterni consentendo una grande permeabilità visiva verso i giardini e la campagna, un altro modo di sottolineare il forte legame tra architettura e natura e un eccellente spunto grafico per l'arricchimento estetico de “La Palladio”.

Uno degli elementi architettonici più utilizzati nelle [[ville palladiane]] per “cucire” lo spazio costruito con l'ambiente esterno (la campagna veneta e gli splendidi giardini) è la scalinata. Su “La Palladio” le linee circolari di dislivello che assottigliano la penna rappresentano le scalinate e sono presenti sul cappuccio, nella parte inferiore, ed estesamente sul corpo, in modo regolare nella parte centrale e “a sfumare” verso l'infinito nella parte bassa.

La parte alta del corpo della penna, quella celata dal cappuccio, ossia il puntale, è ispirata ad una forma classica rinascimentale molto utilizzata per la realizzazione degli elementi verticali delle [[balaustre]] e naturalmente molto presente nelle architetture del [[Andrea Palladio|Palladio]] (nonché in molti degli [[affreschi]] che abbelliscono gli interni delle ville). L'armoniosa morbidezza del profilo del puntale si contrappone alla rigida geometria della parte restante del corpo-penna; questa forma però non risponde ad una semplice scelta estetica ma risolve perfettamente le necessità funzionali ed ergonomiche ovvero quelle di dare alloggiamento al corpo-scrittura e consentire al tempo stesso una comoda impugnatura. Il collarino del puntale è arricchito da una coroncina dentata che riprende in orizzontale il motivo estetico del [[frontone]].

Dal puntale emerge il [[pennino]] de “La Palladio” lo strumento tecnico per eccellenza di ogni penna: la sua linea, pur vincolata dalla funzione, risulta morbida e vicina a quella armoniosa del puntale. Il richiamo al maestro vicentino tuttavia è reso esplicito dal disegno e dalle scritte che anche questo elemento reca incise: una sintesi della pianta de “[[Villa Almerico Capra|La Rotonda]]”, la più celebre delle ville palladiane, e una sigla APV, è riportata in forma di [[bassorilievo]] sul fondello del corpo-penna.

L'elemento estetico-decorativo tradizionalmente deputato a conferire valore ad una penna è la fascetta terminale del cappuccio, riproposta in questo caso in corrispondenza del fondello del corpo: “La Palladio”, con la realizzazione di questi decori, coglie l'opportunità di mostrare una volta di più l'abilità artigiana degli orafi vicentini. Le due fascette ripropongono l'elemento architettonico classico della [[trabeazione]] presente in numerose opere del [[Andrea Palladio|Palladio]] (per es. la chiusura superiore della loggia di [[Casa Cornaro]], [[Palazzo Chiericati]], La Basilica di [[Vicenza]], [[Villa Pisani (Montagnana)|Villa Pisani]]); il motivo a [[Metopa|metope]] e [[Triglifo|triglifi]] è intervallato da elementi in [[lapislazzulo]] incastonati.

Ne “La Palladio” il cappuccio costituisce l'elemento in cui si concentrano maggiormente i riferimenti concettuali all'arte dell'architetto vicentino; si è deciso di celebrare la città veneta inserendo sulla sommità della testa in [[lapislazzulo]] un terminale circolare sul quale è inciso un emblema, lo Stemma del Comune di [[Vicenza]] (nel quale ovviamente la corona patriziale Veneta, le medaglie al valor militare e i rami di quercia e alloro sono rappresentati in forma stilizzata).

Il cappuccio si completa con il [[fermaglio]], un particolare di notevole spicco in cui il forte vincolo formale dato dalla funzione che deve assolvere ha “suggerito” al progettista la sua definizione estetica. L'immagine di un pennacchio che emerge dal tetto di una villa e ritaglia una porzione di cielo è quella che si è cercato di interpretare: ne “La Palladio” l'asta della [[Fermaglio|clip]] riprende la forma di un pennacchio rovesciato e l'inserto in [[lapislazzulo]] ripropone liberamente quel “ritaglio di cielo” da cui prende ispirazione.

L'intera penna e ciascuno dei suoi elementi sono stati dimensionati rispettando l'unità di misura adottata dal [[Andrea Palladio|Palladio]], il Piede Vicentino che si suddivide in dodici once e quattro minuti; per necessità progettuali la più piccola frazione del Piede è stata ulteriormente divisa in quattro parti. La penna misura in altezza 178,5 mm, ovvero l'equivalente esatto di mezzo Piede Vicentino, ed è in rapporto 10:1 con la sua larghezza (diametro).

Tra gli elementi decorativo/evocativi presenti sulla penna, il motivo a [[Metopa|metope]] e [[Triglifo|triglifi]] della [[trabeazione]] e il disegno della pianta de “[[Villa Almerico Capra|La Rotonda]]” sono quelli riproposti sul cofanetto previsto per custodire “La Palladio”: la [[trabeazione]] ha qui un valore puramente decorativo di stampo classico e incornicia la pianta della villa che probabilmente rappresenta più di ogni altra l'idea di perfezione e armonia ricercata dal [[Andrea Palladio|Palladio]] nelle sue opere. Il modo in cui si manifestano l'amore per la [[simmetria]], il rapporto tra gli spazi interni, realizzato mediante l'uso dei numeri “perfetti” 10 e 6 che si ritrovano nelle proporzioni delle stanze interne, e lo stretto legame tra ambiente costruito e ambiente naturale, danno a questa splendida architettura un valore altamente simbolico e rappresentativo della figura e delle opere di [[Andrea Palladio]].
[[File:La Palladio - progetto penna.jpg|thumb|334x334px|L a Palladio d'Oro: penna.|left]]
[[File:La Palladio - progetto cofanetto.jpg|thumb|La Palladio d'Oro: cofanetto.]][[File:La Palladio - piede vicentino e penna.jpg|thumb|La Palladio d'Oro: proporzioni.|centre]]

== Voci correlate ==
* [[Andrea Palladio]]

{{Portale|Vicenza}}

[[Categoria:Premi in Italia]]
[[Categoria:Cultura a Vicenza]]


text:
# Mkigo
Mkigo è una circoscrizione rurale (rural ward) della Tanzania situata nel distretto rurale di Kigoma, regione di Kigoma. Conta una popolazione di 16 252 abitanti (censimento 2012).

title: Mkigo

wikitext:
{{Divisione amministrativa
|Nome = Mkigo
|Nome ufficiale =
|Panorama =
|Didascalia =
|Bandiera =
|Voce bandiera =
|Stemma =
|Voce stemma =
|Stato = TZA
|Grado amministrativo = 3
|Tipo = [[Circoscrizioni della Tanzania|circoscrizione rurale]]
|Divisione amm grado 1 = Kigoma

|Divisione amm grado 2 = Kigoma
|Voce divisione amm grado 2 = distretto rurale di Kigoma
|Amministratore locale =
|Partito =
|Data elezione =
|Data rielezione =
|Mandato =
|Lingue ufficiali =
|Data istituzione =
|Data soppressione =
|Note superficie =
|Abitanti = 16252
|Note abitanti =
|Aggiornamento abitanti = 2012
|Divisioni confinanti =
|Lingue =
|Zona sismica =
|Gradi giorno =
|Nome abitanti =
|Patrono =
|Festivo =
|Mappa =
|Didascalia mappa =
}}

'''Mkigo''' è una [[Circoscrizioni della Tanzania|circoscrizione rurale]] (''rural ward'') della [[Tanzania]] situata nel [[distretto rurale di Kigoma]], [[regione di Kigoma]]. Conta una popolazione di {{formatnum:16252}} abitanti <small>(censimento 2012)</small><ref>{{Cita web |url=http://www.wavuti.weebly.com/uploads/3/0/7/6/3076464/census20general20report20-202920march202013_combined_final20for20printing1.pdf |titolo=2012 Population and housing census |autore=National Bureau of Statistics, Tanzania |lingua=inglese |accesso=26 marzo 2019 |urlarchivio=https://web.archive.org/web/20181024132434/http://www.wavuti.weebly.com/uploads/3/0/7/6/3076464/census20general20report20-202920march202013_combined_final20for20printing1.pdf |dataarchivio=24 ottobre 2018 |urlmorto=sì }}</ref><ref>{{Cita web|url=http://www.citypopulation.de/Tanzania.html | titolo= City population - Tanzania | sito=citypopulation.de | lingua=inglese | accesso=26 marzo 2019}}</ref>.

==Note==
<references/>

== Voci correlate ==
* [[Circoscrizioni della Tanzania]]

{{Circoscrizioni del distretto rurale di Kigoma}}
{{Portale|Africa Orientale}}
[[Categoria:Circoscrizioni del distretto rurale di Kigoma]]

title: Localizzazione

Stato: Tanzania

Regione: Kigoma

Distretto: Kigoma

title: Territorio

title: Altre informazioni

title: Cartografia

Cartografia: Mkigo


text:
# Chiesa di San Nicola (Castiglione della Pescaia)
La chiesa di San Nicola era un edificio religioso situato a Castiglione della Pescaia.

## Storia
Di origini medievali, la chiesa è citata per la prima volta in un documento datato 1188, risultando suffraganea della pieve di San Giovanni Battista a Castiglione della Pescaia. L'esistenza e la funzionalità di questo edificio religioso sono testimoniate dalle Rationes Decimarum del tardo Duecento e degli inizi del Trecento, epoche in cui il luogo di culto risultava ancora alle dipendenze della medesima pieve. Al contrario, non si hanno notizie certe di questa chiese nelle epoche successive, risultando pertanto impossibile stabilire il periodo esatto in cui si è verificato l'abbandono dell'antico edificio religioso.
Della chiesa di San Nicola sono state perse completamente tutte le tracce già in epoca remota, tanto da essere difficile perfino l'identificazione di quella che era la sua esatta ubicazione in epoca medievale. Da un lato, è ipotizzabile infatti che il luogo di culto si trovasse nei pressi del Castello di Castiglione della Pescaia, dall'altro lato invece non è da escludere che l'edificio religioso sorgesse nella parte bassa del centro, attualmente occupata dal moderno abitato, che nell'epoca di costruzione della chiesa rientrava all'interno del perimetro delle antiche Mura Pisane.

wikitext:
{{Edificio religioso
|Nome = Chiesa di San Nicola
|SiglaStato = ITA
|Regione = [[Toscana]]
|NomeComune = [[Castiglione della Pescaia]]
|DedicatoA = san Nicola
}}
La '''chiesa di San Nicola''' era un edificio religioso situato a [[Castiglione della Pescaia]].

== Storia ==

Di origini [[medioevo|medievali]], la [[chiesa (architettura)|chiesa]] è citata per la prima volta in un documento datato [[1188]], risultando suffraganea della [[Pieve di San Giovanni Battista (Castiglione della Pescaia)|pieve di San Giovanni Battista]] a Castiglione della Pescaia. L'esistenza e la funzionalità di questo edificio religioso sono testimoniate dalle ''Rationes Decimarum'' del tardo [[XIII secolo|Duecento]] e degli inizi del [[XIV secolo|Trecento]], epoche in cui il luogo di culto risultava ancora alle dipendenze della medesima [[pieve]]. Al contrario, non si hanno notizie certe di questa chiese nelle epoche successive, risultando pertanto impossibile stabilire il periodo esatto in cui si è verificato l'abbandono dell'antico edificio religioso.

Della chiesa di San Nicola sono state perse completamente tutte le tracce già in epoca remota, tanto da essere difficile perfino l'identificazione di quella che era la sua esatta ubicazione in epoca medievale. Da un lato, è ipotizzabile infatti che il luogo di culto si trovasse nei pressi del [[Castello di Castiglione della Pescaia]], dall'altro lato invece non è da escludere che l'edificio religioso sorgesse nella parte bassa del centro, attualmente occupata dal moderno abitato, che nell'epoca di costruzione della chiesa rientrava all'interno del perimetro delle antiche [[Mura di Castiglione della Pescaia|Mura]] [[Pisa]]ne.

==Bibliografia==
*Giulia Marrucchi. ''Chiese medievali della Maremma grossetana. Architettura e decorazione religiosa tra la Val di Farma e i Monti dell'Uccellina''. Empoli, Editori dell'Acero, 1998. Pp 150.
* Enrico Collura, Mario Innocenti, Stefano Innocenti. ''Comune di Castiglione della Pescaia: briciole di storia.'' Grosseto, Editrice Innocenti, 2002. Pp 63.

==Voci correlate==
*[[Castiglione della Pescaia]]
*[[Maremma grossetana]]

{{portale|architettura|cattolicesimo|maremma|Provincia di Grosseto|Toscana}}

[[Categoria:Architetture della provincia di Grosseto scomparse]]
[[Categoria:Chiese di Castiglione della Pescaia|Nicola (Castiglione della Pescaia)]]

title: Chiesa di San Nicola

Stato: Italia

Regione: Toscana

Località: Castiglione della Pescaia

Religione: cattolica

Titolare: san Nicola

Diocesi: Grosseto


text:
# Logica della computabilità
La logica della computabilità (Computability logic o CoL) è un programma di ricerca e un modello matematico per riqualificare la logica come una teoria formale sistematica della computabilità, in contrapposizione alla logica classica che può essere vista come una teoria formale della verità. È stato presentata per la prima volta e così nominata da Giorgi Japaridze nel 2003.
Se si confronta la CoL con la logica classica si potrebbe dire che, mentre nella seconda le formule rappresentano enunciati veri o falsi, nella CoL rappresentano problemi computazionali. Nella logica classica, la validità di una formula è intesa come "la formula è sempre vera", ossia indipendentemente dall'interpretazione delle sue sottoformule primitive (variabili extralogiche, cioè enunciati atomici). In modo simile, nella CoL validità significa essere sempre computabile. Più in generale, la logica classica ci dice quando la verità di un certo enunciato segue sempre dalla verità di un dato insieme di altri enunciati. Allo stesso modo, la CoL ci dice quando la computabilità di un certo problema A segue sempre dalla computabilità di altri problemi dati B1, ...,Bn. Inoltre, la CoL fornisce un metodo uniforme per realizzare effettivamente una soluzione (algoritmo) di tale problema A da qualsiasi soluzione nota di B1, ..., Bn.
La logica della computabilità interpreta i problemi computazionali nel loro senso più generale - interattivo. Questi, infatti, sono formalizzati come giochi giocati da una macchina contro il suo ambiente, e la computabilità significa l'esistenza di una macchina che vince il gioco contro qualsiasi possibile comportamento dell'ambiente. Definendo il significato di queste macchine-giocatori, la CoL fornisce una generalizzazione della Tesi di Church-Turing al livello della computazione interattiva, che è anche il tipo usuale di computazione dei computer reali (con diversi input e output). Il classico concetto di verità risulta così essere un caso speciale con interattività di grado zero della computabilità. Questo rende la logica classica un frammento particolare della CoL. Essendo un'estensione conservativa della logica
classica, la logica della computabilità è, allo stesso tempo, di un ordine di grandezza più espressiva, costruttiva e computazionalmente significativa. Oltre alla logica classica, l'independence-friendly logic (IF) e alcune estensioni proprie della logica lineare e della logica intuizionista si rivelano essere, parimenti, frammenti naturali della logica della computabilità. Quindi concetti significativi di "verità intuizionista", "verità lineare" e "IF-verità" possono essere derivati dalla semantica della CoL.
Fornendo una risposta sistematica alla domanda fondamentale di ciò che può essere calcolato e come, CoL sostiene un'ampia gamma di potenziali aree applicative. Queste includono teorie costruttive applicate, knowledge base systems e sistemi di pianificazione e azione. Di questi, solo le applicazioni in teorie costruttive applicate sono state estesamente esplorate fino ad ora: sono state costruite una serie di teorie dei numeri basati sulla CoL, chiamate "clarithmetics", come alternative significative, dal punto di vista computazionale della teoria della complessità, dell'Aritmetica di Peano basata sulla logica classica e delle sue variazioni come i sistemi di aritmetica limitata.
I tradizionali sistemi formali di dimostrazione come la deduzione naturale o il calcolo dei sequenti risultano insufficienti per l'assiomatizzazione di frammenti più o meno non triviali della CoL. Ciò ha comportato lo sviluppo di metodi di prova alternativi, più generali e flessibili, come il calcolo dei circuenti.

## Linguaggio
Il linguaggio completo della CoL è un'estensione del linguaggio della logica del primo ordine. Il suo vocabolario logico ha diversi tipi di congiunzioni, disgiunzioni, quantificatori, implicazioni, negazioni e cosiddetti operatori di ricorrenza. Questa collezione comprende tutti i connettivi e quantificatori della logica classica. Il linguaggio ha anche due tipi diversi di atomi non logici: elementari e generali. Gli atomi elementari, che non sono altro che le proposizioni atomiche della logica classica, rappresentano problemi elementari, ovvero giochi senza movimenti che vengono automaticamente vinti dalla macchina quando veri e perduti quando sono falsi, in modo assegnato a priori. D'altra parte, gli atomi generali possono essere interpretati come qualsiasi gioco, elementare o non elementare. Sia semanticamente che sintatticamente, la logica classica non è altro che il frammento della CoL ottenuto non permettendo atomi generali nel suo linguaggio così come proibendo tutti gli operatori (costanti logiche del linguaggio) diversi da ¬, ∧, ∨, →, ∀, ∃.
Japaridze ha ripetutamente sottolineato che il linguaggio del CoL è in fieri e potrebbe subire ulteriori estensioni. A causa dell'espressività di questo linguaggio, i singoli progressi e ricerche nel settore della CoL, come la costruzione di assiomatizzazioni o di teorie applicate basate su di essa, sono di solito limitati solo ad uno o a un altro frammento proprio del linguaggio.

## Semantica
I giochi alla base della semantica di CoL sono chiamati "giochi statici". Tali giochi non stabiliscono regole su quale giocatore possa o debba muoversi in una data situazione, e generalmente spetta al giocatore decidere se fare la propria mossa o attendere quelle del suo avversario. C'è sempre una possibilità che l'avversario faccia la sua mossa mentre l'altro giocatore sta "pensando" alla propria mossa successiva. Ciononostante i giochi statici sono definiti in modo tale che ritardare le proprie mosse non danneggia un giocatore in nessun caso, e perciò questi giochi non si trasformano mai in gare di velocità. Tutti i giochi elementari sono di per loro statici, e lo sono ugualmente i giochi che possono essere interpretazioni di "atomi generali". Nei giochi statici ci sono due giocatori: la macchina e lambiente. La macchina può seguire solo strategie algoritmiche, mentre non vi sono restrizioni sul comportamento dell'ambiente. Ogni partita viene vinta da un giocatore e persa dall'altro.
Gli operatori logici di CoL sono intesi come operazioni sui giochi. Esaminiamo ora informalmente alcune di queste operazioni. Per semplicità supponiamo che il dominio del discorso sia sempre {0,1,2,…}.
L'operazione ¬ di negazione ("non") inverte i ruoli dei due giocatori, scambiando l'ordine delle mosse e le vittorie della macchina in quelle dell'ambiente e viceversa. Per esempio, se Scacchi è il gioco degli scacchi (ma senza la possibilità del pareggio) dalla prospettiva del giocatore con i bianchi, allora ¬Scacchi è lo stesso gioco giocato dalla prospettiva del giocatore che usa i pezzi neri.
La congiunzione parallela ∧ ("pand") e la disgiunzione parallela ∨ ("por") combinano i giochi in modo parallelo. Una partita di A ∧ B o A ∨ B è un gioco simultaneo nei due congiunti. La macchina vince A ∧ B (risp. A ∨ B) se vince entrambi (risp. almeno uno) di quei giochi. Quindi, per esempio, Scacchi ∨ ¬Scacchi è un gioco su due scacchiere, uno giocato dalla macchina con i bianchi e l'altro con i neri dove il suo compito è quello di vincere in almeno un tavolo di gioco. Un gioco simile può essere facilmente vinto a prescindere da chi sia l'avversario copiando le sue mosse da un tavolo di gioco all'altro. L'operatore di implicazione parallela → ("pimplication") è definito da A → B = ¬A ∨ B. Il significato intuitivo di questa operazione è ridurre B a A, ossia che si è in grado di risolvere A finché l'avversario riesce a risolvere B. I quantificatori paralleli ∧ ("pall") e ∨ ("pexists") possono essere definiti con ∧xA(x) = A(0) ∧ A(1) ∧ A(2) ∧... e ∨xA(x) = A(0) ∨ A(1) ∨ A(2) ∨... . Queste sono quindi giocate simultanee di A(0), A(1), A(2),... ciascuna su un "ambiente di gioco" separato. La macchina vince ∧xA(x) (risp. ∨xA(x)) se vince tutti (risp. alcuni) di questi giochi. I quantificatori ciechi ∀ ("blall") e ∃ ("blexists"), d'altra parte, generano giochi "singoli". Una partita di ∀xA(x) o ∃xA(x) è una singola partita di A. La macchina vince ∀xA(x) (risp. ∃xA(x)) se tale partita è una vittoria di A(x) per tutti i valori possibili (risp. almeno un valore) di x.
Tutti gli operatori caratterizzati finora si comportano esattamente come le loro controparti classiche quando sono applicate a giochi elementari (senza mosse), e rendono validi gli stessi principi logici. Questo è il motivo per cui CoL usa gli stessi simboli della logica classica per quegli operatori. Quando tali operatori vengono applicati a giochi non elementari, tuttavia il loro comportamento non è più classico. Ad esempio, se p è un atomo elementare e P un atomo generale, p → (p ∧ p) è valido mentre P → (P ∧ P) non lo è. Tuttavia il principio del terzo escluso P ∨ ¬P rimane valido anche per atomi generali. Lo stesso principio, invece, non è valido con nessuno dei tre altri tipi (di scelta, sequenziale e commutante) di disgiunzione. La disgiunzione di scelta ⊔ ("chor") dei giochi A e B, scritta A ⊔ B, è un gioco in cui, per vincere, la macchina deve scegliere uno dei due disgiunti e poi vincere nel componente scelto. La disgiunzione sequenziale ("sor") A ᐁ B inizia giocando ad A e finisce anche con lo stesso gioco a meno che la macchina non abbia fatto una mossa di "inversione". In quel caso A viene abbandonato e il gioco ricomincia da capo e continua come B. Nella disgiunzione commutante (toggling disjunction, "tor") A ⩛ B, la macchina può passare tra A e B qualsiasi numero finito di volte. Ogni operatore di disgiunzione ha la sua congiunzione duale, ottenuta scambiando i ruoli dei due giocatori. I corrispondenti quantificatori possono essere definiti come congiunzioni o disgiunzioni infinite allo stesso modo dei quantificatori paralleli. Ogni tipo di disgiunzione permette anche di definire una corrispondente operazione di implicazione allo stesso modo che con l'implicazione parallela →. Ad esempio, l'implicazione di scelta ("chimplication") A⊐B è definita come ¬A ⊔ B.
Successivamente si può considerare il gruppo di operatori di ricorrenza. La ricorrenza parallela ("precurrence") di A può essere definita come la congiunzione parallela infinita A∧A∧A∧... I tipi sequenziale ("srecurrence") e commutante ("trecurrence") di ricorrenza possono essere definiti in modo simile. D'altra parte i corrispondenti operatori di coricorrenza possono essere invece definiti come disgiunzioni infinite. La ricorrenza ramificata ("brecurrence") ⫰, che è il tipo più forte di ricorrenza, non è definito a partire da corrispondente una congiunzione infinita. ⫰A è un gioco che inizia e procede come A. In qualsiasi momento, tuttavia, l'ambiente è autorizzato a fare una mossa "replicativa" che crea due copie della posizione attuale di A dividendo così il gioco in due "storie" parallele con un passato comune ma con sviluppi futuri eventualmente differenti. Allo stesso modo, l'ambiente può ulteriormente replicare qualsiasi posizione in ogni storia, creando così sempre più storie di A. Queste storie vengono giocate in parallelo, e la macchina deve vincere A in ognuna di esse per essere il vincitore di ⫰A. La coricorrenza ramificata ("cobrecurrence") ⫯ è definita simmetricamente scambiando "macchina" e "ambiente" fra loro.
Ogni tipo di ricorrenza induce inoltre una corrispondente versione debole dell'implicazione e della negazione. La prima è detta essere una implicazione ricorrente ("rimplication"), e la seconda una refutazione. L'implicazione ricorrente ramificata ("brimplication") A⟜B non è altro che ⫰A → B, e la confutazione ramificata di A è A⟜⊥, dove ⊥ è il gioco elementare (costante) che viene sempre perso. Per tutti gli altri tipi di rimplicazione e refutazione si procede analogamente.

title: Logica della computabilità

wikitext:
La '''logica della computabilità''' ('''Computability logic''' o '''CoL''') è un programma di ricerca e un [[modello matematico]] per riqualificare la logica come una teoria formale sistematica della computabilità, in contrapposizione alla logica classica che può essere vista come una teoria formale della verità. È stato presentata per la prima volta e così nominata da [[Giorgi Japaridze]] nel 2003<ref> G. Japaridze, ''[https://www.sciencedirect.com/science/article/pii/S016800720300023X    Introduction to computability logic]''. Annals of Pure and Applied Logic 123 (2003), pages 1–99.</ref>.

Se si confronta la CoL con la [[logica classica]] si potrebbe dire che, mentre nella seconda le formule rappresentano enunciati veri o falsi, nella CoL rappresentano [[Problema computazionale|problemi computazionali]]. Nella logica classica, la validità di una formula è intesa come "la formula è sempre vera", ossia indipendentemente dall'interpretazione delle sue sottoformule primitive (variabili extralogiche, cioè enunciati atomici). In modo simile, nella CoL validità significa essere sempre computabile. Più in generale, la logica classica ci dice quando la verità di un certo enunciato segue sempre dalla verità di un dato insieme di altri enunciati. Allo stesso modo, la CoL ci dice quando la computabilità di un certo problema ''A'' segue sempre dalla computabilità di altri problemi dati ''B1, ...,Bn''. Inoltre, la CoL fornisce un metodo uniforme per realizzare effettivamente una soluzione ([[algoritmo]]) di tale problema ''A'' da qualsiasi soluzione nota di ''B1, ..., Bn''.

La logica della computabilità interpreta i problemi computazionali nel loro senso più generale - interattivo. Questi, infatti, sono formalizzati come giochi giocati da una macchina contro il suo ambiente, e la computabilità significa l'esistenza di una macchina che vince il gioco contro qualsiasi possibile comportamento dell'ambiente. Definendo il significato di queste macchine-giocatori, la CoL fornisce una generalizzazione della [[Tesi di Church-Turing]] al livello della computazione interattiva, che è anche il tipo usuale di computazione dei computer reali (con diversi input e output). Il classico concetto di verità risulta così essere un caso speciale con interattività di grado zero della computabilità. Questo rende la logica classica un frammento particolare della CoL. Essendo un'estensione conservativa della logica
classica, la logica della computabilità è, allo stesso tempo, di un ordine di grandezza più espressiva, costruttiva e computazionalmente significativa. Oltre alla [[logica classica]], l'[[independence-friendly logic]] (IF) e alcune estensioni proprie della [[logica lineare]] e della [[logica intuizionista]] si rivelano essere, parimenti, frammenti naturali della logica della computabilità<ref>G. Japaridze, ''[http://www.springerlink.com/content/m02201161744867/?p=a62bebfc0dec4164a3a3ba90fefb86aa&pi=10 In the beginning was game semantics]''.   Games: Unifying Logic, Language and Philosophy. O. Majer, A.-V. Pietarinen and T. Tulenheimo, eds. Springer 2009, pp. 249–350. [https://arxiv.org/pdf/cs/0507045v3.pdf Prepublication]</ref><ref>G. Japaridze, ''[https://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6TYB-4NSWYVP-1&_user=10&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_version=1&_urlVersion=0&_userid=10&md5=3a7cf451f14038839aba1d27bd89393f The intuitionistic fragment of computability logic at the propositional level]''. Annals of Pure and Applied Logic 147 (2007), pages 187-227.</ref>. Quindi concetti significativi di "verità intuizionista", "verità lineare" e "IF-verità" possono essere derivati dalla semantica della CoL.

Fornendo una risposta sistematica alla domanda fondamentale di ciò che può essere calcolato e come, CoL sostiene un'ampia gamma di potenziali aree applicative. Queste includono teorie costruttive applicate, knowledge base systems e sistemi di pianificazione e azione. Di questi, solo le applicazioni in teorie costruttive applicate sono state estesamente esplorate fino ad ora: sono state costruite una serie di teorie dei numeri basati sulla CoL, chiamate "clarithmetics"<ref>G. Japaridze, ''[https://www.sciencedirect.com/science/article/pii/S0890540111001076 Introduction to clarithmetic I]''. Information and Computation 209 (2011),  pp. 1312-1354. [https://arxiv.org/pdf/1003.4719v6.pdf Prepublication]</ref><ref>G. Japaridze, ''[https://lmcs.episciences.org/2020/pdf Build your own clarithmetic I: Setup and completeness]''. Logical Methods is Computer Science 12 (2016), Issue 3, paper 8, pp. 1-59. </ref>, come alternative significative, dal punto di vista computazionale della teoria della complessità, dell'[[Aritmetica di Peano]] basata sulla logica classica e delle sue variazioni come i sistemi di aritmetica limitata.

I tradizionali sistemi formali di dimostrazione come la [[deduzione naturale]] o il [[Sequente|calcolo dei sequenti]] risultano insufficienti per l'assiomatizzazione di frammenti più o meno non triviali della CoL. Ciò ha comportato lo sviluppo di metodi di prova alternativi, più generali e flessibili, come il [[calcolo dei circuenti]]<ref>G. Japaridze, ''[https://logcom.oxfordjournals.org/cgi/content/abstract/16/4/489  Introduction to cirquent calculus and abstract resource semantics]''. Journal of Logic and Computation 16 (2006),  pages 489-532. [https://arxiv.org/pdf/math/0506553v3.pdf Prepublication]</ref><ref>G. Japaridze, ''[https://link.springer.com/article/10.1007/s00153-012-0313-8 The taming of recurrences in computability logic through cirquent calculus, Part I]''. Archive for Mathematical Logic 52 (2013), pp. 173-212. [https://arxiv.org/abs/1105.3853 Prepublication]</ref>.

==Linguaggio==
[[File:Operators of computability logic.png|thumb|Operatori della logica della computabilità]]Il linguaggio completo della CoL è un'estensione del linguaggio della [[logica del primo ordine]]. Il suo vocabolario logico ha diversi tipi di congiunzioni, disgiunzioni, quantificatori, implicazioni, negazioni e cosiddetti ''operatori di ricorrenza''. Questa collezione comprende tutti i connettivi e quantificatori della logica classica. Il linguaggio ha anche due tipi diversi di atomi non logici: ''elementari'' e ''generali''. Gli atomi elementari, che non sono altro che le proposizioni atomiche della logica classica, rappresentano problemi elementari, ovvero giochi senza movimenti che vengono automaticamente vinti dalla macchina quando veri e perduti quando sono falsi, in modo assegnato [[A priori e a posteriori|a priori]]. D'altra parte, gli atomi generali possono essere interpretati come qualsiasi gioco, elementare o non elementare. Sia semanticamente che sintatticamente, la logica classica non è altro che il frammento della CoL ottenuto non permettendo atomi generali nel suo linguaggio così come proibendo tutti gli operatori (costanti logiche del linguaggio) diversi da ¬, ∧, ∨, →, ∀, ∃.

Japaridze ha ripetutamente sottolineato che il linguaggio del CoL è ''in fieri'' e potrebbe subire ulteriori estensioni. A causa dell'espressività di questo linguaggio, i singoli progressi e ricerche nel settore della CoL, come la costruzione di assiomatizzazioni o di teorie applicate basate su di essa, sono di solito limitati solo ad uno o a un altro frammento proprio del linguaggio.

==Semantica==
I giochi alla base della semantica di CoL sono chiamati "''giochi statici''". Tali giochi non stabiliscono regole su quale giocatore possa o debba muoversi in una data situazione, e generalmente spetta al giocatore decidere se fare la propria mossa o attendere quelle del suo avversario. C'è sempre una possibilità che l'avversario faccia la sua mossa mentre l'altro giocatore sta "pensando" alla propria mossa successiva. Ciononostante i giochi statici sono definiti in modo tale che ritardare le proprie mosse non danneggia un giocatore in nessun caso, e perciò questi giochi non si trasformano mai in gare di velocità. Tutti i giochi elementari sono di per loro statici, e lo sono ugualmente i giochi che possono essere interpretazioni di "atomi generali". Nei giochi statici ci sono due giocatori: la ''macchina'' e l''ambiente''. La macchina può seguire solo strategie algoritmiche, mentre non vi sono restrizioni sul comportamento dell'ambiente. Ogni partita viene vinta da un giocatore e persa dall'altro.

Gli operatori logici di CoL sono intesi come operazioni sui giochi. Esaminiamo ora informalmente alcune di queste operazioni. Per semplicità supponiamo che il dominio del discorso sia sempre {0,1,2,…}.

L'operazione ¬ di ''negazione'' ("non") inverte i ruoli dei due giocatori, scambiando l'ordine delle mosse e le vittorie della macchina in quelle dell'ambiente e viceversa. Per esempio, se ''Scacchi'' è il gioco degli scacchi (ma senza la possibilità del pareggio) dalla prospettiva del giocatore con i bianchi, allora ¬''Scacchi'' è lo stesso gioco giocato dalla prospettiva del giocatore che usa i pezzi neri.

La ''congiunzione parallela'' ∧ ("pand") e la ''disgiunzione parallela'' ∨ ("por") combinano i giochi in modo parallelo. Una partita di ''A'' ∧ ''B'' o ''A'' ∨ ''B'' è un gioco simultaneo nei due congiunti. La macchina vince ''A'' ∧ ''B'' (risp. ''A'' ∨ ''B'') se vince entrambi (risp. almeno uno) di quei giochi. Quindi, per esempio, ''Scacchi'' ∨ ¬''Scacchi'' è un gioco su due scacchiere, uno giocato dalla macchina con i bianchi e l'altro con i neri dove il suo compito è quello di vincere in almeno un tavolo di gioco. Un gioco simile può essere facilmente vinto a prescindere da chi sia l'avversario copiando le sue mosse da un tavolo di gioco all'altro. L'operatore di ''implicazione parallela'' → ("pimplication") è definito da ''A'' → ''B'' = ¬''A'' ∨ ''B''. Il significato intuitivo di questa operazione è ridurre ''B'' a ''A'', ossia che si è in grado di risolvere A finché l'avversario riesce a risolvere ''B''. I ''quantificatori paralleli'' ∧ ("pall") e ∨ ("pexists") possono essere definiti con ∧''xA''(''x'') = ''A''(0) ∧ ''A''(1) ∧ ''A''(2) ∧... e ∨''xA''(''x'') = ''A''(0) ∨ ''A''(1) ∨ ''A''(2) ∨... . Queste sono quindi giocate simultanee di ''A''(0), ''A''(1), ''A''(2),... ciascuna su un "ambiente di gioco" separato. La macchina vince ∧''xA''(''x'') (risp. ∨''xA''(''x'')) se vince tutti (risp. alcuni) di questi giochi. I ''quantificatori ciechi'' ∀ ("blall") e ∃ ("blexists"), d'altra parte, generano giochi "singoli". Una partita di ∀''xA''(''x'') o ∃''xA''(''x'') è una singola partita di ''A''. La macchina vince ∀''xA''(''x'') (risp. ∃''xA''(''x'')) se tale partita è una vittoria di ''A''(''x'') per tutti i valori possibili (risp. almeno un valore) di ''x''.

Tutti gli operatori caratterizzati finora si comportano esattamente come le loro controparti classiche quando sono applicate a giochi elementari (senza mosse), e rendono validi gli stessi principi logici. Questo è il motivo per cui CoL usa gli stessi simboli della [[logica classica]] per quegli operatori. Quando tali operatori vengono applicati a giochi non elementari, tuttavia il loro comportamento non è più classico. Ad esempio, se p è un atomo elementare e P un atomo generale, p → (p ∧ p) è valido mentre P → (P ∧ P) non lo è. Tuttavia il principio del terzo escluso P ∨ ¬P rimane valido anche per atomi generali. Lo stesso principio, invece, non è valido con nessuno dei tre altri tipi (di scelta, sequenziale e commutante) di disgiunzione. La ''disgiunzione di scelta'' ⊔ ("chor") dei giochi ''A'' e ''B'', scritta ''A'' ⊔ ''B'', è un gioco in cui, per vincere, la macchina deve scegliere uno dei due disgiunti e poi vincere nel componente scelto. La ''disgiunzione sequenziale'' ("sor") ''A'' ᐁ ''B'' inizia giocando ad ''A'' e finisce anche con lo stesso gioco a meno che la macchina non abbia fatto una mossa di "inversione". In quel caso ''A'' viene abbandonato e il gioco ricomincia da capo e continua come ''B''. Nella ''disgiunzione commutante'' (''toggling disjunction'', "tor") ''A'' ⩛ ''B'', la macchina può passare tra ''A'' e ''B'' qualsiasi numero finito di volte. Ogni operatore di disgiunzione ha la sua congiunzione duale, ottenuta scambiando i ruoli dei due giocatori. I corrispondenti quantificatori possono essere definiti come congiunzioni o disgiunzioni infinite allo stesso modo dei quantificatori paralleli. Ogni tipo di disgiunzione permette anche di definire una corrispondente operazione di implicazione allo stesso modo che con l'implicazione parallela →. Ad esempio, l'implicazione di scelta ("chimplication") ''A''⊐''B'' è definita come ¬''A'' ⊔ ''B''.

Successivamente si può considerare il gruppo di operatori di ricorrenza. La ''ricorrenza parallela'' ("precurrence") di ''A'' può essere definita come la congiunzione parallela infinita ''A''∧''A''∧''A''∧... I tipi sequenziale ("srecurrence") e commutante ("trecurrence") di ricorrenza possono essere definiti in modo simile. D'altra parte i corrispondenti operatori di ''coricorrenza'' possono essere invece definiti come disgiunzioni infinite. La ''ricorrenza ramificata'' ("brecurrence") ⫰, che è il tipo più forte di ricorrenza, non è definito a partire da corrispondente una congiunzione infinita. ⫰''A'' è un gioco che inizia e procede come ''A''. In qualsiasi momento, tuttavia, l'ambiente è autorizzato a fare una mossa "replicativa" che crea due copie della posizione attuale di ''A'' dividendo così il gioco in due "storie" parallele con un passato comune ma con sviluppi futuri eventualmente differenti. Allo stesso modo, l'ambiente può ulteriormente replicare qualsiasi posizione in ogni storia, creando così sempre più storie di ''A''. Queste storie vengono giocate in parallelo, e la macchina deve vincere ''A'' in ognuna di esse per essere il vincitore di ⫰''A''. La ''coricorrenza ramificata'' ("cobrecurrence") ⫯ è definita simmetricamente scambiando "macchina" e "ambiente" fra loro.

Ogni tipo di ricorrenza induce inoltre una corrispondente versione debole dell'implicazione e della negazione. La prima è detta essere una ''implicazione ricorrente'' ("rimplication"), e la seconda una ''refutazione''. L'''implicazione ricorrente ramificata'' ("brimplication") ''A''⟜''B'' non è altro che ⫰''A'' → ''B'', e la ''confutazione ramificata'' di ''A'' è ''A''⟜⊥, dove ⊥ è il gioco elementare (costante) che viene sempre perso. Per tutti gli altri tipi di rimplicazione e refutazione si procede analogamente.

==Note==
<references />

==Bibliografia==
*M. Bauer, ''[https://dl.acm.org/citation.cfm?id=2559949 A PSPACE-complete first order fragment of computability logic]''. ACM Transactions on Computational Logic 15 (2014), No 1, Article 1, 12 pages.
*M. Bauer, ''[https://arxiv.org/pdf/1401.1849.pdf The computational complexity of propositional cirquent calculus]''. Logical Methods is Computer Science 11 (2015), Issue 1, Paper 12, pages 1-16.
*G. Japaridze, ''[https://www.sciencedirect.com/science/article/pii/S016800720300023X    Introduction to computability logic]''. Annals of Pure and Applied Logic 123 (2003), pages 1–99.
*G. Japaridze, ''[https://portal.acm.org/citation.cfm?id=1131313.1131318&coll=portal&dl=ACM&idx=1131313&part=periodical&WantType=periodical&title=ACM%20Transactions%20on%20Computational%20Logic%20%28TOCL%29&CFID=71203179&CFTOKEN=21225900  Propositional computability logic I]''. ACM Transactions on Computational Logic 7 (2006), pages 302-330.
*G. Japaridze, ''[https://portal.acm.org/citation.cfm?id=1131313.1131319&coll=portal&dl=ACM&idx=1131313&part=periodical&WantType=periodical&title=ACM%20Transactions%20on%20Computational%20Logic%20%28TOCL%29&CFID=71203179&CFTOKEN=21225900 Propositional computability logic II]''. ACM Transactions on Computational Logic 7 (2006), pages 331-362.
*G. Japaridze, ''[https://logcom.oxfordjournals.org/cgi/content/abstract/16/4/489  Introduction to cirquent calculus and abstract resource semantics]''. Journal of Logic and Computation 16 (2006), pages 489-532. [https://arxiv.org/pdf/math/0506553v3.pdf Prepublication]
*G. Japaridze, ''{{Collegamento interrotto|1=[http://www.springerlink.com/content/l10m555830730182/   Computability logic: a formal theory of interaction] |data=febbraio 2020 |bot=InternetArchiveBot }}''. Interactive Computation: The New Paradigm. D.Goldin, S.Smolka and P.Wegner, eds. Springer Verlag, Berlin 2006, pages 183-223. [https://arxiv.org/pdf/cs/0404024v3.pdf Prepublication]
*G. Japaridze, ''[https://web.archive.org/web/20070519230525/http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6V1G-4JS1M3B-1&_user=10&_handle=V-WA-A-W-AD-MsSAYWA-UUA-U-AACVWWCADC-AACAYUCEDC-EDADUYDDA-AD-U&_fmt=summary&_coverDate=07%2F25%2F2006&_rdoc=8&_orig=browse&_srch=%23toc%235674%232006%23996429998%23626672!&_cdi=5674&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=8f62c93dd24dd2c3f48cf7c77e05228d   From truth to computability I]''. Theoretical Computer Science 357 (2006), pages 100-135.
*G. Japaridze, ''{{Collegamento interrotto|1=[https://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6V1G-4MV758R-2&_user=1536200&_coverDate=01%2F17%2F2007&_alid=540937878&_rdoc=1&_fmt=summary&_orig=search&_cdi=5674&_sort=d&_docanchor=&view=c&_ct=2&_acct=C000053374&_version=1&_urlVersion=0&_userid=1536200&md5=ce039afe954def15cbd8e9438488f011 From truth to computability II] |data=settembre 2019 |bot=InternetArchiveBot }}''. Theoretical Computer Science 379 (2007), pages 20–52.
*G. Japaridze, ''[https://web.archive.org/web/20171017112707/http://www.inf.u-szeged.hu/actacybernetica/edb/vol18n1/Japaridze_2007_ActaCybernetica.xml Intuitionistic computability logic]''. Acta Cybernetica 18 (2007), pages 77–113.
*G. Japaridze, ''[https://web.archive.org/web/20150628201840/http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl%2F1174668394 The logic of interactive Turing reduction]''. Journal of Symbolic Logic 72 (2007), pages 243-276. [https://arxiv.org/pdf/cs/0512100v4.pdf Prepublication]
*G. Japaridze, ''{{Collegamento interrotto|1=[https://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6TYB-4NSWYVP-1&_user=10&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_version=1&_urlVersion=0&_userid=10&md5=3a7cf451f14038839aba1d27bd89393f The intuitionistic fragment of computability logic at the propositional level] |data=settembre 2019 |bot=InternetArchiveBot }}''. Annals of Pure and Applied Logic 147 (2007), pages 187-227.
*G. Japaridze, ''[https://archive.is/20130415174625/http://logcom.oxfordjournals.org/cgi/content/abstract/exn019 Cirquent calculus deepened]''. Journal of Logic and Computation 18 (2008), No.6, pp. 983–1028.
*G. Japaridze, ''{{collegamento interrotto|1=[http://clx.doi.org/10.1016/j.ic.2008.10.001  Sequential operators in computability logic] |data=ottobre 2017 |bot=InternetArchiveBot }}''. Information and Computation 206 (2008), No.12, pp. 1443–1475. [https://arxiv.org/pdf/0712.1345v2.pdf Prepublication]
*G. Japaridze, ''{{Collegamento interrotto|1=[http://www.springerlink.com/content/04t6780731373n13/ Many concepts and two logics of algorithmic reduction] |data=febbraio 2020 |bot=InternetArchiveBot }}''. Studia Logica 91 (2009), No.1, pp. 1–24. [https://arxiv.org/pdf/0706.0103v4.pdf Prepublication]
*G. Japaridze, ''[https://archive.is/20130203153059/http://www.springerlink.com/content/m022011617448676/?p=a62bebfc0dec4164a3a3ba90fefb86aa&pi=10 In the beginning was game semantics]''.  Games: Unifying Logic, Language and Philosophy. O. Majer, A.-V. Pietarinen and T. Tulenheimo, eds. Springer 2009, pp. 249–350. [https://arxiv.org/pdf/cs/0507045v3.pdf Prepublication]
*G. Japaridze, ''[https://web.archive.org/web/20150629001449/http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.jsl%2F1268917495&page=record Towards applied theories based on computability logic]''. Journal of Symbolic Logic 75 (2010), pp. 565–601.
*G. Japaridze, ''[https://www.sciencedirect.com/science/article/pii/S0304397510006754 Toggling operators in computability logic]''. Theoretical Computer Science 412 (2011), pp.  971-1004. [https://arxiv.org/pdf/0904.3469v2.pdf Prepublication]
*G. Japaridze, ''[https://arxiv.org/pdf/0906.2154.pdf From formulas to cirquents in computability logic]''. Logical Methods in Computer Science 7 (2011), Issue 2, Paper 1, pp. 1-55.
*G. Japaridze, ''[https://www.sciencedirect.com/science/article/pii/S0890540111001076 Introduction to clarithmetic I]''. Information and Computation 209 (2011), pp. 1312-1354. [https://arxiv.org/pdf/1003.4719v6.pdf Prepublication]
*G. Japaridze, ''[https://www.sciencedirect.com/science/article/pii/S0168007211001734 Separating the basic logics of the basic recurrences]''. Annals of Pure and Applied Logic 163 (2012), pp. 377-389. [https://arxiv.org/pdf/1007.1324v3.pdf Prepublication]
*G. Japaridze, ''[https://logcom.oxfordjournals.org/content/22/3/605.full.pdf+html A logical basis for constructive systems]''. Journal of Logic and Computation 22 (2012), pp. 605-642.
*G. Japaridze, ''[https://www.sciencedirect.com/science/article/pii/S0893965911005763 A new face of the branching recurrence of computability logic]''. Applied Mathematics Letters 25 (2012),  1585-1589. [https://arxiv.org/pdf/1102.1054v2.pdf Prepublication]
*G. Japaridze, ''[https://link.springer.com/article/10.1007/s00153-012-0313-8 The taming of recurrences in computability logic through cirquent calculus, Part I]''. Archive for Mathematical Logic 52 (2013), pp. 173-212. [https://arxiv.org/abs/1105.3853 Prepublication]
*G. Japaridze, ''[https://link.springer.com/article/10.1007/s00153-012-0314-7 The taming of recurrences in computability logic through cirquent calculus, Part II]''. Archive for Mathematical Logic  52 (2013), pp. 213-259. [https://arxiv.org/abs/1106.3705 Prepublication]
*G. Japaridze, ''[https://www.sciencedirect.com/science/article/pii/S0168007213001115 Introduction to clarithmetic III]''. Annals of Pure and Applied Logic 165 (2014),  241-252. [https://arxiv.org/pdf/1008.0770v2.pdf Prepublication]
*G. Japaridze, ''[https://arxiv.org/pdf/1203.0103.pdf On the system CL12 of computability logic ]''. Logical Methods is Computer Science 11 (2015), Issue 3, paper 1, pp. 1-71.
*G. Japaridze, ''[https://www.sciencedirect.com/science/article/pii/S0890540116000092 Introduction to clarithmetic II]''. Information and Computation 247 (2016), pp. 290-312.
*G. Japaridze, ''[https://lmcs.episciences.org/2020/pdf Build your own clarithmetic I: Setup and completeness]''. Logical Methods is Computer Science 12 (2016), Issue 3, paper 8, pp. 1-59.
*G. Japaridze, ''[https://lmcs.episciences.org/2042/pdf Build your own clarithmetic II: Soundness]''. Logical Methods is Computer Science 12 (2016), Issue 3, paper 12, pp. 1-62.
*K. Kwon, ''[http://search.ieice.org/bin/summary.php?id=e97-a_6_1385&category=A&year=2014&lang=E&abst= Expressing algorithms as concise as possible via computability logic]''. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, v. E97-A (2014), pp. 1385-1387.
*X. Li and J. Liu, ''[http://www.doc88.com/p-9035333690863.html Research on decidability of CoL2 in computability logic]''. Computer Science 42 (2015), No 7, pp. 44-46.
*I. Mezhirov and N. Vereshchagin, ''[https://portal.acm.org/citation.cfm?id=1808347.1808575 On abstract resource semantics and computability logic]''. Journal of Computer and System Sciences 76 (2010), pp. 356–372.
*M. Qu, J. Luan, D. Zhu and M. Du, ''[https://link.springer.com/article/10.1007%2Fs11390-013-1329-1 On the toggling-branching recurrence of computability logic]''. Journal of Computer Science and Technology 28 (2013), pp. 278-284.
*N. Vereshchagin, ''[http://lpcs.math.msu.su/~ver/papers/japaridze.ps   Japaridze's computability logic and intuitionistic propositional calculus] {{Webarchive|url=https://web.archive.org/web/20160303185501/http://lpcs.math.msu.su/~ver/papers/japaridze.ps |date=3 marzo 2016 }}''. Moscow State University, 2006.
*W. Xu and S. Liu, ''[https://www.sciencedirect.com/science/article/pii/S157086831200047X  The countable versus uncountable branching recurrences in computability logic]''. Journal of Applied Logic 10 (2012), pp. 431-446.
*W. Xu and S. Liu, ''[https://jigpal.oxfordjournals.org/content/20/1/317.abstract Soundness and completeness of the cirquent calculus system CL6 for computability logic]''. Logic Journal of the IGPL 20 (2012), pp. 317-330.
*W. Xu and S. Liu, ''[https://web.archive.org/web/20170116174906/http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.ndjfl%2F1355494523 The parallel versus branching recurrences in computability logic]''. [[Notre Dame Journal of Formal Logic]] 54 (2013), pp. 61-78.
*W. Xu, ''[https://jigpal.oxfordjournals.org/content/22/6/982  A propositional system induced by Japaridze’s approach to IF logic]''. Logic Journal of the IGPL 22 (2014), pp. 982-991
*W. Xu, ''[https://www.sciencedirect.com/science/article/pii/S1570868316300131 A cirquent calculus system with clustering and ranking]''. Journal of Applied Logic 16 (2016), pp. 37-49.

==Collegamenti esterni==
*[http://www.csc.villanova.edu/~japaridz/CL/ Computability Logic Homepage] Comprehensive survey of the subject.
*[https://web.archive.org/web/20190419120954/http://www.csc.villanova.edu/~japaridz/ Giorgi Japaridze]
*[https://web.archive.org/web/20160303174250/http://www.csc.villanova.edu/~japaridz/CL/gsoll.html Game Semantics or Linear Logic?]
*[http://www.csc.villanova.edu/~japaridz/CL/clx.html Lecture Course on Computability Logic]
* [http://www.mathnet.ru/php/presentation.phtml?option_lang=eng&presentid=4373 On abstract resource semantics and computabilty logic] Video lecture by N.Vereshchagin.

[[Categoria:Logica non classica]]
[[Categoria:Teoria della computazione]]
[[Categoria:Teoria della calcolabilità]]
[[Categoria:Logica nell'informatica]]


text:
# Costituzione delle Figi
Le isole Figi hanno avuto 4 costituzioni diverse:
- Costituzione delle Figi del 1970
- Costituzione delle Figi del 1990
- Costituzione delle Figi del 1997
- Costituzione delle Figi del 2013

title: Costituzione delle Figi

wikitext:
{{S|Figi}}
{{Politica Figi}}

Le isole [[Figi]] hanno avuto 4 costituzioni diverse:
*[[Costituzione delle Figi del 1970]]
*[[Costituzione delle Figi del 1990]]
*[[Costituzione delle Figi del 1997]]
*[[Costituzione delle Figi del 2013]]

==Collegamenti esterni==
* {{cita web|http://www.paclii.org/fj/Fiji-Constitution-English-2013.pdf|Costituzione del 2013}}

{{portale|diritto|politica|Oceania}}

[[Categoria:Costituzioni degli stati oceaniani|Figi]]


text:
# Richmond (Utah)
Richmond è un comune degli Stati Uniti d'America, nella contea di Cache nello Stato dello Utah.

title: Richmond (Utah)

wikitext:
{{F|centri abitati dello Utah|luglio 2017}}
{{Divisione amministrativa
|Nome = Richmond
|Nome ufficiale = {{en}} City of Richmond
|Panorama =
|Didascalia =
|Bandiera =
|Stemma =
|Stato = USA
|Grado amministrativo = 3
|Tipo = ''[[Comuni degli Stati Uniti d'America|city]]''
|Divisione amm grado 1 = Utah
|Divisione amm grado 2 = Cache
|Voce divisione amm grado 2 =
|Amministratore locale =
|Partito =
|Data elezione =
|Data istituzione =
|Latitudine decimale = 41.919444
|Longitudine decimale = -111.810278
|Altitudine =
|Superficie = 7.6
|Note superficie =
|Abitanti = 2470
|Note abitanti =
|Aggiornamento abitanti = 2010
|Divisioni confinanti =
|Targa =
|Nome abitanti =
|Patrono =
|Festivo =
|Mappa =
|Didascalia mappa =
}}
'''Richmond''' è un comune degli [[Stati Uniti d'America]], nella [[contea di Cache]] nello Stato dello [[Utah]].

== Altri progetti ==
{{interprogetto}}

== Collegamenti esterni ==
* {{Collegamenti esterni}}

{{Controllo di autorità}}
{{Portale|Stati Uniti d'America}}

[[Categoria:Comuni dello Utah]]

title: Localizzazione

Stato: Stati Uniti

Stato federato: Utah

Contea: Cache

title: Territorio

Superficie: 7,6 km²

Densità: 325 ab./km²

title: Altre informazioni

title: Cartografia

Cartografia: Richmond


text:
# Martin Penc
Martin Penc (Praga, 21 maggio 1957) è un ex pistard ceco, fino al 1992 cecoslovacco.

## Palmarès

### Olimpiadi
- 1 medaglia:
  - 1 bronzo (Mosca 1980 nell'inseguimento a squadre)

### Mondiali
- 3 medaglie:
  - 1 oro (Bassano del Grappa 1985 nella corsa a punti dilettanti)
  - 2 bronzi (Brno 1981 nell'inseguimento a squadre dilettanti; Lione 1989 nella corsa a punti professionisti)

### Giochi dell'Amicizia
- 1 medaglia:
  - 1 argento (Schleiz 1984 nella corsa a punti)

title: Martin Penc

wikitext:
{{S|ciclisti cechi}}
{{Sportivo
|Nome = Martin Penc
|Sesso = M
|CodiceNazione = {{CSK}}<br>{{CZE}}
|Immagine =
|Didascalia =
|Altezza =
|Peso =
|TermineCarriera =
|Disciplina = Ciclismo su pista
|Specialità =
|Ruolo =
|Palmares =
{{MedaglieNazione|CSK}}
{{Palmarès
|competizione 1 = [[Giochi olimpici estivi|Giochi olimpici]]
|oro 1 = 0
|argento 1 =0
|bronzo 1 = 1
|cat = CSK
|competizione 2 =Mondiali
|oro 2 = 1
|argento 2 =0
|bronzo 2 = 2
|competizione 3 =[[Giochi dell'Amicizia]]
|oro 3=0
|argento 3=1
|bronzo 3=0
}}
|Aggiornato =
}}
{{Bio
|Nome = Martin
|Cognome = Penc
|Sesso = M
|LuogoNascita = Praga
|GiornoMeseNascita = 21 maggio
|AnnoNascita = 1957
|LuogoMorte =
|GiornoMeseMorte =
|AnnoMorte =
|Epoca = 1900
|Attività = ex pistard
|Nazionalità = ceco
|PostNazionalità = , fino al 1992 [[Cecoslovacchia|cecoslovacco]]
}}

==Palmarès==
===Olimpiadi===
*1 medaglia:
**1 bronzo (Mosca 1980 nell'inseguimento a squadre)
===Mondiali===
*3 medaglie:
**1 oro (Bassano del Grappa 1985 nella corsa a punti dilettanti)
**2 bronzi (Brno 1981 nell'inseguimento a squadre dilettanti; Lione 1989 nella corsa a punti professionisti)
===Giochi dell'Amicizia===
*1 medaglia:
**1 argento (Schleiz 1984 nella corsa a punti)

==Collegamenti esterni==
* {{Collegamenti esterni}}

{{Portale|biografie|ciclismo}}

[[Categoria:Pistard cecoslovacchi]]

title: Martin Penc

Nazionalità: Cecoslovacchia · Rep. Ceca

title: Cecoslovacchia

Competizione: Ori · Argenti · Bronzi