Studia Metodologiczne 37 (1):73-96 (2016)
Authors |
|
Abstract |
A modal logic for representing analogical proportions is presented. This logic is a modal interpretation of H. Prade and G. Richard's homogeneous analogy. A tableaux system is given with some examples an intuitions.
|
Keywords | Analogical proportions Modal Logic Tableaux Systems |
Categories | (categorize this paper) |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
From Analogical Proportion to Logical Proportions.Henri Prade & Gilles Richard - 2013 - Logica Universalis 7 (4):441-505.
Tableaux Variants of Some Modal and Relevant Systems.P. I. Bystrov - 1988 - Bulletin of the Section of Logic 17 (3/4):92-98.
Modal Scepticism, Yablo-Style Conceivability, and Analogical Reasoning.Peter Hartl - 2016 - Synthese 193 (1):269-291.
Implementing a Relational Theorem Prover for Modal Logic K.Angel Mora, Emilio Munoz Velasco & Joanna Golińska-Pilarek - 2011 - International Journal of Computer Mathematics 88 (9):1869-1884.
Propositional Abduction in Modal Logic.Marta Cialdea Mayer & Fiora Pirri - 1995 - Logic Journal of the IGPL 3 (6):907-919.
A New Deduction System for Deciding Validity in Modal Logic K.Joanna Golinska-Pilarek, Emilio Munoz Velasco & Angel Mora - 2011 - Logic Journal of the IGPL 19 (2): 425-434.
Paranormal Modal Logic – Part II: K?, K and Classical Logic and Other Paranormal Modal Systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Modal Tableaux for Reasoning About Diagrams.Luis del Cerro & Olivier Gasquet - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91:169-184.
Modal Tableaux for Reasoning About Diagrams.Luis Fariñas del Cerro & Olivier Gasquet - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):169-184.
Jan Łukasiewicz. A System of Modal Logic. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume Complémentaire Et Communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, Pp. 82–87. - Jan Łukasiewicz. A System of Modal Logic. The Journal of Computing Systems, Vol. 1 No. 3 , Pp. 111–149. - Ivo Thomas. Note on a Modal System of Łukasiewicz. Dominican Studies, Vol. 6 , Pp. 167–170. - A. N. Prior. The Interpretation of Two Systems of Modal Logic. The Journal of Computing Systems, Vol. 1 No. 4 , Pp. 201–208. - Alan Ross Anderson. On the Interpretation of a Modal System of Łukasiewicz. The Journal of Computing Systems, Vol. 1 No. 4 , Pp. 209–210. - Jan Łukasiewicz. Arithmetic and Modal Logic. The Journal of Computing Systems, Vol. 1 No. 4 , Pp. 213–219. - Jan Łukasiewicz. On a Controversial Problem of Aristotle's Modal Syllogistic. Dominican Studies, Vol. 7 , Pp. 114–128. [REVIEW]Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.
Aristotle's Modal Logic: Essence and Entailment in the Organon. [REVIEW]Leo J. Elders - 1997 - Review of Metaphysics 50 (4):915-915.
Paranormal Modal Logic–Part I: The System K? And the Foundations of the Logic of Skeptical and Credulous Plausibility.Ricardo S. Silvestre - 2012 - Logic and Logical Philosophy 21 (1):65-96.
Analytics
Added to PP index
2020-01-21
Total views
34 ( #334,865 of 2,505,143 )
Recent downloads (6 months)
14 ( #56,997 of 2,505,143 )
2020-01-21
Total views
34 ( #334,865 of 2,505,143 )
Recent downloads (6 months)
14 ( #56,997 of 2,505,143 )
How can I increase my downloads?
Downloads