A Survey of the Derivability of Important Implicative Principles in Alternative Systems of Propositional Logic

In Georg Meggle & Ulla Wessels (eds.), Analyōmen 1 =. De Gruyter. pp. 76-87 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/9783110885675-009

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Survey of the Derivability of Important Implicative Principles in Alternative Systems of Propositional Logic.Helmut Linneweber-LammersKitten - 1994 - In Ulla Wessels & Georg Meggle (eds.), Analyōmen 1 =. De Gruyter. pp. 76-87.
On Special Implicative Filters.Josep Maria Font - 1999 - Mathematical Logic Quarterly 45 (1):117-126.
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
A survey of propositional realizability logic.Valery Plisko - 2009 - Bulletin of Symbolic Logic 15 (1):1-42.
An Alternative Normalization of the Implicative Fragment of Classical Logic.Branislav Boričić & Mirjana Ilić - 2015 - Studia Logica 103 (2):413-446.
On the correspondence between arithmetic theories and propositional proof systems – a survey.Olaf Beyersdorff - 2009 - Mathematical Logic Quarterly 55 (2):116-137.
Cn-definitions of propositional connectives.Witold A. Pogorzelski & Piotr Wojtylak - 2001 - Studia Logica 67 (1):1-26.
Systems with the converse Ackermann property.José M. Méndez - 1985 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (1):253-258.
n -fold filters in BL-algebras.Masoud Haveshki & Esfandiar Eslami - 2008 - Mathematical Logic Quarterly 54 (2):176-186.
Propositional Logic Card Games.Anthony Shiver - 2013 - Teaching Philosophy 36 (1):51-58.
Beyond Rasiowan Systems: Unital Deductive Systems.Alexei Y. Muravitsky - 2014 - Logica Universalis 8 (1):83-102.
Propositional Logic from The Principles of Mathematics to Principia Mathematica.Bernard Linsky - 2016 - In Sorin Costreie (ed.), Early Analytic Philosophy – New Perspectives on the Tradition. Cham, Switzerland: Springer Verlag.
Derivability of rules from rule complexes.Anna Gomolińska - 2002 - Logic and Logical Philosophy 10:21.
An Introduction to Modal Logic. [REVIEW]H. K. R. - 1970 - Review of Metaphysics 23 (4):739-740.
Review: Hao Wang, Tag Systems and Lag Systems; John Cocke, Marvin Minsky, Universality of Tag Systems with $D = 2$; Stephen A. Cook, The Solvability of the Derivability Problem for One-Normal Systems. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344-344.

Analytics

Added to PP
2020-06-17

Downloads
1 (#1,889,095)

6 months
1 (#1,516,429)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references