Information om | Engelska ordet BELNAP

Exempel på hur man kan använda BELNAP i en mening

• In 1972, Sylvan (in a paper co-authored with Plumwood) proposed semantics for certain relevant logics that had been developed by American philosophers Nuel Belnap and Alan Ross Anderson.
• The idea of looking at the syntactic features of sequents as special, non-logical operators is not old, and was forced by innovations in proof theory: when the structural operators are as simple as in Getzen's original sequent calculus there is little need to analyse them, but proof calculi of deep inference such as display logic (introduced by Nuel Belnap in 1982) support structural operators as complex as the logical connectives, and demand sophisticated treatment.
• Nuel Belnap proposed display logic in an attempt to characterise the essence of structural proof theory.
• In 1960 Anderson told Belnap to write up the work he had done on relevance logic, and this was Belnap's PhD dissertation at Yale (entitled The Formalization of Entailment).
• A frequent collaborator with Nuel Belnap, Anderson was instrumental in the development of relevance logic and deontic logic.
• During this recruitment period the University of Pittsburgh appointed Nicholas Rescher, Wilfrid Sellars, Richard Gale, Nuel Belnap, Alan Ross Anderson, and Gerald Massey, among others.
• Hamblin reviewed the works of Harrah and Belnap together: he considered them a launching of erotetics into serious consideration.
• In 1997 as part of the sesquicentennial celebration of the Mormon Trail, the organization commemorated and dedicated a memorial marker in Ashland, Nebraska in honor of John McBride Belnap, a 13-month-old child of Gilbert Belnap and Adaline Knight who died of cholera in 1850 and was buried in his father's tool chest near the Saline Ford at the confluence of Salt Creek and the Platte River along the Oxbow Trail.
• Clara Belnap Dixon was born on November 30, 1851, in Hennepin, Illinois, a small town on the Illinois River about forty miles north of Bloomington, to woodworker Samuel Asenath Dixon and Bethshua Dixon (née Nash).
• Maestre, Jingyi Ding, Caroline Havrilla, Emilio Rodriguez‐Caballero, Nichole Barger, Bettina Weber, Anita Antoninka, Jayne Belnap, Bala Chaudhary, Akasha Faist, Scott Ferrenberg, Elisabeth Huber‐Sannwald, Oumarou Malam Issa, and Yunge Zhao.

Förberedelsen av sidan tog: 164,26 ms.