Beth's tableaux for relevant logic
Notre Dame Journal of Formal Logic 20 (4):891-899 (1979)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesNoriko H. Arai, Toniann Pitassi & Alasdair Urquhart (2006). The Complexity of Analytic Tableaux. Journal of Symbolic Logic 71 (3):777 - 790.
Francis Jeffry Pelletier (1998). Automated Natural Deduction in Thinker. Studia Logica 60 (1):3-43.
Marcel Guillaume (1966). Quelques Remarques Sur Les 'Tableaux de Beth'. Synthese 16 (1):27 - 33.
Luis Fariñas del Cerro & Olivier Gasquet (2006). Modal Tableaux for Reasoning About Diagrams. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):169-184.
David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska (2006). Relational Dual Tableaux for Interval Temporal Logics. Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Kai F. Wehmeier (2008). Wittgensteinian Tableaux, Identity, and Co-Denotation. Erkenntnis 69 (3):363 - 376.
Eva Hoogland (2000). Algebraic Characterizations of Various Beth Definability Properties. Studia Logica 65 (1):91-112.
Carlo Cellucci (2000). Analytic Cut Trees. Logic Journal of the IGPL 8:733-750.
Joanna Golinska-Pilarek, Emilio Munoz Velasco & Angel Mora (2011). A New Deduction System for Deciding Validity in Modal Logic K. Logic Journal of IGPL 19 (2): 425-434.
Edwin David Mares (2004). Relevant Logic: A Philosophical Interpretation. Cambridge Univeristy Press.
Larisa Maksimova (2006). Projective Beth Property in Extensions of Grzegorczyk Logic. Studia Logica 83 (1-3):365 - 391.
Bas C. Van Fraassen (1970). On the Extension of Beth's Semantics of Physical Theories. Philosophy of Science 37 (3):325 - 339.
Carlos A. OLLER (1999). Paraconsistency and Analyticity. Logic and Logical Philosophy 7 (1):91-99.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads4 ( #178,434 of 548,973 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
