- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Procedural isomorphism, analytic information and -conversion by value
Logic Journal of the IGPL 21 (2):291-308 (2013)
Abstract
This article has no associated abstract. (fix it)Author Profiles
Other Versions
No versions found
My notes
Similar books and articles
About a Mature Theory of Fregean Sense. [REVIEW]Adam Olszewski - 2017 - Logic and Logical Philosophy 26 (3):417-428.
An Isomorphism Related to Gödel's Fundamental Operations.Raymond Smullyan - 2004 - Logic Journal of the IGPL 12 (6):439-445.
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.Ivo Pezlar - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. College Publications. pp. 197-210.
Analytic and synthetic in logic.V. Michele Abrusci - 2016 - Logic Journal of the IGPL 24 (4):481-493.
Logically Speaking. A Festschrift for Marie Duží.Pavel Materna & Bjørn Jespersen (eds.) - 2022 - College Publications.
24th Workshop on Logic, Language, Information and Computation.Juliette Kennedy - forthcoming - Logic Journal of the IGPL.
Analytics
Added to PP
2016-06-30
Downloads
27 (#814,469)
6 months
2 (#1,685,363)
2016-06-30
Downloads
27 (#814,469)
6 months
2 (#1,685,363)
Historical graph of downloads
Author Profiles
Citations of this work
If structured propositions are logical procedures then how are procedures individuated?Marie Duží - 2019 - Synthese 196 (4):1249-1283.
Transparent quantification into hyperintensional objectual attitudes.Bjørn Jespersen & Marie Duží - 2015 - Synthese 192 (3):635-677.
Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.Miloš Kosterec - 2020 - Journal of Philosophical Logic 49 (1):121-133.
First among equals: co-hyperintensionality for structured propositions.Bjørn Jespersen - 2020 - Synthese 199 (1-2):4483-4497.
Transparent quantification into hyperpropositional attitudes de dicto.Bjørn Jespersen & Marie Duží - 2022 - Linguistics and Philosophy 45 (5):1119-1164.
References found in this work
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.
A revised formulation of the logic of sense and denotation. Alternative (1).Alonzo Church - 1993 - Noûs 27 (2):141-157.
A logical calculus of meaning and synonymy.Yiannis Nicholas Moschovakis - 2006 - Linguistics and Philosophy 29:27-89.
The Paradox of Inference and the Non-Triviality of Analytic Information.Marie Duží - 2010 - Journal of Philosophical Logic 39 (5):473 - 510.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6b8b7fc7ff-tfxs4 uwo