- Dialogues as a dynamic framework for logic.Helge Rückert - unknowndetails
|
|
On Inferences from Inconsistent Premises.Nicholas Rescher & Ruth Manor - 1970 - Theory and Decision 1 (2):179-217, 1970-1971.details
|
|
(1 other version)Formal systems of dialogue rules.Erik C. W. Krabbe - 1985 - Synthese 63 (3):295 - 328.details
|
|
(1 other version)Dialogspiele als Semantische Grundlage von Logikkalkülen.Kuno Lorenz - 1968 - Archive for Mathematical Logic 11 (1-2):32-55.details
|
|
First-Order Dialogical Games and Tableaux.Nicolas Clerbout - 2014 - Journal of Philosophical Logic 43 (4):785-801.details
|
|
Dialogue Foundations.Wilfrid Hodges & Erik C. W. Krabbe - 2001 - Aristotelian Society Supplementary Volume 75:17-49.details
|
|
Negation as cancellation, and connexive logic.Graham Priest - 1999 - Topoi 18 (2):141-148.details
|
|
(2 other versions)Basic objectives of dialogue logic in historical perspective.Kuno Lorenz - 2001 - Synthese 127 (1-2):255 - 263.details
|
|
Connexive implication.Storrs Mccall - 1966 - Journal of Symbolic Logic 31 (3):415-433.details
|
|
A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. London, England: College Publications. pp. 348-367.details
|
|
Dialogues, strategies, and intuitionistic provability.Walter Felscher - 1985 - Annals of Pure and Applied Logic 28 (3):217-254.details
|
|
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
What is a Non-truth-functional Logic?João Marcos - 2009 - Studia Logica 92 (2):215-240.details
|
|
A Curious Dialogical Logic and its Composition Problem.Sara L. Uckelman, Jesse Alama & Aleks Knoks - 2014 - Journal of Philosophical Logic 43 (6):1065-1100.details
|
|
Dialogical logic.Laurent Keiff - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Linear logic.Roberto Di Cosmo & Dale Miller - unknown - Stanford Encyclopedia of Philosophy.details
|
|
Cut and pay.Marcelo Finger & Dov Gabbay - 2006 - Journal of Logic, Language and Information 15 (3):195-218.details
|
|
Einführung in die operative Logik und Mathematik.Paul Lorenzen - 1955 - Berlin,: Springer.details
|
|
(2 other versions)Basic Objectives of Dialogue Logic in Historical Perspective.Kuno Lorenz - 2001 - Synthese 127 (1-2):255-263.details
|
|
A game semantics for linear logic.Andreas Blass - 1992 - Annals of Pure and Applied Logic 56 (1-3):183-220.details
|
|
Logic and games.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
(1 other version)Dialogspiele als Semantische Grundlage von Logikkalkülen.Kuno Lorenz - 1968 - Archive for Mathematical Logic 11 (3-4):73-100.details
|
|
First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.details
|
|
(1 other version)Formal systems of dialogue rules.Erick C. W. Krabbe - 1984 - Synthese 58 (2):295 - 328.details
|
|
Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.details
|
|