Tag history_of_logic [21 articles] Export

Recent papers classified by the tag history_of_logic.

	Mathematical modal logic: A view of its evolution [My Copy] Journal of Applied Logic, Vol. 1, No. 5-6. (October 2003), pp. 309-392. by Robert Goldblatt posted to boolean_algebra history_of_logic kripke_semantics modal_logic by CLLC on 2006-03-27 10:38:18 as along with 2 people pirapira michaelbanks
	The Impact of the Lambda Calculus in Logic and Computer Science [My Copy] The Bulletin of Symbolic Logic, Vol. 3, No. 2. (1997), pp. 181-215. by Henk Barendregt posted to church history_of_logic lambda_calculus by rzach on 2006-02-12 05:04:09 as along with 1 group LogicPhilMath
	Kant, Bolzano, and the Emergence of Logicism [My Copy] The Journal of Philosophy, Vol. 79, No. 11. (1982), pp. 679-689. by Alberto Coffa posted to analytic_philosophy bolzano frege history_of_logic kant logicism by greg_restall on 2005-09-20 09:44:55 as along with 1 person and 1 group rzach LogicPhilMath
	A System of Axioms for Geometry [My Copy] Transactions of the American Mathematical Society, Vol. 5, No. 3. (1904), pp. 343-384. by Oswald Veblen posted to history_of_logic by rzach to the group LogicPhilMath on 2005-09-05 02:14:55 as along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
	Diagonalisation and Church's Thesis: Kleene's Homework [My Copy] History and Philosophy of Logic, Vol. 26, No. 2. (May 2005), pp. 93-113. by Enrique Alonso, Maria Manzano posted to church history_of_logic kleene by rzach on 2005-06-16 16:35:35 as along with 1 person and 3 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	The Russellian Influence on Hilbert and his School [My Copy] Synthese, Vol. 137, No. 1 - 2. (November 2003), pp. 59-101. by Paolo Mancosu posted to behmann hilbert hilberts_program history_of_logic principia_mathematica russell by greg_restall on 2005-06-09 01:18:40 as along with 2 people and 3 groups A_Olympia rzach Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Skolem's Discovery of GÃ¶del-Dummett Logic [My Copy] Studia Logica, Vol. 73, No. 1. (February 2003), pp. 153-157. by Jan von Plato posted to history_of_logic philosophical_logic by greg_restall on 2005-05-07 08:54:39 as along with 1 person and 1 group rzach LogicPhilMath
	Bibliography of Alfred Tarski [My Copy] The Journal of Symbolic Logic, Vol. 51, No. 4. (1986), pp. 913-941. by Steven Givant posted to history_of_logic tarski by rzach on 2005-04-11 03:09:02 as along with 2 people and 3 groups A_Olympia kolesov Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Herbrand Award Acceptance Speech [My Copy] Journal of Automated Reasoning, Vol. 31, No. 2. (2003), pp. 169-187. by P. B. Andrews posted to gentzen herbrand history_of_logic sequent by greg_restall on 2005-04-05 03:44:53 as along with 1 person and 1 group rzach LogicPhilMath
	Tarski's System of Geometry [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 2. (1999), pp. 175-214. by Alfred Tarski, Steven Givant posted to foundations geometry history history_of_logic logic mathematics tarski by rzach to the group LogicPhilMath on 2005-03-16 18:09:28 as along with 2 people and 2 groups shankar A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
	Hilbert's Programs: 1917-1922 [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 1. (1999), pp. 1-44. by Wilfried Sieg posted to finitism foundations hilbert history history_of_logic logic russell by rzach on 2005-03-16 18:08:48 as along with 1 person and 1 group noam_zeilberger LogicPhilMath
	Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 3. (1999), pp. 331-366. by Richard Zach posted to bernays hilbert history history_of_logic logic post by rzach to the group LogicPhilMath on 2005-03-16 18:07:57 as along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
	Between Russell and Hilbert: Behmann on the Foundations of Mathematics [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 3. (1999), pp. 303-330. by Paolo Mancosu posted to behmann foundations hilbert history_of_logic philosophy_of_mathematics principia_mathematica russell by rzach to the group LogicPhilMath on 2005-03-16 18:07:20 as
	19th Century Logic between Philosophy and Mathematics [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 4. (1999), pp. 433-450. by Volker Peckhaus posted to history_of_logic by rzach to the group LogicPhilMath on 2005-03-16 18:06:25 as along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
	Towards a Re-Evaluation of Julius Konig's Contribution to Logic [My Copy] The Bulletin of Symbolic Logic, Vol. 6, No. 1. (2000), pp. 45-66. by Miriam Franchella posted to history_of_logic konig by rzach to the group LogicPhilMath on 2005-03-16 18:05:59 as
	The Road to Modern Logic-An Interpretation [My Copy] The Bulletin of Symbolic Logic, Vol. 7, No. 4. (2001), pp. 441-484. by Jose Ferreiros posted to history_of_logic by rzach to the group LogicPhilMath on 2005-03-16 18:03:32 as
	Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen [My Copy] The Bulletin of Symbolic Logic, Vol. 8, No. 2. (2002), pp. 246-265. by Peter Schroeder-Heister posted to history_of_logic proof_theory sequent_calculus by rzach on 2005-03-16 18:02:58 as along with 2 people and 3 groups A_Olympia greg_restall Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Types in Logic and Mathematics before 1940 [My Copy] The Bulletin of Symbolic Logic, Vol. 8, No. 2. (2002), pp. 185-245. by Fairouz Kamareddine, Twan Laan, Rob Nederpelt posted to history_of_logic type_theory types by rzach on 2005-03-16 18:02:20 as along with 1 group LogicPhilMath
	A Note on the Entscheidungsproblem [My Copy] Journal of Symbolic Logic, Vol. 1, No. 1. (1936), pp. 40-41. by Alonzo Church posted to history_of_logic by mx80 on 2005-03-14 23:07:26 as along with 5 people and 1 group mattmight rzach greg_restall ajk d23 LogicPhilMath
	The Mathematical Development of Set Theory from Cantor to Cohen [My Copy] The Bulletin of Symbolic Logic, Vol. 2, No. 1. (1996), pp. 1-71. by Akihiro Kanamori posted to foundations history_of_logic set_theory by rzach to the group LogicPhilMath on 2005-03-14 17:38:18 as along with 6 people and 2 groups A_Olympia recordmymind aeagle ds Scis0000002 ansobol Philosophy_of_Information Blog_and_Wiki_Research
	Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs [My Copy] History and Philosophy of Logic, Vol. 25 (2004), pp. 79-94. by Richard Zach posted to epsilon foundations hilbert history history_of_logic mathematics philosophy_of_mathematics proof_theory by rzach on 2005-03-14 15:37:52 as along with 1 person and 3 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath

Note: You may cite this page as: http://www.citeulike.org/tag/history_of_logic

hilbert	11
foundations	10
history	8
russell	7
logic	6
behmann	5
principia_mathematica	5
church	4
mathematics	4
philosophy_of_mathematics	4
proof_theory	4
tarski	4
analytic_philosophy	3
bolzano	3
frege	3
herbrand	3
hilberts_program	3
kant	3
logicism	3
bernays	2
epsilon	2
finitism	2
geometry	2
godel_logic	2
kleene	2
konig	2
lambda_calculus	2
post	2
sequent_calculus	2
set_theory	2
type_theory	2
types	2
boolean_algebra	1
gentzen	1
kripke_semantics	1
modal_logic	1
philosophical_logic	1
sequent	1

Tag history_of_logic [21 articles] Export

Related Tags