- Normal derivations and sequent derivations.Mirjana Borisavljevi - 2008 - Journal of Philosophical Logic 37 (6):521 - 548.details
|
|
Logic as "making it explicit".Jaroslav Peregrin - manuscriptdetails
|
|
The logic of logical revision formalizing Dummett's argument.Jon Cogburn - 2005 - Australasian Journal of Philosophy 83 (1):15 – 32.details
|
|
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.details
|
|
Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.details
|
|
Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus.Andrzej Indrzejczak - 2016 - Bulletin of the Section of Logic 45 (2).details
|
|
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
On Argumentation Logic and Propositional Logic.Antonis C. Kakas, Paolo Mancarella & Francesca Toni - 2018 - Studia Logica 106 (2):237-279.details
|
|
Why Intuitionistic Relevant Logic Cannot Be a Core Logic.Joseph Vidal-Rosset - 2017 - Notre Dame Journal of Formal Logic 58 (2):241-248.details
|
|
Intuitionistic N-Graphs.M. Quispe-Cruz, A. G. de Oliveira, R. J. G. B. de Queiroz & V. de Paiva - 2014 - Logic Journal of the IGPL 22 (2):274-285.details
|
|
Pragmatic and dialogic interpretations of bi-intuitionism. Part I.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2014 - Logic and Logical Philosophy.details
|
|
Poincaré et la théorie de la connaissance.Éric Audureau - 2004 - Philosophiques 31 (1):57-88.details
|
|
The Stories of Logic and Information.Johan van Benthem, Maricarmen Martinez, David Israel & John Perry - unknowndetails
|
|
For Want of an ‘And’: A Puzzle about Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.details
|
|
Names: Sense, epistemic content, and denotation.Gabriele Usberti - 2002 - Topoi 21 (1-2):99-112.details
|
|
On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.details
|
|
Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.details
|
|
Propositional quantifiers in labelled natural deduction for normal modal logic.Matteo Pascucci - 2019 - Logic Journal of the IGPL 27 (6):865-894.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: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 387-406.details
|
|
Dialogical Harmony: tonk, constructive type theory and rules for anonymous players.Juan Redmond & Shahid Rahman - unknowndetails
|
|
Label-free natural deduction systems for intuitionistic and classical modal logics.Didier Galmiche & Yakoub Salhi - 2010 - Journal of Applied Non-Classical Logics 20 (4):373-421.details
|
|
On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.details
|
|
Logika a logiky.Jaroslav Peregrin - manuscriptdetails
|
|
Existence and Identity in Free Logic: A Problem for Inferentialism?Neil Tennant - 2007 - Mind 116 (464):1055-1078.details
|
|
Constantes lógicas y la armonía de las reglas de inferencia.Mariela Rubin - 2017 - Revista de Humanidades de Valparaíso 9:103-119.details
|
|
Sheffer’s stroke: A study in proof-theoretic harmony.Stephen Read - 1999 - Danish Yearbook of Philosophy 34 (1):7-23.details
|
|
Tonking a theory of content: an inferentialist rejoinder.Jon Cogburn - 2004 - Logic and Logical Philosophy 13:31-55.details
|
|
Intuitionism and the liar paradox.Nik Weaver - 2012 - Annals of Pure and Applied Logic 163 (10):1437-1445.details
|
|
Logical Grammar.Glyn Morrill - 2012 - In Ruth M. Kempson, Tim Fernando & Nicholas Asher (eds.), Philosophy of linguistics. Boston: North Holland. pp. 63.details
|
|
Knowledge of proofs.Peter Pagin - 1994 - Topoi 13 (2):93-100.details
|
|
Le projet husserlien de réforme de al logique et ses prolongements chez Gian-Carlo Rota.Carlos Lobo - 2017 - Revue de Synthèse 138 (1-4):105-150.details
|
|
Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.details
|
|
Comments on Predicative Logic.Fernando Ferreira - 2006 - Journal of Philosophical Logic 35 (1):1-8.details
|
|
Wilfried Sieg. Hilbert's Programs and Beyond. Oxford: Oxford University Press, 2013. ISBN 978-0-19-537222-9 ; 978-0-19-970715-7 . Pp. xii + 439†. [REVIEW]Oran Magal - 2014 - Philosophia Mathematica 22 (3):417-423.details
|
|
A meta-logic of inference rules: Syntax.Alex Citkin - 2015 - Logic and Logical Philosophy 24 (3).details
|
|
Functional vs. Relational Approaches to Belief Revision.Erik J. Olsson - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision meets Philosophy of Science. Springer. pp. 253--268.details
|
|
Fondements ou constructivité ?Mathieu Marion - 2004 - Philosophiques 31 (1):225-230.details
|
|
A Century of Inference: 1837-1936.B. G. Sundholm - unknowndetails
|
|