In proof theory, the Dialectica interpretation is a proof interpretation of intuitionistic logic (Heyting arithmetic) into a finite type extension of primitive...
8 KB (1,150 words) - 05:06, 9 February 2024
Dialectica is a quarterly philosophy journal founded in 1947 by Gaston Bachelard, Paul Bernays and Ferdinand Gonseth. It was published by Blackwell between...
2 KB (77 words) - 11:15, 22 May 2024
De Dialectica (Latin for "On Dialectics" or "On Logical Reasoning") may refer to: De Dialectica (Augustine), a 387 work by Augustine of Hippo De Dialectica...
764 bytes (105 words) - 10:12, 10 January 2024
Dialectica spaces are a categorical way of constructing models of linear logic. They were introduced by Valeria de Paiva, Martin Hyland's student, in her...
2 KB (217 words) - 00:14, 6 March 2024
Dialectica rendalli is a moth of the family Gracillariidae. It is known from Jamaica, Puerto Rico and the Virgin Islands (Saint Croix and Saint Thomas)...
855 bytes (50 words) - 17:36, 6 January 2021
Dialectica trigonidota is a moth of the family Gracillariidae. It is known from South Africa. Afrotropical Gracillariidae Global Taxonomic Database of...
774 bytes (26 words) - 11:28, 11 June 2021
Dialectica imperialella is a moth of the family Gracillariidae. It is found from Denmark to the Pyrenees, Italy and Romania and from Great Britain to Russia...
2 KB (96 words) - 14:05, 3 June 2024
Dialectica carcharota is a moth of the family Gracillariidae. It is known from South Africa, Ethiopia and Zimbabwe. The larvae feed on Borago officinalis...
1 KB (40 words) - 06:04, 7 January 2024
Dialectica aemula is a moth of the family Gracillariidae. It is known from Australia (the Northern Territory, Tasmania, Queensland and Victoria), India...
2 KB (106 words) - 10:51, 24 May 2021
Dialectica pyramidota is a moth of the family Gracillariidae. It is known from South Africa and Réunion. The larvae feed on Ehretia rigida. They probably...
1,020 bytes (51 words) - 06:09, 9 April 2021