- 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
The Strong Completeness of a System for Kleene's Three‐Valued Logic
Mathematical Logic Quarterly 25 (3-6):61-68 (1979)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
The Strong Completeness of a System for Kleene's Three‐Valued Logic.John T. Kearns - 1979 - Mathematical Logic Quarterly 25 (3‐6):61-68.
The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic.Hiroshi Aoyama - 1994 - Notre Dame Journal of Formal Logic 35 (3):355-368.
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
Strong completeness of lattice-valued logic.Mitio Takano - 2002 - Archive for Mathematical Logic 41 (5):497-505.
A Completenesss Theorem for a 3-Valued Semantics for a First-order Language.Christopher Gauker - manuscript
A Mechanization of Strong Kleene Logic for Partial Functions.Manfred Kerber Michael Kohlhase - unknown
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - Studia Logica 104 (3):503-545.
Erotetic Search Scenarios and Three-Valued Logic.Dorota Leszczyńska-Jasion & Paweł Łupkowski - 2016 - Journal of Logic, Language and Information 25 (1):51-76.
Semantics-based Nonmonotonic Inference.Heinrich Wansing - 1995 - Notre Dame Journal of Formal Logic 36 (1):44-54.
Review: Alan Rose, Strong Completeness of Fragments of the Propositional Calculus; Alan Rose, The Degree of Completeness of a Partial System of the 2-Valued Propositional Calculus. [REVIEW]R. C. Lyndon - 1952 - Journal of Symbolic Logic 17 (2):147-147.
Analytics
Added to PP
2016-02-04
Downloads
46 (#330,292)
6 months
6 (#431,022)
2016-02-04
Downloads
46 (#330,292)
6 months
6 (#431,022)
Historical graph of downloads
Author's Profile
Citations of this work
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
A three-valued quantified argument calculus: Domain-free model-theory, completeness, and embedding of fol.Ran Lanzet - 2017 - Review of Symbolic Logic 10 (3):549-582.
The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic.Hiroshi Aoyama - 1994 - Notre Dame Journal of Formal Logic 35 (3):355-368.
Modal Realism and the Possibility of Island Universes: Why There are no Possible Worlds.Jiri Benovsky - 2021 - Metaphysica 22 (1):1-13.
The Theory of Form Logic.Wolfgang Freitag & Alexandra Zinke - 2012 - Logic and Logical Philosophy 21 (4):363-389.
References found in this work
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
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-7c76586df8-4c2ch uwo