- 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.
A non-finitely based quasi-variety of de Morgan algebras.Hernando Gaitán & Milton Perea - 2004 - Studia Logica 78 (1-2):237 - 248.
Analytics
Added to PP
2009-01-28
Downloads
54 (#401,329)
6 months
8 (#588,629)
2009-01-28
Downloads
54 (#401,329)
6 months
8 (#588,629)
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.
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-667477cd97-sfdq8 dc2