- Assertion, denial and non-classical theories.Greg Restall - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 81--99.details
|
|
Implicational paradoxes and the meaning of logical constants.Francesco Paoli - 2007 - Australasian Journal of Philosophy 85 (4):553 – 579.details
|
|
Meaning is Use: the Case of Propositional Identity.Patrycja Kupś & Szymon Chlebowski - forthcoming - Bulletin of the Section of Logic:24 pp..details
|
|
The Logicality of Equality.Andrzej Indrzejczak - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 211-238.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.Nils Kürbis - 2021 - Synthese 199 (5-6):14223-14248.details
|
|
Meta-inferences and Supervaluationism.Luca Incurvati & Julian J. Schlöder - 2021 - Journal of Philosophical Logic 51 (6):1549-1582.details
|
|
Towards a Neo-Brentanian Theory of Existence.Mark Textor - 2017 - Philosophers' Imprint 17:1-20.details
|
|
Read on identity and harmony - a friendly correction and simplification.M. Kremer - 2007 - Analysis 67 (2):157-159.details
|
|
Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.details
|
|
Introducing Identity.Owen Griffiths & Arif Ahmed - 2021 - Journal of Philosophical Logic 50 (6):1449-1469.details
|
|
(1 other version)Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.details
|
|
Identity and Harmony and Modality.Julian J. Schlöder - 2023 - Journal of Philosophical Logic 52 (5):1269-1294.details
|
|
The Calculus of Natural Calculation.René Gazzari - 2021 - Studia Logica 109 (6):1375-1411.details
|
|
Harmonious rules for identity.Owen Griffiths - 2014 - Review of Symbolic Logic 7 (3):499-510.details
|
|
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
A novel approach to equality.Andrzej Indrzejczak - 2021 - Synthese 199 (1-2):4749-4774.details
|
|
Unity, truth and the liar: the modern relevance of medieval solutions to the liar paradox.Shahid Rahman, Tero Tulenheimo & Emmanuel Genot (eds.) - 2008 - New York: Springer.details
|
|
Peano's Counterexample to Harmony.Leonardo Ceragioli - 2019 - Theoria 85 (6):459-484.details
|
|
Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity.Bartosz Więckowski - 2016 - Journal of Logic, Language and Information 25 (2):215-268.details
|
|
Isomorphism invariance and overgeneration.Owen Griffiths & A. C. Paseau - 2016 - Bulletin of Symbolic Logic 22 (4):482-503.details
|
|
Rules for subatomic derivation.Bartosz Więckowski - 2011 - Review of Symbolic Logic 4 (2):219-236.details
|
|
Read on identity and harmony – a friendly correction and simplification.Michael Kremer - 2007 - Analysis 67 (2):157–159.details
|
|
Harmonic inferentialism and the logic of identity.Stephen Read - 2016 - Review of Symbolic Logic 9 (2):408-420.details
|
|
The Harmony of Identity.Ansten Klev - 2019 - Journal of Philosophical Logic 48 (5):867-884.details
|
|
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 257--276.details
|
|