Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic /
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Korporativna značnica: | |
| Drugi avtorji: | , |
| Format: | Elektronski eKnjiga |
| Jezik: | angleščina |
| Izdano: |
Dordrecht :
Springer Netherlands,
2010.
|
| Serija: | Logic, Epistemology, and the Unity of Science ;
17 |
| Teme: | |
| Online dostop: | http://dx.doi.org/10.1007/978-90-481-8812-3 |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
Podobne knjige/članki
Games: Unifying Logic, Language, and Philosophy
od: Majer, Ondrej
Izdano: (2009)
od: Majer, Ondrej
Izdano: (2009)
The Realism-Antirealism Debate in the Age of Alternative Logics
od: Rahman, Shahid
Izdano: (2012)
od: Rahman, Shahid
Izdano: (2012)
Handbook of Philosophical Logic Volume 16 /
od: Gabbay, Dov M.
Izdano: (2011)
od: Gabbay, Dov M.
Izdano: (2011)
Logic in Reality
od: Brenner, Joseph E.
Izdano: (2008)
od: Brenner, Joseph E.
Izdano: (2008)
Unity, Truth and the Liar The Modern Relevance of Medieval Solutions to the Liar Paradox /
od: Rahman, Shahid
Izdano: (2008)
od: Rahman, Shahid
Izdano: (2008)
Handbook of Philosophical Logic
od: Gabbay, D.M
Izdano: (2007)
od: Gabbay, D.M
Izdano: (2007)
Handbook of Philosophical Logic
od: Gabbay, D.M
Izdano: (2005)
od: Gabbay, D.M
Izdano: (2005)
Between Logic and Reality Modeling Inference, Action and Understanding /
od: Trobok, Majda
Izdano: (2012)
od: Trobok, Majda
Izdano: (2012)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
od: Benthem, Johan
Izdano: (2006)
od: Benthem, Johan
Izdano: (2006)
Argument Structure: Representation and Theory /
od: Freeman, James B.
Izdano: (2011)
od: Freeman, James B.
Izdano: (2011)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
od: Lupacchini, Rossella
Izdano: (2008)
od: Lupacchini, Rossella
Izdano: (2008)
Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes /
od: Dutilh Novaes, Catarina
Izdano: (2007)
od: Dutilh Novaes, Catarina
Izdano: (2007)
Games, Norms and Reasons Logic at the Crossroads /
od: van Benthem, Johan
Izdano: (2011)
od: van Benthem, Johan
Izdano: (2011)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
od: Dybjer, P.
Izdano: (2012)
od: Dybjer, P.
Izdano: (2012)
Proof, Computation and Agency Logic at the Crossroads /
od: van Benthem, Johan
Izdano: (2011)
od: van Benthem, Johan
Izdano: (2011)
Dissociation In Argumentative Discussions A Pragma-Dialectical Perspective /
od: Rees, M. Agnes
Izdano: (2009)
od: Rees, M. Agnes
Izdano: (2009)
Controversy as News Discourse
od: Cramer, Peter A.
Izdano: (2011)
od: Cramer, Peter A.
Izdano: (2011)
Truth and Falsehood An Inquiry into Generalized Logical Values /
od: Shramko, Yaroslav
Izdano: (2012)
od: Shramko, Yaroslav
Izdano: (2012)
Dynamic Epistemic Logic
od: Ditmarsch, Hans
Izdano: (2007)
od: Ditmarsch, Hans
Izdano: (2007)
Groundwork in the Theory of Argumentation Selected Papers of J. Anthony Blair /
od: Blair, J. Anthony
Izdano: (2012)
od: Blair, J. Anthony
Izdano: (2012)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
od: DeVidi, David
Izdano: (2011)
od: DeVidi, David
Izdano: (2011)
Reasoning about Preference Dynamics
od: Liu, Fenrong
Izdano: (2011)
od: Liu, Fenrong
Izdano: (2011)
Goguen Categories A Categorical Approach to L-fuzzy Relations /
od: Winter, Michael
Izdano: (2007)
od: Winter, Michael
Izdano: (2007)
Advances in Proof-Theoretic Semantics
Izdano: (2016)
Izdano: (2016)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
od: Carnielli, Walter
Izdano: (2008)
od: Carnielli, Walter
Izdano: (2008)
Constructive Negations and Paraconsistency
od: Odintsov, Sergei P.
Izdano: (2008)
od: Odintsov, Sergei P.
Izdano: (2008)
Information and Knowledge A Constructive Type-theoretical Approach /
od: Primiero, Giuseppe
Izdano: (2008)
od: Primiero, Giuseppe
Izdano: (2008)
THE LIMITS OF LOGICAL EMPIRICISM SELECTED PAPERS OF ARTHUR PAP /
od: KEUPINK, ALFONS
Izdano: (2006)
od: KEUPINK, ALFONS
Izdano: (2006)
Signs of logic Peircean themes on the philosophy of language, games, and communication /
od: Pietarinen, Ahti-Veikko
Izdano: (2006)
od: Pietarinen, Ahti-Veikko
Izdano: (2006)
Thought-Contents On the Ontology of Belief and the Semantics of Belief Attribution /
od: Bor, Steven E.
Izdano: (2007)
od: Bor, Steven E.
Izdano: (2007)
Nuel Belnap on Indeterminism and Free Action
Izdano: (2014)
Izdano: (2014)
Information, Interaction and Agency
od: Hoek, Wiebe
Izdano: (2005)
od: Hoek, Wiebe
Izdano: (2005)
The theory of information and coding
od: McEliece, Robert J.
Izdano: (2002)
od: McEliece, Robert J.
Izdano: (2002)
A student's guide to coding and information theory
od: Moser, Stefan M.
Izdano: (2012)
od: Moser, Stefan M.
Izdano: (2012)
The logical foundations of cognition
Izdano: (1994)
Izdano: (1994)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
od: Pagliani, Piero
Izdano: (2008)
od: Pagliani, Piero
Izdano: (2008)
Foundations of coding : compression, encryption, error correction /
od: Dumas, Jean-Guillaume
Izdano: (2015)
od: Dumas, Jean-Guillaume
Izdano: (2015)
Coding theory algorithms, architectures, and applications /
od: Neubauer, Andre
Izdano: (2007)
od: Neubauer, Andre
Izdano: (2007)
Classical mathematical logic the semantic foundations of logic /
od: Epstein, Richard L.
Izdano: (2011)
od: Epstein, Richard L.
Izdano: (2011)
Fundamentals of codes, graphs, and iterative decoding
od: Wicker, Stephen B.
Izdano: (2003)
od: Wicker, Stephen B.
Izdano: (2003)