Calculi of individuals and some extensions: An overview'

In Hieke Alexander & Leitgeb Hannes (eds.), Reduction, Abstraction, Analysis. Ontos Verlag. pp. 11--335 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

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

Extensions of the Modal Calculi MC v and MC∞. Comparison of them with Similar Calculi Endowed with Different Semantics. Application to Probability Theory. [REVIEW]Aldo Bressan - 1981 - In U. Mönnich (ed.), Aspects of Philosophical Logic. Dordrecht. pp. 21--66.
Sequent calculi and decision procedures for weak modal systems.René Lavendhomme & Thierry Lucas - 2000 - Studia Logica 66 (1):121-145.
Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.
Full Models and Restricted Extensions of Propositional Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):5-10.
Review: R. A. Bull, A Note on the Modal Calculi S4.2 and S4.3; R. A. Bull, A Class of Extensions of the Modal System S4 with the Finite Model Property; R. A. Bull, That all Normal Extensions of S4.3 have the Finite Model Property. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.
Metafizyka w logice.Jacek Wojtysiak - 1999 - Filozofia Nauki 1.
Some paraconsistent sentential calculi.Jerzy J. Błaszczuk - 1984 - Studia Logica 43 (1-2):51 - 61.
Marginalia on sequent calculi.A. S. Troelstra - 1999 - Studia Logica 62 (2):291-303.
Some complete calculi of individuals.Rolf A. Eberle - 1967 - Notre Dame Journal of Formal Logic 8 (4):267-278.
Complete extensions of the calculus of individuals.Herbert E. Hendry - 1982 - Noûs 16 (3):453-460.
Decision procedures for some strong hybrid logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.

Analytics

Added to PP
2014-01-31

Downloads
19 (#803,690)

6 months
5 (#648,018)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mutual Indwelling.Aaron Cotnoir - 2017 - Faith and Philosophy 34 (2):123-151.
Mereology and Infinity.Karl-Georg Niebergall - 2016 - Logic and Logical Philosophy 25 (3):309-350.

Add more citations

References found in this work

No references found.

Add more references