Calculi of Individuals and Some Extensions: An Overview

In Alexander Hieke & Hannes Leitgeb (eds.), Reduction, abstraction, analysis: proceedings of the 31th International Ludwig Wittgenstein-Symposium in Kirchberg, 2008. Frankfurt: de Gruyter. pp. 335-354 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/9783110328875.335

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

Calculi of individuals and some extensions: An overview'.Karl-Georg Niebergall - 2009 - In Hieke Alexander & Leitgeb Hannes (eds.), Reduction, Abstraction, Analysis. Ontos Verlag. pp. 11--335.
On 2nd Order Calculi of Individuals.Karl-Georg Niebergall - 2009 - Theoria 24 (2):169-202.
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.
Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.
Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.
Natural Deduction Calculi and Sequent Calculi for Counterfactual Logics.Francesca Poggiolesi - 2016 - Studia Logica 104 (5):1003-1036.
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics.Eugenio Orlandelli - forthcoming - Logic and Logical Philosophy:1.
The Basics of Display Calculi.Tim Lyon, Christian Ittner, Timo Eckhardt & Norbert Gratzl - 2017 - Kriterion - Journal of Philosophy 31 (2):55-100.
Gentzen-Type Sequent Calculi for Extended Belnap–Dunn Logics with Classical Negation: A General Framework.Norihiro Kamide - 2019 - Logica Universalis 13 (1):37-63.
Sequent calculi and decision procedures for weak modal systems.René Lavendhomme & Thierry Lucas - 2000 - Studia Logica 66 (1):121-145.
Full Models and Restricted Extensions of Propositional Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):5-10.
Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.
New sequent calculi for Visser's Formal Propositional Logic.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (5):525.
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.
Full Models and Restricted Extensions of Propositional Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):5-10.

Analytics

Added to PP
2023-06-09

Downloads
5 (#1,545,183)

6 months
1 (#1,478,456)

Historical graph of downloads
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