Arché home Arché TWiki > Arche > ArcheLogicGroup Arché TWiki webs:
Main | Arché | Dept | TWiki | Sandbox
Arche . { Changes | Search | Go }

Arché Logic Group

This is the TWiki page for the Arché Logic Group.

Topic: This semester, the ALG is continuing to work through Shoesmith and Smiley's Multiple-Conclusion Logic. SR

Contact: If you have any questions about the ALG, please contact MichaelDe.

Meetings: ALG meet on Wednesdays from 9-11 in room G03 of Edgecliffe.

Current readings: DJ Shoesmith and T Smiley, Multiple-Conclusion Logic, CUP 1978. SR

Future meetings

Date Topic Leader Reading
24 Mar 2010 FLC Milestone Seminar TBC  

How to schedule a meeting

You may use the form below to schedule a new seminar. Please enter the date in the form "20 Sep 2003". The "called" field will update automatically. You could also schedule a meeting by manually creating a new WikiTopic and adding a SeminarEvent form to it.

Add a meeting on date called

Past meetings

Date Topic Leader Minutes
5 Oct 2006 chapters 3 and 4   ArcheLogicGroup5Oct2006
12 Oct 2006 chapters 5 and 6   ArcheLogicGroup12Oct2006
19 Oct 2006 chapters 7 & 8   ArcheLogicGroup19Oct2006
26 Oct 2006 chapters 9 & 10   ArcheLogicGroup26Oct2006
2 Nov 2006 New Book: 13 Free Logic & 14 Constant Domain Modal Logic   ArcheLogicGroup3Nov2006
9 Nov 2006 Reading Week - No seminar   ArcheLogicGroup10Nov2006
16 Nov 2006 New Book: 15 Variable Domain Modal Logic & 16 Necessary Identity in Modal Logic   ArcheLogicGroup16Nov2006
23 Nov 2006 New Book: 17 Contingent Identity in Modal Logic & 18 Non-Normal Modal Logics   ArcheLogicGroup23Nov2006
30 Nov 2006 New Book: 19 Conditional Logics & 20 Intuitionistic Logic   ArcheLogicGroup30Nov2006
7 Dec 2006 New Book: 21 Many-Valued Logics & 22 First Degree Entailment   ArcheLogicGroup7Dec2006
14 Dec 2006 New Book: 23 Logics With Gaps, Gluts, and Worlds & 24 Relevant Logics - Last Seminar   ArcheLogicGroup14Dec2006
25 Jan 2007 First meeting. Topic TBA.   ArcheLogicGroup25Jan2007
1 Feb 2007 Basic Proof Theory, ch. 1-2 SteveRead ArcheLogicGroup1Feb2007
8 Feb 2007 Basic Proof Theory, ch. 2 Peter ArcheLogicGroup8Feb2007
15 Feb 2007 Basic Proof Theory, ch. 3 OleHjortland ArcheLogicGroup13Feb2007
22 Feb 2007 Basic Proof Theory, ch. 3 OleHjortland ArcheLogicGroup22Feb2007
1 Mar 2007 Basic Proof Theory, ch. 4 GumundurAndriHjalmarsson ArcheLogicGroup1Mar2007
8 Mar 2007 Basic Proof Theory, ch. 4 GumundurAndriHjalmarsson ArcheLogicGroup8Mar2007
22 Mar 2007 Basic Proof Theory, ch. 4 Roy Dyckhoff ArcheLogicGroup22Mar2007
12 Apr 2007 Basic Proof Theory, ch. 6   ArcheLogicGroup12Apr2007
19 Apr 2007 Basic Proof Theory, ch. 6   ArcheLogicGroup19Apr2007
26 Apr 2007 Basic Proof Theory, ch. 6   ArcheLogicGroup26Apr2007
3 May 2007 Basic Proof Theory, ch. 9   ArcheLogicGroup3May2007
10 May 2007 Basic Proof Theory, ch. 9   ArcheLogicGroup10May2007
26 Sep 2007 Introduction and Lattices   ArcheLogicGroup26Sep2007
3 Oct 2007 Boolean algebras I   ArcheLogicGroup3Oct2007
10 Oct 2007 Boolean algebras II   ArcheLogicGroup10Oct2007
17 Oct 2007 Classical Logic I   ArcheLogicGroup17Oct2007
24 Oct 2007 Classical Logic II   ArcheLogicGroup24Oct2007
31 Oct 2007 Pseudo-Boolean algebras I   ArcheLogicGroup31Oct2007
7 Nov 2007 Pseudo-Boolean algebras II   ArcheLogicGroup7Nov2007
14 Nov 2007 No Meeting (Reading Week)   ArcheLogicGroup14Nov2007
21 Nov 2007 No Meeting (Teaching Review)   ArcheLogicGroup21Nov2007
28 Nov 2007 Intuitionistic Logic   ArcheLogicGroup28Nov2007
5 Dec 2007 Topological Boolean algebras   ArcheLogicGroup5Dec2007
12 Dec 2007 Modal Logic   ArcheLogicGroup12Dec2007
19 Dec 2007 Modal and Intuitionistic Logic   ArcheLogicGroup19Dec2007
26 Mar 2008 Basic concepts in modal logic MichaelDe ArcheLogicGroup26Mar2008
2 Apr 2008 Normal modal logics MichaelDe ArcheLogicGroup2Apr2008
3 Apr 2008 Modal frames   ArcheLogicGroup03Apr2008
9 Apr 2008 Modal invariance results OleHjortland ArcheLogicGroup9Apr2008
16 Apr 2008 Finite model property, filtration, and correspondence theory MichaelDe ArcheLogicGroup16Apr2008
23 Apr 2008 Modal saturation, characterization and definability PeterChapman ArcheLogicGroup23Apr2008
30 Apr 2008 Modal definability and simulations OleHjortland ArcheLogicGroup30Apr2008
14 May 2008 Finite frames & correspondence theory MichaelDe ArcheLogicGroup14May2008
21 May 2008 Finite frames & correspondence theory MichaelDe ArcheLogicGroup21May2008
28 May 2008 Interpolation and bisimulation quantifiers in modal logics Marta Bilkova (Charles University, Prague) ArcheLogicGroup28May2008
4 Jun 2008 Sahlqvist formulas and completeness MichaelDe, PeterChapman ArcheLogicGroup04Jun2008
18 Jun 2008 Canonical models and completeness MichaelDe ArcheLogicGroup18Jun2008
25 Jun 2008 Canonical model manipulation and definability via rules GumundurAndriHjalmarsson ArcheLogicGroup25Jun2008
16 Jul 2008 Rules and definability, algebraic logic MichaelDe, GumundurAndriHjalmarsson ArcheLogicGroup09Jul2008
23 Jul 2008 Algebraic modal logic PeterChapman ArcheLogicGroup23Jul2008
17 Sep 2008 (CTT) Preliminary meeting RoyDyckhoff ArcheLogicGroup17Sep2008
8 Oct 2008 Intuitionistic Type Theory RoyDyckhoff ArcheLogicGroup8Oct2008
15 Oct 2008 Intuitionistic type theory RoyDyckhoff ArcheLogicGroup15Oct2008
22 Oct 2008 Intuitionistic Type Theory WalterPedriali ArcheLogicGroup22Oct2008
29 Oct 2008 Intuitionistic Type Theory MichaelDe ArcheLogicGroup29Oct2008
5 Nov 2008 Intuitionistic Type Theory RobertRothenberg ArcheLogicGroup05Nov2008
12 Nov 2008 Examples of programming in constructive type theory PeterChapman ArcheLogicGroup12Nov2008
19 Nov 2008 Examples of programming in constructive type theory, universes, abstract data types RoyDyckhoff ArcheLogicGroup19Nov2008
26 Nov 2008 Type theory and the Agda proof assistant Vladimir Komendantsky ArcheLogicGroup26Nov2008
3 Dec 2008 Aarne Rante's use of Type Theory in linguistics WalterPedriali ArcheLogicGroup03Dec2008
10 Dec 2008 Combining Logics by Means of Possible-Translation Semantics and Society Semantics Walter Carnielli ArcheLogicGroup10Dec2008
17 Dec 2008 On the meanings of the logical constants and the justifications of the logical laws RoyDyckhoff ArcheLogicGroup17Dec2008
1 Apr 2009 Single-Conclusion Logic StephenRead ArcheLogicGroup1Apr2009
8 Apr 2009 Multiple-Conclusion Logic and Tree Proofs StephenRead and RoyDyckhoff ArcheLogicGroup8Apr2009
15 Apr 2009 Tree Proofs and Axiomatisability MichaelDe ArcheLogicGroup15Apr2009
22 Apr 2009 Axiomatisability OleHjortland ArcheLogicGroup22Apr2009
29 Apr 2009 Counterparts MichaelDe ArcheLogicGroup29Apr2009
6 May 2009 Counterparts PeterChapman ArcheLogicGroup06May2009
13 May 2009 Counterparts MichaelDe and PeterChapman ArcheLogicGroup13May2009
20 May 2009 Positive & negative calculi and disjunction PeterChapman ArcheLogicGroup20May2009
27 May 2009 Infinite rules GumundurAndriHjalmarsson ArcheLogicGroup27May2009
3 Jun 2009 Many-valued calculi OleHjortland ArcheLogicGroup03Jun2009
17 Jun 2009 Dynamic epistemic logic, the Moore sentence, and the Fitch paradox Hans van Ditmarsch, University of Seville, Spain & University of Otago, New Zealand ArcheLogicGroup10Jun2009
30 Sep 2009 Shoesmith and Smiley ch.13 OleHjortland ArcheLogicGroup30Sep2009
7 Oct 2009 Multiple conclusion logic OleHjortland ArcheLogicGroup07Oct2009
14 Oct 2009 Multiple conclusion logic MichaelDe ArcheLogicGroup14Oct2009
21 Oct 2009 No Meeting   ArcheLogicGroup21Oct2009
30 Oct 2009 Multiple conclusion logic: Chapter 15 GilSagi ArcheLogicGroup28Oct2009
4 Nov 2009 Multiple Conclusion Logic: Chapter 15 GilSagi ArcheLogicGroup04Nov2009
18 Nov 2009 Multiple conclusion logic (counterparts) FrederiqueJanssenLauret ArcheLogicGroup18Nov2008
25 Nov 2009 Multiple conclusion logic (counterparts) FrederiqueJanssenLauret ArcheLogicGroup25Nov2009
2 Dec 2009 Multiple conclusion logic ColinCaret ArcheLogicGroup2Dec2009
9 Dec 2009 Simple semantics for relevant logics Ross Brady ArcheLogicGroup09Dec2009

Some Links

Stephen Read's Medieval Logic Reading Group
Arché Bibliography of Modal Logic
Greg Restall's blog, 'Consequently'
Peter Smith's blog, 'Logic Matters'
John Cohen's blog, 'That Logic Blog'
Richard Zach's blog, 'LogBlog'
The Arché Weblog
Tony Roy's 'Natural Derivations for Priest, An Introduction to Non-Classical Logic' (pdf)
The Australasian Journal of Logic
John MacFarlane's PhD thesis What Does it Mean to Say that Logic is Formal? (pdf)

-- GumundurAndriHjalmarsson - 13 Sep 2007

*Main.WeeklyEvent*
Description: Arché Logic Group
Contact: MichaelDe
Weekday: Wednesday
Starttime: 9:00
Endtime: 11:00
Place: G03, Edgecliffe
Startdate:  
Enddate:  

Topic ArcheLogicGroup . { Edit | Attach | Ref-By | Print | Diffs | r1.27 | > | r1.26 | > | r1.25 | More }
Revision r1.27 - 14 Sep 2009 - 17:40 - SteveRead Copyright © 1999-2003 by the contributing authors.

Arche.ArcheLogicGroup moved from Dept.ArcheLogicGroup on 06 Oct 2006 - 10:33 by PhilipAEbert - put it back