- How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.details
|
|
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.details
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
Connectives stranger than tonk.Heinrich Wansing - 2006 - Journal of Philosophical Logic 35 (6):653 - 660.details
|
|
Possible Worlds Semantics: A Research Program That Cannot Fail?Johan van Benthem - 1984 - Studia Logica 43 (4):379-393.details
|
|
A mathematical characterization of interpretation between theories.J. Van Benthem - 1984 - Studia Logica 43:295.details
|
|
An Interpretation of Many‐Valued Logic.Alasdair Urquhart - 1973 - Mathematical Logic Quarterly 19 (7):111-114.details
|
|
An Interpretation of Many-Valued Logic.Alasdair Urquhart - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (7):111-114.details
|
|
Many-valued logics and Suszko's thesis revisited.Marcelo Tsuji - 1998 - Studia Logica 60 (2):299-309.details
|
|
The Fregean Axiom and Polish mathematical logic in the 1920s.Roman Suszko - 1977 - Studia Logica 36 (4):377-380.details
|
|
Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.details
|
|
Hyper-contradictions, generalized truth values and logics of truth and falsehood.Yaroslav Shramko & Heinrich Wansing - 2006 - Journal of Logic, Language and Information 15 (4):403-424.details
|
|
Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle.Karl Schröter - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):241-251.details
|
|
Methoden zur Axiomatisierung beliebiger Aussagen‐ und Prädikatenkalküle.Karl Schröter - 1955 - Mathematical Logic Quarterly 1 (4):241-251.details
|
|
Universal semantics?Richard Routley - 1975 - Journal of Philosophical Logic 4 (3):327 - 356.details
|
|
Many-valued logic.Nicholas Rescher - 1969 - New York,: McGraw-Hill.details
|
|
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.details
|
|
Inferential paraconsistency.Grzegorz Malinowski - 2000 - Logic and Logical Philosophy 8:83.details
|
|
Inferential intensionality.Grzegorz Malinowski - 2004 - Studia Logica 76 (1):3 - 16.details
|
|
Mehrwertige Logik: Eine Einführung in Theorie Und Anwendungen.Siegfried Gottwald - 1989 - De Gruyter.details
|
|
The preservation of coherence.R. E. Jennings & P. K. Schotch - 1984 - Studia Logica 43:89.details
|
|
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.details
|
|
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.details
|
|
What’s Wrong with Tonk.Roy T. Cook - 2005 - Journal of Philosophical Logic 34 (2):217 - 226.details
|
|
Logic and aggregation.Bryson Brown & Peter Schotch - 1999 - Journal of Philosophical Logic 28 (3):265-288.details
|
|
Ryszard Wójcicki. Theory of logical calculi. Basis theory of consequence operations. Synthese library, vol. 199. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1988, xviii + 473 pp. [REVIEW]Stephen L. Bloom - 1990 - Journal of Symbolic Logic 55 (3):1324-1326.details
|
|
Possible worlds semantics: A research program that cannot fail?Johan Benthem - 1984 - Studia Logica 43 (4):379 - 393.details
|
|
Many-valued logics.Grzegorz Malinowski - 1993 - New York: Oxford University Press. Edited by L. Goble.details
|
|
A Treatise on Many-Valued Logic.Siegfried Gottwald - 2001 - Research Studies Press.details
|
|
Protoalgebraic Logics.Janusz Czelakowski - 2001 - Kluwer Academic Publishers.details
|
|
Some remarks on the consequence operation in sentential logics.Ryszard Wójcicki - 1970 - Fundamenta Mathematicae 68 (1):269--279.details
|
|
The trilaticce of constructive truth values.Yaroslav Shramko, J. Michael Dunn & Tatsutoshi Takenaka - 2001 - Journal of Logic and Computation 11 (1):761--788.details
|
|
Q-consequence operation.Grzegorz Malinowski - 1990 - Reports on Mathematical Logic 24 (1):49--59.details
|
|
Formalization of a plausible inference.Szymon Frankowski - 2004 - Bulletin of the Section of Logic 33 (1):41--52.details
|
|
Malinowski and Suszko on many-valued logics: on the reduction of many-valuedness to two-valuedness.Newton da Costa, Jean-Yves Béziau & Otávio Bueno - 1996 - Modern Logic 6 (1):272--299.details
|
|
Many-Valued Logic.Nicholas Rescher - 1970 - British Journal for the Philosophy of Science 21 (4):405-406.details
|
|
Protoalgebraic Logics.Janusz Czelakowski - 2003 - Studia Logica 74 (1):313-342.details
|
|
Inferential many-valuedness.G. Malinowski - 1994 - In Jan Wolenski (ed.), Philosophical Logic in Poland. Kluwer Academic Publishers. pp. 75--84.details
|
|
P-consequence versus q-consequence operations.Szymon Frankowski - 2004 - Bulletin of the Section of Logic 33 (4):197-207.details
|
|