- Uniform interpolation in substructural logics.Majid Alizadeh, Farzaneh Derakhshan & Hiroakira Ono - 2014 - Review of Symbolic Logic 7 (3):455-483.details
|
|
1998 European Summer Meeting of the Association for Symbolic Logic.S. Buss - 1999 - Bulletin of Symbolic Logic 5 (1):59-153.details
|
|
Kripke semantics and proof systems for combining intuitionistic logic and classical logic.Chuck Liang & Dale Miller - 2013 - Annals of Pure and Applied Logic 164 (2):86-111.details
|
|
Scrutinizing Anti-exceptionalism. Mansooreh - manuscriptdetails
|
|
On an interpretation of second order quantification in first order intuitionistic propositional logic.Andrew M. Pitts - 1992 - Journal of Symbolic Logic 57 (1):33-52.details
|
|
Topics in the Proof Theory of Non-classical Logics. Philosophy and Applications.Fabio De Martin Polo - 2023 - Dissertation, Ruhr-Universität Bochumdetails
|
|
Loop-Check Specification for a Sequent Calculus of Temporal Logic.Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė & Haroldas Giedra - 2022 - Studia Logica 110 (6):1507-1536.details
|
|
The G4i Analogue of a G3i Sequent Calculus.Rosalie Iemhoff - 2022 - Studia Logica 110 (6):1493-1506.details
|
|
Logic, Language, Information and Computation: 15th International Workshop, Wollic 2008 Edinburgh, Uk, July 1-4, 2008, Proceedings.Wilfrid Hodges & Ruy de Queiroz (eds.) - 2008 - Berlin and New York: Springer.details
|
|
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem.Yoshiki Nakamura & Naosuke Matsuda - 2021 - Studia Logica 109 (6):1413-1422.details
|
|
An ecumenical notion of entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - 2019 - Synthese 198 (S22):5391-5413.details
|
|
On Dummett’s Pragmatist Justification Procedure.Hermógenes Oliveira - 2019 - Erkenntnis 86 (2):429-455.details
|
|
Inference Rules and the Meaning of the Logical Constants.Hermógenes Oliveira - 2019 - Dissertation, Eberhard Karls Universität Tübingendetails
|
|
Analyticity, Balance and Non-admissibility of Cut in Stoic Logic.Susanne Bobzien & Roy Dyckhoff - 2018 - Studia Logica 107 (2):375-397.details
|
|
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALC C.S. P. Odintsov & H. Wansing - 2008 - Journal of Applied Logic 6 (3):343-360.details
|
|
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.details
|
|
Efficient exhaustive generation of functional programs using monte-carlo search with iterative deepening.Susumu Katayama - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 199--210.details
|
|
Constructing counter-models for modal logic K4 from refutation trees.Motohiko Mouri - 2002 - Bulletin of the Section of Logic 31 (2):81-90.details
|
|
Sufficient conditions for cut elimination with complexity analysis.João Rasga - 2007 - Annals of Pure and Applied Logic 149 (1-3):81-99.details
|
|
Intuitionistic Socratic procedures.Tomasz F. Skura - 2005 - Journal of Applied Non-Classical Logics 15 (4):453-464.details
|
|
Decision methods for linearly ordered Heyting algebras.Sara Negri & Roy Dyckhoff - 2006 - Archive for Mathematical Logic 45 (4):411-422.details
|
|
Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.details
|
|
Cut-elimination and a permutation-free sequent calculus for intuitionistic logic.Roy Dyckhoff & Luis Pinto - 1998 - Studia Logica 60 (1):107-118.details
|
|
Uniform interpolation and the existence of sequent calculi.Rosalie Iemhoff - 2019 - Annals of Pure and Applied Logic 170 (11):102711.details
|
|
Linearizing intuitionistic implication.Patrick Lincoln, Andre Scedrov & Natarajan Shankar - 1993 - Annals of Pure and Applied Logic 60 (2):151-177.details
|
|
On different intuitionistic calculi and embeddings from int to S.Uwe Egly - 2001 - Studia Logica 69 (2):249-277.details
|
|
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2009 - Journal of Applied Non-Classical Logics 19 (2):149-166.details
|
|
Lyndon’s interpolation property for the logic of strict implication.Narbe Aboolian & Majid Alizadeh - 2022 - Logic Journal of the IGPL 30 (1):34-70.details
|
|
An intuitionistic formula hierarchy based on high‐school identities.Taus Brock-Nannestad & Danko Ilik - 2019 - Mathematical Logic Quarterly 65 (1):57-79.details
|
|