Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL R
Journal of Applied Logic 13 (4):654-675 (2015)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Remark on a finite axiomatization of finite intermediate propositional logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
An algorithm for axiomatizing and theorem proving in finite many-valued propositional logics* Walter A. Carnielli.Proving in Finite Many-Valued Propositional - forthcoming - Logique Et Analyse.
An algorithm for axiomatizing and theorem proving in finite many - valued propositional logics.W. A. Carnielli - 1985 - Logique Et Analyse 28 (12):363.
Re-thinking the causes, processes, and consequences of simulation.Betty Chang & Nicolas Vermeulen - 2010 - Behavioral and Brain Sciences 33 (6):441-442.
Artificial science – a simulation test-bed for studying the social processes of science.Bruce Edmonds - unknown
Does simulation theory really involve simulation?Justin C. Fisher - 2006 - Philosophical Psychology 19 (4):417 – 432.
Mirroring versus simulation: on the representational function of simulation.Mitchell Herschbach - 2012 - Synthese 189 (3):483-513.
An algorithm for axiomatizing every finite logic.Stanisław Surma - 1976 - In Computer Science and Multiple-Valued Logic. North-Holland. pp. 137-143.
What is so special about embodied simulation?Vittorio Gallese & Corrado Sinigaglia - 2011 - Trends in Cognitive Sciences 15 (11):512-519.
Artistic understanding as embodied simulation.Raymond W. Gibbs - 2013 - Behavioral and Brain Sciences 36 (2):143 - 144.
Analytics
Added to PP
2016-06-30
Downloads
4 (#1,239,861)
6 months
1 (#451,398)
2016-06-30
Downloads
4 (#1,239,861)
6 months
1 (#451,398)
Historical graph of downloads