Results 31 to 40 of about 391,075 (200)
A Coding Theoretic Study on MLL proof nets
, 2010 Coding theory is very useful for real world applications. A notable example is digital television. Basically, coding theory is to study a way of detecting and/or correcting data that may be true or false. Moreover coding theory is an area of mathematics,
Girard +4 more
core +1 more source
What is a logical diagram? [PDF]
, 2011 Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g.
Legg, Catherine
core
The 1900 Turn in Bertrand Russell’s Logic, the Emergence of his Paradox, and the Way Out [PDF]
, 2016 Russell’s initial project in philosophy (1898) was to make mathematics rigorous reducing it to logic. Before August 1900, however, Russell’s logic was nothing but mereology. First, his acquaintance with Peano’s ideas in August 1900 led him to discard the
Milkov, Nikolay
core
A new process foundation for the applied topos [PDF]
, 2009 The world is in turmoil for want of sound reasoning. Economics and the environment are but two of many areas of human endeavour badly betrayed through a failed combination of physical and information science and the rule of law.
Heather, Michael, Rossiter, Nick
core
A Vernacular for Coherent Logic
, 2014 We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated. The representation uses only a few inference rules and is based on a frag- ment of first-order logic called coherent logic.
A. Blass +16 more
core +2 more sources
Counterfactual Logic and the Necessity of Mathematics [PDF]
This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is ...
Elgin, Samuel
core
Linear logic for constructive mathematics
, 2018 We show that numerous distinctive concepts of constructive mathematics arise automatically from an interpretation of "linear higher-order logic" into intuitionistic higher-order logic via a Chu construction.
Shulman, Michael
core
Category theory : definitions and examples [PDF]
, 1990 Category theory was invented as an abstract language for describing certain structures and constructions which repeatedly occur in many branches of mathematics, such as topology, algebra, and logic.
Srinivas, Yellamraju V.
core
Towards the Development of Computational Thinking and Mathematical Logic through Scratch [PDF]
, 2021 Benjamín Maraza-Quispe +6 more
openalex +1 more source