Nuel Belnap

Results: 3



#Item
1Analytic philosophy / Analytic philosophers / Philosophy of mathematics / Metalogic / Non-classical logic / Proof theory / Philosophy of logic / Nuel Belnap / Alan Ross Anderson / Logic / Philosophy / Philosophical logic

Shawn Standefer 1001 Cathedral of Learning, Pittsburgh, PA 15260, www.standefer.net, Education: Thesis:

Add to Reading List

Source URL: standefer.weebly.com

Language: English - Date: 2014-11-06 15:15:02
2Proof theory / Substructural logic / Logic in computer science / Philosophical logic / Linear logic / Intuitionistic logic / Axiom / Sequent calculus / Negation / Logic / Mathematical logic / Non-classical logic

14 Notre Dame Journal of Formal Logic Volume 31, Number 1, Winter 1990 Linear Logic Displayed NUEL BELNAP

Add to Reading List

Source URL: www.pitt.edu

Language: English - Date: 2011-02-14 12:57:38
3Knowledge / Complex systems theory / Simulation / Multi-agent system / Agent-based model / Nuel Belnap / Social simulation / Rosaria Conte / Actor model / Italian people / Science / Academia

AISB/IACAP World Congress 2012 Birmingham, UK, 2-6 July 2012 Social Computing, Social Cognition, Social Networks and Multiagent Systems

Add to Reading List

Source URL: events.cs.bham.ac.uk

Language: English - Date: 2013-07-04 05:01:53
UPDATE