- Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.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
|
|
Should Anti-Realists be Anti-Realists About Anti-Realism?Roy T. Cook - 2014 - Erkenntnis 79 (S2):233-258.details
|
|
Monism, Pluralism and Relativism: New Essays on the Status of Logic.Daniel Cohnitz, Peter Pagin & Marcus Rossberg - 2014 - Erkenntnis 79 (S2):201-210.details
|
|
Topics in Philosophical Logic.Jon Erling Litland - 2012 - Dissertation, Harvarddetails
|
|
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.details
|
|
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.details
|
|
Proof and truth: an anti-realist perspective.Luca Tranchini - 2013 - Pisa: Edizioni ETS. Edited by Luca Tranchini.details
|
|
On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.details
|
|
Rejection and valuations.Luca Incurvati & Peter Smith - 2010 - Analysis 70 (1):3 - 10.details
|
|
Bilateral Rules as Complex Rules.Leonardo Ceragioli - 2023 - Bulletin of the Section of Logic 52 (3):329-375.details
|
|
Perspectival Logical Pluralism.Roy T. Cook - 2023 - Res Philosophica 100 (2):171-202.details
|
|
Quine's challenge and Logical Pluralism.Antonio Negro - 2010 - Dissertation, details
|
|
New problems for Tennant's definition of harmony.Leonardo Ceragioli - 2022 - Theoria 88 (4):829-849.details
|
|
Inferentialism: Why Rules Matter.Jaroslav Peregrin - 2014 - London and New York: Palgrave-Macmillan.details
|
|
(1 other version)The original sin of proof-theoretic semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.details
|
|
Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.details
|
|
Epistemic Multilateral Logic.Luca Incurvati & Julian J. Schlöder - 2022 - Review of Symbolic Logic 15 (2):505-536.details
|
|
Peano's Counterexample to Harmony.Leonardo Ceragioli - 2019 - Theoria 85 (6):459-484.details
|
|
On the notion of validity for the bilateral classical logic.Ukyo Suzuki & Yoriyuki Yamagata - manuscriptdetails
|
|
Proof-theoretic pluralism.Filippo Ferrari & Eugenio Orlandelli - 2019 - Synthese 198 (Suppl 20):4879-4903.details
|
|
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.details
|
|
Is there a neutral metalanguage?Rea Golan - 2019 - Synthese 198 (Suppl 20):4831-4858.details
|
|
(1 other version)The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.details
|
|
Harmonic inferentialism and the logic of identity.Stephen Read - 2016 - Review of Symbolic Logic 9 (2):408-420.details
|
|
Logical Consequence for Nominalists.Marcus Rossberg & Daniel Cohnitz - 2009 - Theoria 24 (2):147-168.details
|
|
Double-line Harmony in a Sequent Setting.Gratzl Norbert & Orlandelli Eugenio - 2017 - In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications.details
|
|
Bilateralism does not provide a proof theoretic treatment of classical logic.Michael Gabbay - 2017 - Journal of Applied Logic 25:S108-S122.details
|
|
On a Generality Condition in Proof‐Theoretic Semantics.Bogdan Dicher - 2017 - Theoria 83 (4):394-418.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
|
|
Harmony and modality.Read Stephen - 2008 - In Dégremont C., Kieff L. & Rückert H. (eds.), Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman. College Publications. pp. 285-303.details
|
|
General-Elimination Stability.Bruno Jacinto & Stephen Read - 2017 - Studia Logica 105 (2):361-405.details
|
|
Harmonising natural deduction.Barry Hartley Slater - 2008 - Synthese 163 (2):187-198.details
|
|
Inferentialism and Quantification.Owen Griffiths - 2017 - Notre Dame Journal of Formal Logic 58 (1):107-113.details
|
|
Dialogical Harmony: tonk, constructive type theory and rules for anonymous players.Juan Redmond & Shahid Rahman - unknowndetails
|
|
What is the Logic of Inference?Jaroslav Peregrin - 2008 - Studia Logica 88 (2):263-294.details
|
|
Why Conclusions Should Remain Single.Florian Steinberger - 2011 - Journal of Philosophical Logic 40 (3):333-355.details
|
|
(1 other version)Against Harmony.Ian Rumfitt - 1995 - In B. Hale & Crispin Wright (eds.), Blackwell Companion to the Philosophy of Language. Blackwell.details
|
|
DEFLATIONARY TRUTH: CONSERVATIVITY OR LOGICALITY?Henri Galinon - 2015 - Philosophical Quarterly 65 (259):268-274.details
|
|
(1 other version)What is wrong with classical negation?Nils Kürbis - 2015 - Grazer Philosophische Studien 92 (1):51-86.details
|
|
Inferentialism without Verificationism: Reply to Prawitz.Julien Murzi - 2011 - In Emiliano Ippoliti, Carlo Cellucci & Emily Grosholz (eds.), Logic and Knowledge. Newcastle upon Tyne: Cambridge Scholar Publishing. pp. 285-90.details
|
|
More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.details
|
|
∈ : Formal concepts in a material world truthmaking and exemplification as types of determination.Philipp Keller - 2007 - Dissertation, University of Genevadetails
|
|
Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.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
|
|
Noisy vs. Merely Equivocal Logics.Patrick Allo - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 57--79.details
|
|
Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.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
|
|
Implicational paradoxes and the meaning of logical constants.Francesco Paoli - 2007 - Australasian Journal of Philosophy 85 (4):553 – 579.details
|
|