- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Quasi-completeness in non-Fregean logic
Studia Logica 29 (1):7-16 (1971)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Roman Murawski, recursive functions and metamathematics.Rod Downey - 2002 - Studia Logica 70 (2):297-299.
The choice of logical foundations: Non-classical choices and the ultralogical choice.Richard Routley - 1980 - Studia Logica 39 (1):77 - 98.
An Intuitionistic Completeness Theorem for Classical Predicate Logic.Victor N. Krivtsov - 2010 - Studia Logica 96 (1):109-115.
Analytics
Added to PP
2009-01-28
Downloads
54 (#418,521)
6 months
1 (#1,572,794)
2009-01-28
Downloads
54 (#418,521)
6 months
1 (#1,572,794)
Historical graph of downloads
Citations of this work
Leśniewski's Systems of Logic and Foundations of Mathematics.Rafal Urbaniak - 2013 - Cham, Switzerland: Springer.
Non-Fregean Propositional Logic with Quantifiers.Joanna Golińska-Pilarek & Taneli Huuskonen - 2016 - Notre Dame Journal of Formal Logic 57 (2):249-279.
Semantics without Toil? Brady and Rush Meet Halldén.Lloyd Humberstone - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):340–404.
Number of non-Fregean sentential logics that have adequate models.Joanna Golińska-Pilarek - 2006 - Mathematical Logic Quarterly 52 (5):439–443.
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.
References found in this work
Some theorems on structural consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (1):1 - 9.
On the semantic non-completeness of certain Lewis calculi.Sören Halldén - 1951 - Journal of Symbolic Logic 16 (2):127 - 129.
The algebraic treatment of the methodology of elementary deductive systems.Jerzy Łoś - 1955 - Studia Logica 2 (1):151 - 212.
A completeness theorem for “theories of kind W”.Stephen L. Bloom - 1971 - Studia Logica 27 (1):43-55.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-99fc7d78b-xhc6d uwo