- Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Possibility theory, probability theory, and muliple-valued logics: A clarification.Henri Prade & D. Dubois - 2001 - Annals of Mathematics and Artificial Intelligence 32:35--66.details
|
|
Fuzzy logic and approximate reasoning.L. A. Zadeh - 1975 - Synthese 30 (3-4):407-428.details
|
|
(2 other versions)Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.details
|
|
(2 other versions)Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.details
|
|
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.details
|
|
Modal Logic. An Introduction.Zia Movahed - 2002 - Tehran: Hermes Publishers.details
|
|
On Ignorance and Contradiction Considered as Truth-Values.Didier Dubois - 2008 - Logic Journal of the IGPL 16 (2):195-216.details
|
|
Notes on N-lattices and constructive logic with strong negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.details
|
|
Relations between paraconsistent logic and many-valued logic.Newton Ca da Costa & Elias H. Alves - 1981 - Bulletin of the Section of Logic 10 (4):185-191.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
|
|
Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219-241.details
|
|
(1 other version)Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.details
|
|
Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.details
|
|
Metamathematics of Fuzzy Logic.Petr Hájek - 1998 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
Modal interpretations of three-valued logics. I.Michael J. Duffy - 1979 - Notre Dame Journal of Formal Logic 20 (3):647-657.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
|
|
Triangular Norms.Erich Peter Klement, Radko Mesiar & Endre Pap - 2000 - Dordrecht, Netherland: Springer.details
|
|
Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.details
|
|
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.details
|
|
A Treatise on Many-Valued Logic.Siegfried Gottwald - 2001 - Research Studies Press.details
|
|
(1 other version)Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.details
|
|
Book Reviews. [REVIEW]P. Hájek - 2002 - Studia Logica 72 (3):433-443.details
|
|
The axiomatization of the intermediate propositional systems S2 of Godel.Tsutomo Hosoi - 1966 - Journal of the Faculty of Sciences, University of Tokyo Section 1 13:183--187.details
|
|
A Note On Lukasiewicz’s Three-valued Logic.Pierluigi Minari - 2002 - Annali Del Dipartimento di Filosofia 8:163-189.details
|
|
(1 other version)Constructible Falsity.David Nelson - 1950 - Journal of Symbolic Logic 15 (3):228-228.details
|
|
Knowledge-driven versus data-driven logics.Didier Dubois, Petr Hájek & Henri Prade - 2000 - Journal of Logic, Language and Information 9 (1):65--89.details
|
|
Many-valued logic.Alasdair Urquhart - 1986 - In D. Gabbay & F. Guenther (eds.), Handbook of Philosophical Logic, Vol. Iii. D. Reidel Publishing Co..details
|
|
On łukasiewicz's four-valued modal logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.details
|
|
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.details
|
|
Three-valued logics for incomplete information and epistemic logic.Davide Ciucci & Didier Dubois - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 147--159.details
|
|
Propositional calculus for contradictory deductive systems.Stanisław Jaśkowski - 1969 - Studia Logica 24 (1):143 - 160.details
|
|
A new four-valued approach to modal logic.Jean-Yves Béziau - 2011 - Logique Et Analyse 54 (213):109.details
|
|
(1 other version)Some Theorems About the Sentential Calculi of Lewis and Heyting.J. C. C. Mckinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (3):171-172.details
|
|
Motivation and demotivation of a four-valued logic.John Fox - 1989 - Notre Dame Journal of Formal Logic 31 (1):76-80.details
|
|