- A note on negation.CharlesB Daniels - 1990 - Erkenntnis 32 (3):423 - 429.details
|
|
On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus.D. A. Bochvar & Merrie Bergmann - 1981 - History and Philosophy of Logic 2 (1-2):87-112.details
|
|
A story semantics for implication.Charles Daniels - 1986 - Notre Dame Journal of Formal Logic 27 (2):221-246.details
|
|
Formal inconsistency and evolutionary databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.details
|
|
Don't care was made to care.Ross Brady & Richard Routley - 1973 - Australasian Journal of Philosophy 51 (3):211 – 225.details
|
|
Proof Systems for Reasoning about Computation Errors.Arnon Avron & Beata Konikowska - 2009 - Studia Logica 91 (2):273-293.details
|
|
Reflections on the Logic of Nonsense.Lennart Åqvist - 1962 - Theoria 28 (1):138--57.details
|
|
Tautological entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.details
|
|
Tautological Entailments.Alan Ross Anderson & Nuel D. Belnap - 1968 - Journal of Symbolic Logic 33 (4):608-608.details
|
|
Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.details
|
|
Possibility.[author unknown] - 1937 - Revue Philosophique de la France Et de l'Etranger 124 (11):274-275.details
|
|
Possibility. [REVIEW][author unknown] - 1930 - The Monist 40 (2):324-324.details
|
|
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.details
|
|
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.details
|
|
Symbolic logic.Clarence Irving Lewis - 1932 - [New York]: Dover Publications. Edited by Cooper Harold Langford.details
|
|
Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.details
|
|
The logic of significance and context.Leonard Goddard - 1973 - New York,: Wiley. Edited by Richard Sylvan.details
|
|
Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.details
|
|
Free Choice Disjunction and Epistemic Possibility.Thomas Ede Zimmermann - 2000 - Natural Language Semantics 8 (4):255-290.details
|
|
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Alan R. White - 1965 - Philosophical Quarterly 15 (60):268.details
|
|
A semantical theory of analytic implication.Alasdair Urquhart - 1973 - Journal of Philosophical Logic 2 (2):212 - 219.details
|
|
Sense without Denotation.Timothy Smiley - 1959 - Analysis 20 (6):125 - 135.details
|
|
Reflections on the Logic of Nonsense.Krister Segerberg - 1968 - Journal of Symbolic Logic 33 (1):134-136.details
|
|
A contribution to nonsense-logics.Krister Segerberg - 1965 - Theoria 31 (3):199-217.details
|
|
Reflections on the Logic of Nonsense.Lennart Åqvist - 1962 - Theoria 28 (2):138-157.details
|
|
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.details
|
|
Paraconsistency and Analyticity.Carlos A. OLLER - 1999 - Logic and Logical Philosophy 7 (1):91-99.details
|
|
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford July 1963. North Holland. pp. 92-130.details
|
|
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke, J. N. Crossley & M. A. E. Dummett - 1970 - Journal of Symbolic Logic 35 (2):330-332.details
|
|
Analytic implication.Kit Fine - 1986 - Notre Dame Journal of Formal Logic 27 (2):169-179.details
|
|
A modification of Parry's analytic implication.J. Michael Dunn - 1972 - Notre Dame Journal of Formal Logic 13 (2):195-205.details
|
|
Dynamic Logic.David Harel, Dexter Kozen & Jerzy Tiuryn - 2000 - MIT Press.details
|
|
The Logic of Nonsense.Sören Halldén - 1949 - Uppsala, Sweden: Upsala Universitets Arsskrift.details
|
|
A question concerning a logical calculus related to Lewis' System of strict implication, which is of special interest for the study of entailment.Sören Halldén - 1948 - Theoria 14 (3):265-269.details
|
|
A Philosophically Plausible Formal Interpretation of Intuitionistic Logic.Andrzej Grzegorczyk - 1971 - Journal of Symbolic Logic 36 (2):329-329.details
|
|
The Logic of Significance and Context.Nino B. Cocchiarella - 1984 - Journal of Symbolic Logic 49 (4):1413-1415.details
|
|
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.details
|
|
Investigations into Logical Deduction.Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144-145.details
|
|
Is semantic information meaningful data?Luciano Floridi - 2007 - Philosophy and Phenomenological Research 70 (2):351-370.details
|
|
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.details
|
|
The completeness of S.Harry Deutsch - 1979 - Studia Logica 38 (2):137 - 147.details
|
|
Paraconsistent analytic implication.Harry Deutsch - 1984 - Journal of Philosophical Logic 13 (1):1 - 11.details
|
|
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.details
|
|
An Introduction to Substructural Logics.Greg Restall - 1999 - New York: Routledge.details
|
|
Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.details
|
|
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.details
|
|
Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.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
|
|
Bilattices are nice things.Melvin Fitting - 2006 - In T. Bolander, V. Hendricks & S. A. Pedersen (eds.), Self-Reference. CSLI Publications.details
|
|
The logic of the catuskoti.Graham Priest - 2010 - Comparative Philosophy 1 (2):24-54.details
|
|