- (1 other version)The deduction theorem for Łukasiewicz many-valued propositional calculi.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):7-19.details
|
|
(1 other version)Vagueness, Truth and Permissive Consequence.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer. pp. 409-430.details
|
|
Consequence Mining: Constans Versus Consequence Relations.Denis Bonnay & Dag Westerståhl - 2012 - Journal of Philosophical Logic 41 (4):671-709.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
|
|
Metamathematics of Fuzzy Logic.Petr Hájek - 1998 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.details
|
|
Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.details
|
|
The determination of all Sheffer functions in $3$-valued logic, using a logical computer. [REVIEW]Eric Foxley - 1962 - Notre Dame Journal of Formal Logic 3 (1):41-50.details
|
|
Multiple Conclusion Logic.D. J. Shoesmith & Timothy John Smiley - 1978 - Cambridge, England / New York London Melbourne: Cambridge University Press. Edited by T. J. Smiley.details
|
|
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
(1 other version)Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.details
|
|
(1 other version)Investigations into Logical Deduction.Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144-145.details
|
|
The Fregean Axiom and Polish mathematical logic in the 1920s.Roman Suszko - 1977 - Studia Logica 36 (4):377-380.details
|
|
Why Conclusions Should Remain Single.Florian Steinberger - 2011 - Journal of Philosophical Logic 40 (3):333-355.details
|
|
On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - Studia Logica 104 (3):503-545.details
|
|
The Logics of Strict-Tolerant Logic.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2015 - Journal of Philosophical Logic 44 (5):551-571.details
|
|
On indeterminate conditionals.Richard C. Jeffrey - 1963 - Philosophical Studies 14 (3):37 - 43.details
|
|
Suszko’s problem: Mixed consequence and compositionality.Emmanuel Chemla & Paul Égré - 2019 - Review of Symbolic Logic 12 (4):736-767.details
|
|
An Inferentially Many-Valued Two-Dimensional Notion of Entailment.Carolina Blasio - 2017 - Bulletin of the Section of Logic 46 (3/4).details
|
|
Book Reviews. [REVIEW]P. Hájek - 2002 - Studia Logica 72 (3):433-443.details
|
|
Generalizing Functional Completeness in Belnap-Dunn Logic.Hitoshi Omori & Katsuhiko Sano - 2015 - Studia Logica 103 (5):883-917.details
|
|
Formalization of a plausible inference.Szymon Frankowski - 2004 - Bulletin of the Section of Logic 33 (1):41--52.details
|
|
(1 other version)The Deduction Theorem for Łukasiewicz Many-Valued Propositional Calculi.Witold A. Pogorzelski - 1975 - Journal of Symbolic Logic 40 (4):605-606.details
|
|
(1 other version)Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.details
|
|
Q-consequence operation.Grzegorz Malinowski - 1990 - Reports on Mathematical Logic 24 (1):49--59.details
|
|
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.details
|
|