Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL R

, , &
Journal of Applied Logic 13 (4):654-675 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2015.06.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Dang zhe xue yu shang jin dai wu li xue.Lide Zhang - 2010 - Taibei Xian Zhonghe Shi: Shui xing wen hua shi ye chu ban she.
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.
Simulation, theory, and emotion.M. Lebar - 2001 - Philosophical Psychology 14 (4):423 – 434.
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.
Simulation trouble.Shaun Gallagher - 2007 - Social Neuroscience 2 (3-4):353–365.
What is so special about embodied simulation?Vittorio Gallese & Corrado Sinigaglia - 2011 - Trends in Cognitive Sciences 15 (11):512-519.
Is Evolution Algorithmic?Marcin Miłkowski - 2009 - Minds and Machines 19 (4):465-475.
On the predicate logics of finite Kripke frames.D. Skvortsov - 1995 - Studia Logica 54 (1):79-88.
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
12 (#1,025,624)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Z. Yong
Seoul National University
Yan Zhang
Hong Kong Baptist University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references