- Expressive Power and Incompleteness of Propositional Logics.James W. Garson - 2010 - Journal of Philosophical Logic 39 (2):159-171.details
|
|
More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.details
|
|
Speech Acts, Categoricity, and the Meanings of Logical Connectives.Ole Thomassen Hjortland - 2014 - Notre Dame Journal of Formal Logic 55 (4):445-467.details
|
|
Failures of Categoricity and Compositionality for Intuitionistic Disjunction.Jack Woods - 2012 - Thought: A Journal of Philosophy 1 (4):281-291.details
|
|
Categoricity Problem for LP and K3.Selcuk Kaan Tabakci - forthcoming - Studia Logica:1-35.details
|
|
A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic (3):1-34.details
|
|
(1 other version)Inferential Quantification and the ω-rule.Constantin C. Brîncuş - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 345--372.details
|
|
(1 other version)Subatomic Inferences: An Inferentialist Semantics for Atomics, Predicates, and Names.Kai Tanter - 2021 - Review of Symbolic Logic:1-28.details
|
|
(1 other version)Inferentialism.Florian Steinberger & Julien Murzi - 2017 - In Steinberger Florian & Murzi Julien (eds.), Blackwell Companion to Philosophy of Language. pp. 197-224.details
|
|
A New Semantics for Vagueness.Joshua D. K. Brown & James W. Garson - 2017 - Erkenntnis 82 (1):65-85.details
|
|
Nuel Belnap on Indeterminism and Free Action.Thomas Müller (ed.) - 2014 - Wien, Austria: Springer.details
|
|
(1 other version)The original sin of proof-theoretic semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.details
|
|
(1 other version)The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.details
|
|
Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
(1 other version)Subatomic Inferences: An Inferentialist Semantics for Atomics, Predicates, and Names.Kai Tanter - 2023 - Review of Symbolic Logic 16 (3):672-699.details
|
|