A Three-Valued Fregean Quantification Logic

Journal of Philosophical Logic 48 (2):409-423 (2019)
  Copy   BIBTEX


Kripke’s Fregean quantification logic FQ fails to formalize the usual first-order logic with identity due to the interpretation of the conditional operator. Motivated by Kripke’s syntax and semantics, the three-valued Fregean quantification logic FQ3 is proposed. This three valued logic differs from Kleene and Łukasiewicz’s three-valued logics. The logic FQ3 is decidable. A sound and complete Hilbert-style axiomatic system for the logic FQ3 is presented.



    Upload a copy of this work     Papers currently archived: 89,654

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Identity, many-valuedness and referentiality.Grzegorz Malinowski - 2013 - Logic and Logical Philosophy 22 (4):375-387.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Rough Sets and 3-Valued Logics.A. Avron & B. Konikowska - 2008 - Studia Logica 90 (1):69-92.
Bourne on future contingents and three-valued logic.Daisuke Kachi - 2009 - Logic and Logical Philosophy 18 (1):33-43.


Added to PP

23 (#577,500)

6 months
1 (#1,014,737)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Minghui Ma
Sun Yat-Sen University

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Uber Sinn und Bedeutung.Gottlob Frege - 1892 - Zeitschrift für Philosophie Und Philosophische Kritik 100 (1):25-50.
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
Begriffsschrift.Gottlob Frege - 1967 - In Jean Van Heijenoort (ed.), From Frege to Gödel. Cambridge: Harvard University Press. pp. 1-83.

View all 12 references / Add more references