[permalink] [id link]
Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of truth.
from
Wikipedia
Some Related Sentences
Introduced and by
Introduced by AT & T in 1963, the Touch-Tone system using the telephone keypad gradually replaced the use of rotary dial and has become the industry standard for landline service.
Introduced by Augustus John, Caitlin's lover, they met in The Wheatsheaf pub on Rathbone Place in London's West End.
Introduced by Ditto Corporation in 1923, these machines were known for the next six decades as Ditto Machines and used by fans because they were cheap to use and could ( with a little effort ) print in color.
Introduced by Mikhail Gorbachev in the second half of the 1980s, Glasnost is often paired with Perestroika ( literally: Restructuring ), another reform instituted by Gorbachev at the same time.
Introduced by IBM in 1956, hard disk drives have been the dominant device for secondary storage of data in general purpose computers since the early 1960s.
A well-known class of IBM PC keyboards is the Model M. Introduced in 1985 and manufactured by IBM, Lexmark and Unicomp, the vast majority of Model M keyboards feature a buckling spring key design and many have fully swappable keycaps.
Introduced fauna by humans include rats and goats, which castaway Alexander Selkirk survived on during his four year stay from 1705 to 1709 ; his travails provided the inspiration for Daniel Defoe's novel Robinson Crusoe.
Introduced by one of Gregory Pelton's ancestors, apparently bought from and based on Puppeteer technology.
Introduced fish species such as Carp, Gambusia, weather loach, redfin perch and brown trout and rainbow trout have also had serious negative effects on native fish, while Carp have contributed to environmental degradation of the Murray River and tributaries by destroying aquatic plants and permanently raising turbidity.
Introduced the concept of repressive desublimation, in which social control can operate not only by direct control, but also by manipulation of desire.
Introduced by Edgar Lustgarten, each episode featured a dramatised reconstruction of a " true crime " story.
Introduced by IBM with the PC / AT, it was intended to be available as a special key to directly invoke low-level operating system functions with no possibility of conflicting with any existing software.
Introduced by Rune Monö while teaching Industrial Design at the Institute of Design, Umeå University, Sweden.
Introduced in 1982 as TC / WM-D6 and then replaced by the TC / WM-D6C on September 1, 1984, it was comparable in audio quality to the best professional audio equipment.
Introduced in April, 2002, connectorless technology ( identified by several vendor-specific trade names: Compression Probing ; Soft Touch ; D-Max ) has become popular.
Introduced in 2011 by Nicholas Kovats, and implemented by Jean-Louis Seguin, this format uses Standard 8 film in a modified Bolex ( H16 or H8 ) camera.
Introduced and 2003
Introduced in 2003, the Smith & Wesson Model 500 is one of the most powerful revolvers, utilizing the. 500 S & W Magnum cartridge.
Introduced in 2003, the Marauder was a high-performance version of the Grand Marquis intended as Ford's answer to the 1994-1996 Chevrolet Impala SS.
Introduced in April 2003 as a 2004 model, it was sold only in the United States and Canada, but from the 2009 model year on it will also be available in Mexico.
Introduced to the market in 2003, the Peugeot 206 GTi 180 and 206 RC brought high performance to the product range.
Introduced in 1981, Type 80 series packfilm, 8. 3 × 8. 6 cm, ( 3¼ × 3⅜ inch ) Introduced in 1971 ( re-introduced in 2003 ).
Introduced in 2003, it featured redesigned bumpers, and was fitted with a higher-output version of the 1. 5-litre engine.
Introduced to service in 2003, the trains are some of the newest in the city's suburban fleet, however the Victorian State Government has recently ordered more of the previously delivered Alstom X ' Trapolis 100 trains.
Introduced as a concept car at the February 2003 Chicago Auto Show, the FJ Cruiser was approved for production after positive consumer response and debuted at the January 2005 North American International Auto Show in final production form.
Introduced in 1999 as a way of increasing the IT literacy of the general workforce, it gained momentum in 2003 after a rebranding and promotional efforts from the Trade Union Congress, the Department of Trade and Industry and companies in the industry.
Introduced in January 2003, the show was initially presented by Cat Deeley, but she left to make way for MTV presenter Dave Berry who left in the summer of 2005 and was replaced by a rotating presenting team of Myleene Klass, Lauren Laverne and Johny Pitts.
Introduced in October 2003, it was done away with in November 2005 due to the popularity of the festival making it difficult for the honor system to be viable.
0.206 seconds.