Some complete calculi of individuals

Notre Dame Journal of Formal Logic 8 (4):267-278 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1094068838

Links

PhilArchive



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

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

Marginalia on sequent calculi.A. S. Troelstra - 1999 - Studia Logica 62 (2):291-303.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
Higher-order automated theorem proving.Michael Kohlhase - unknown
Bunched Logics Displayed.James Brotherston - 2012 - Studia Logica 100 (6):1223-1254.
Metafizyka w logice.Jacek Wojtysiak - 1999 - Filozofia Nauki 1.
Multi-valued Calculi for Logics Based on Non-determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.
On a class of functionally complete multi-valued logical calculi.Václav Pinkava - 1978 - Studia Logica 37 (2):205 - 212.
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.Linh Anh Nguyen & Andrzej Szałas - 2011 - Studia Logica 98 (3):387-428.
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.
Cut-free tableau calculi for some propositional normal modal logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.
Generalizability of the propositional and predicate calculi to infinite-valued calculi.Hermann F. Schott - 1970 - Notre Dame Journal of Formal Logic 11 (1):107-128.
Adjoint interpretations of sentential calculi.Tomasz Fukmanowski - 1982 - Studia Logica 41 (4):359 - 374.
Cut-free tableau calculi for some intuitionistic modal logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.

Analytics

Added to PP
2010-08-24

Downloads
24 (#617,476)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.
Pieces of mereology.Andrzej Pietruszczak - 2005 - Logic and Logical Philosophy 14 (2):211-234.
Toward a logic of experience.Zane Parks - 1973 - Philosophia 3 (4):183-194.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references