Outer Web | Explore

Explore >> Select a destination

You are here		richardzach.org Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi - Richard Zach
\|	\|	openlogicproject.org Selinger's fitch.sty: 1.0 beta - Open Logic Project	9.3 parsecs away Travel
\|	\|	Peter Selinger's fitch.sty package is a popular way to produce nicely formatted Fitch-style natural deduction proofs (e.g., in the free/open logic textbooks of the forall x family). It is now...	9.3 parsecs away Travel
\|	\|	www.brainific.com Brainific present at CoG 2019 - Brainific	12.1 parsecs away Travel
\|	\|	[AI summary] Brainific's Javier Torres will present a poster on 'Logic foundations of manipulation as game mechanics' at CoG 2019 at Queen Mary University in London.	12.1 parsecs away Travel
\|	\|	consequently.org ??: Relating Constructive and Classical Logics - consequently.org	7.2 parsecs away Travel
\|	\|	[AI summary] A talk by Greg Restall exploring the relationship between classical and constructive logics using a single family of connectives within different structural contexts.	7.2 parsecs away Travel
\|	\|	philpapers.org General Philosophy of Science - Bibliography - PhilArchive	37.2 parsecs away Travel
\|		A bibliography of online papers in General Philosophy of Science	37.2 parsecs away Travel