- (1 other version)Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.details
|
|
Translations From the Philosophical Writings of Gottlob Frege.Peter Geach & Max Black - 1952 - Philosophical Library.details
|
|
Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness.Alexander Bochman - 1998 - Notre Dame Journal of Formal Logic 39 (1):47-73.details
|
|
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.details
|
|
The seas of language.Michael Dummett - 1993 - New York: Oxford University Press.details
|
|
(1 other version)Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.details
|
|
Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.details
|
|
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.details
|
|
The value of the four values.Ofer Arieli & Arnon Avron - 1998 - Artificial Intelligence 102 (1):97-141.details
|
|
(1 other version)Reprint of: A more general general proof theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.details
|
|
(1 other version)Constructible Falsity.David Nelson - 1950 - Journal of Symbolic Logic 15 (3):228-228.details
|
|
(2 other versions)Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.details
|
|
What Is Negation?Dov M. Gabbay & Heinrich Wansing - 1999 - Studia Logica 69 (3):435-439.details
|
|
(1 other version)Translations from the philosophical writings of Gottlob Frege.Gottlob Frege - 1952 - New York,: Philosophical Library. Edited by P. T. Geach & Max Black.details
|
|
Why ‘Not’?Huw Price - 1990 - Mind 99 (394):221-238.details
|
|
Negation as a sign of negative judgment.Kent Bendall - 1979 - Notre Dame Journal of Formal Logic 20 (1):68-76.details
|
|
(1 other version)Translations from the philosophical writings of Gottlob Frege.Gottlob Frege - 1952 - Oxford, England: Blackwell. Edited by P. T. Geach & Max Black.details
|
|
Semantic Minimalism and the Frege Point.Huw Price - unknowndetails
|
|
Yes and no.I. Rumfitt - 2000 - Mind 109 (436):781-823.details
|
|
An Inferentially Many-Valued Two-Dimensional Notion of Entailment.Carolina Blasio - 2017 - Bulletin of the Section of Logic 46 (3/4).details
|
|
(1 other version)Proofs, Disproofs, and Their Duals.Heinrich Wansing - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 483-505.details
|
|
(1 other version)Proofs, Disproofs, and Their Duals.Heinrich Wansing - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 483-505.details
|
|
(1 other version)A more general general proof theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.details
|
|
Disentangling FDE -Based Paraconsistent Modal Logics.Sergei P. Odintsov & Heinrich Wansing - 2017 - Studia Logica 105 (6):1221-1254.details
|
|
(2 other versions)Advances in Modal Logic.Edwin D. Mares - 2002 - Bulletin of Symbolic Logic 8 (1):95-97.details
|
|
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.details
|
|
Logics and Falsifications: A New Perspective on Constructivist Semantics.Andreas Kapsner - 2014 - Cham, Switzerland: Springer.details
|
|
Price and Rumfitt on rejective negation and classical logic.Peter Gibbard - 2002 - Mind 111 (442):297-304.details
|
|
What is Negation?Dov M. Gabbay & Heinrich Wansing (eds.) - 1999 - Dordrecht, Netherland: Springer.details
|
|
On Split Negation, Strong Negation, Information, Falsification, and Verification.Heinrich Wansing - 2016 - In Katalin Bimbó (ed.), J. Michael Dunn on Information Based Logics. Cham, Switzerland: Springer.details
|
|
Rejection.Timothy Smiley - 1996 - Analysis 56 (1):1–9.details
|
|
Natural deduction, separation, and the meaning of logical operators.Kent Bendall - 1978 - Journal of Philosophical Logic 7 (1):245 - 276.details
|
|
The revival of rejective negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.details
|
|