- Inferentialism.Florian Steinberger & Julien Murzi - 2017 - In Blackwell Companion to Philosophy of Language. Wiley Blackwell. pp. 197-224.details
|
|
Strong Normalization via Natural Ordinal.Daniel Durante Pereira Alves - 1999 - Dissertation, details
|
|
Meaning, Classical Logic and Semantic Realism.Massimiliano Vignolo - 2010 - Prolegomena 9 (1):25-44.details
|
|
Locke and Leibniz on the Balance of Reasons.Markku Roinila - 2013 - In Dana Riesenfeld & Giovanni Scarafile (eds.), Perspectives on Theory of Controversies and the Ethics of Communication. Springer. pp. 49-57.details
|
|
Inferentialism without Verificationism: Reply to Prawitz.Julien Murzi - 2011 - In Emiliano Ippoliti & Carlo Cellucci (eds.), Logic and Knowledge. Cambridge Scholars Press. pp. 285-90.details
|
|
More Reflections on Consequence.Julien Murzi & Massimiliano Carrara - 2014 - Logique Et Analyse 57 (227):223-258.details
|
|
What is inferentialism?Jaroslav Peregrin - unknowndetails
|
|
Against Harmony.Ian Rumfitt - forthcoming - In Bob Hale, Crispin Wright & Alexander Miller (eds.), The Blackwell Companion to the Philosophy of Language. Blackwell.details
|
|
Logika a logiky.Jaroslav Peregrin - manuscriptdetails
|
|
Reference and inference: The case of anaphora.Jaroslav Peregrin - 2000 - In Klaus von Heusinger & Urs Egli (eds.), Reference and Anaphoric Relations. Kluwer Academic Publishers. pp. 269--286.details
|
|
Logic as "making it explicit".Jaroslav Peregrin - manuscriptdetails
|
|
Tennant’s Conjecture for Self-Referential Paradoxes and its Classical Counterexample.Seungrak Choi - 2021 - Korean Journal of Logic 1 (24):1-30.details
|
|
Double-line Harmony in a Sequent Setting.Gratzl Norbert & Orlandelli Eugenio - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016.details
|
|
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. London: College Publications. pp. 197-210.details
|
|
Dialogical Harmony: tonk, constructive type theory and rules for anonymous players.Juan Redmond & Shahid Rahman - unknowndetails
|
|
Pozoruhodné logické systémy.Jaroslav Peregrin - 2000 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 8:90-96.details
|
|
Bilateralism: Negations, Implications and some Observations and Problems about Hypotheses.Nils Kürbis - 2017 - In Thomas Piecha & Jean Fichot (eds.), Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017. Tübingen, Germany:details
|
|
Inference Rules and the Meaning of the Logical Constants.Hermógenes Oliveira - 2019 - Dissertation, Eberhard Karls Universität Tübingendetails
|
|
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.details
|
|
Label-free Modular Systems for Classical and Intuitionistic Modal Logics.Sonia Marin & Lutz Straßburger - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 387-406.details
|
|
Liar-type paradoxes and intuitionistic natural deduction systems.Seungrak Choi - 2018 - Korean Journal of Logic 21 (1):59-96.details
|
|
On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..details
|
|