Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_5c2d2428f1dad036e72cc4f63ff4e844, O_RDWR) failed: Disk quota exceeded (122) in /home/neofil/inveling/public_html/index.php on line 3

Warning: session_start() [function.session-start]: Cannot send session cookie - headers already sent by (output started at /home/neofil/inveling/public_html/index.php:3) in /home/neofil/inveling/public_html/index.php on line 3

Warning: session_start() [function.session-start]: Cannot send session cache limiter - headers already sent (output started at /home/neofil/inveling/public_html/index.php:3) in /home/neofil/inveling/public_html/index.php on line 3
Investigationes Linguisticae
  Institute of Linguistics, Adam Mickiewicz University


Investigationes Linguisticae

  Bulletin devoted to general, comparative and applied linguistics

  Selected: Vol. XVI, 2008
  Table of Contents
  Full Papers
  Reports, Abstracts etc.
  Student Papers
  Varia Linguisticae

  General Information
  Announcements
  Lista recenzentów
  Guidelines for Authors
  Editoral Committee
  CL-A 2010 - Instructions
  Contact

  Archive (electronic)
 Volume XXX - 2014 (new)
 Volume XXIX - 2013
 Volume XXVIII - 2013
 Volume XXVII - 2012
 Volume XXVI - 2012
 Volume XXV - 2012
 Volume XXIV - 2011
 Volume XXIII - 2011
 Volume XXII - 2010
 Volume XXI - 2010
 Volume XX - 2010
 Volume XIX - 2010
 Volume XVIII - 2009
 Volume XVII - 2009
 Volume XVI - 2008
 Volume XV - 2007
 Volume XIV - 2006
 Volume XIII - 2006
 Volume XII - 2005
 Volume XI - 2004
 Volume X - 2004
 Volume IX - 2003
 Volume VIII - 2002
 Volume - 0000

  Archive (printed)
 Volume VII - 1999
 Volume VI - 1999
 Volume V - 1999
 Volume IV - 1998
 Volume III - 1998
 Volume II - 1997
 Volume I - 1995
     
 
Volume XVI, 2008
Table of Contents


Metoda Rezolucji i Tablice Analityczne w Symbolic Logic Lewisa Carrolla
Resolution and Analytic Tableaux in Lewis Carroll’s Symbolic Logic
Jerzy Pogonowski (Instytut Językoznawstwa, Uniwersytet im. Adama Mickiewicza al. Niepodległości 4, 61-874 Poznań)

Download document

Other articles by this author | Add to Quick Links

Source: Investigationes Linguisticae, Volume XVI, 2008, pp. 195-218
Category: Full Papers

Language: polski

English Abstract:

We discuss Lewis Carroll’s invention of the rule of resolution and his prototype of the analytic tableaux method from 1896. A few examples are analyzed and a modest open problem is formulated. We conclude the paper with some metalogical and historical remarks.1

BibTeX Entry:

@article{ Jerzy_Pogonowski_inve16,
 author="Jerzy Pogonowski",
 title= "Metoda Rezolucji i Tablice Analityczne w Symbolic Logic Lewisa Carrolla",
 journal="Investigationes Linguisticae",
 volume="16",
 pages="195--218",
 year="2008",
 url="http://inveling.amu.edu.pl./index.php?direct=165" }
     
Quick Search
  Search in
  Results per page

Quick Links
No articles have been added to Quick Links. Use "Add to Quick Links" in the article details.


Get Acrobat Reader
Get Ghostscript
Copyright © Institute of Linguistics, Adam Mickiewicz University
Design and programming by Marcin Junczys-Dowmunt

Warning: Unknown: open(/var/lib/php5/sess_5c2d2428f1dad036e72cc4f63ff4e844, O_RDWR) failed: Disk quota exceeded (122) in Unknown on line 0

Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (/var/lib/php5) in Unknown on line 0