- Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation.Masanobu Toyooka & Katsuhiko Sano - forthcoming - Studia Logica:1-31.details
|
|
(1 other version)Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2015 - Cham, Switzerland: Springer.details
|
|
Uniform interpolation and coherence.Tomasz Kowalski & George Metcalfe - 2019 - Annals of Pure and Applied Logic 170 (7):825-841.details
|
|
Decidability of Admissibility: On a Problem by Friedman and its Solution by Rybakov.Jeroen P. Goudsmit - 2021 - Bulletin of Symbolic Logic 27 (1):1-38.details
|
|
(1 other version)Substitutions of< i> Σ_< sub> 1< sup> 0-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic. [REVIEW]Albert Visser - 2002 - Annals of Pure and Applied Logic 114 (1):227-271.details
|
|
(1 other version)Substitutions of Σ10-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic.Albert Visser - 2002 - Annals of Pure and Applied Logic 114 (1-3):227-271.details
|
|
Questions and Dependency in Intuitionistic Logic.Ivano Ciardelli, Rosalie Iemhoff & Fan Yang - 2020 - Notre Dame Journal of Formal Logic 61 (1):75-115.details
|
|
Model completions and r-Heyting categories.Silvio Ghilardi & Marek Zawadowski - 1997 - Annals of Pure and Applied Logic 88 (1):27-46.details
|
|
On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond.Luck Darnière & Markus Junker - 2010 - Archive for Mathematical Logic 49 (7-8):743-771.details
|
|
Decidability of admissibility: On a problem by Friedman and its solution by Rybakov.Jeroen P. Goudsmit - 2021 - Bulletin of Symbolic Logic 27 (1):1-38.details
|
|
Rules and Arithmetics.Albert Visser - 1999 - Notre Dame Journal of Formal Logic 40 (1):116-140.details
|
|
Pitts' Quantifiers Are Not Topological Quantification.Tomasz Połacik - 1998 - Notre Dame Journal of Formal Logic 39 (4):531-544.details
|
|
Propositional Quantification in the Topological Semantics for S.Philip Kremer - 1997 - Notre Dame Journal of Formal Logic 38 (2):295-313.details
|
|
Degree of Satisfiability in Heyting Algebras.Benjamin Merlin Bumpus & Zoltan A. Kocsis - forthcoming - Journal of Symbolic Logic:1-19.details
|
|
The Automorphism Group of the Fraïssé Limit of Finite Heyting Algebras.Kentarô Yamamoto - 2023 - Journal of Symbolic Logic 88 (3):1310-1320.details
|
|
The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.details
|
|
Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.details
|
|
On flattening elimination rules.Grigory K. Olkhovikov & Peter Schroeder-Heister - 2014 - Review of Symbolic Logic 7 (1):60-72.details
|
|
Second order propositional operators over Cantor space.Tomasz Połacik - 1994 - Studia Logica 53 (1):93 - 105.details
|
|
Undefinability of propositional quantifiers in the modal system S.Silvio Ghilardi & Marek Zawadowski - 1995 - Studia Logica 55 (2):259 - 271.details
|
|
Logic-based ontology comparison and module extraction, with an application to DL-Lite.Roman Kontchakov, Frank Wolter & Michael Zakharyaschev - 2010 - Artificial Intelligence 174 (15):1093-1141.details
|
|
Uniform Lyndon interpolation property in propositional modal logics.Taishi Kurahashi - 2020 - Archive for Mathematical Logic 59 (5):659-678.details
|
|
Uniform Interpolation and Propositional Quantifiers in Modal Logics.Marta Bílková - 2007 - Studia Logica 85 (1):1-31.details
|
|
Uniform interpolation in substructural logics.Majid Alizadeh, Farzaneh Derakhshan & Hiroakira Ono - 2014 - Review of Symbolic Logic 7 (3):455-483.details
|
|
Computing interpolants in implicational logics.Makoto Kanazawa - 2006 - Annals of Pure and Applied Logic 142 (1):125-201.details
|
|
Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions.George Metcalfe & Luca Reggio - 2023 - Journal of Symbolic Logic 88 (1):381-417.details
|
|
Proof Theory for Positive Logic with Weak Negation.Marta Bílková & Almudena Colacito - 2020 - Studia Logica 108 (4):649-686.details
|
|
Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.Paolo Torrini, John G. Stell & Brandon Bennett - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):495-525.details
|
|
Lyndon interpolation theorem of instantial neighborhood logic – constructively via a sequent calculus.Junhua Yu - 2020 - Annals of Pure and Applied Logic 171 (1):102721.details
|
|
Uniform interpolation and compact congruences.Samuel J. van Gool, George Metcalfe & Constantine Tsinakis - 2017 - Annals of Pure and Applied Logic 168 (10):1927-1948.details
|
|
Interpolation property for bicartesian closed categories.Djordje Čubrić - 1994 - Archive for Mathematical Logic 33 (4):291-319.details
|
|
Some Formal Semantics for Epistemic Modesty.Christopher Steinsvold - 2020 - Logic and Logical Philosophy 29 (3):381-413.details
|
|
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.details
|
|
Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras.Dimitri Pataraia - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):457-483.details
|
|
An algebraic theory of normal forms.Silvio Ghilardi - 1995 - Annals of Pure and Applied Logic 71 (3):189-245.details
|
|
Extendible Formulas in Two Variables in Intuitionistic Logic.Nick Bezhanishvili & Dick Jongh - 2012 - Studia Logica 100 (1-2):61-89.details
|
|
Interpolation Property on Visser's Formal Propositional Logic.Majid Alizadeh & Masoud Memarzadeh - 2022 - Bulletin of the Section of Logic 51 (3):297-316.details
|
|
Uniform interpolation and the existence of sequent calculi.Rosalie Iemhoff - 2019 - Annals of Pure and Applied Logic 170 (11):102711.details
|
|
The G4i Analogue of a G3i Sequent Calculus.Rosalie Iemhoff - 2022 - Studia Logica 110 (6):1493-1506.details
|
|
Uniform interpolation and sequent calculi in modal logic.Rosalie Iemhoff - 2019 - Archive for Mathematical Logic 58 (1-2):155-181.details
|
|
Doing logic by computer: interpolation in fragments of intuitionistic propositional logic.Lex Hendriks - 2000 - Annals of Pure and Applied Logic 104 (1-3):97-112.details
|
|
Extendible Formulas in Two Variables in Intuitionistic Logic.Nick Bezhanishvili & Dick de Jongh - 2012 - Studia Logica 100 (1):61-89.details
|
|
Interpolation in fuzzy logic.Matthias Baaz & Helmut Veith - 1999 - Archive for Mathematical Logic 38 (7):461-489.details
|
|
Remarks on uniform interpolation property.Majid Alizadeh - forthcoming - Logic Journal of the IGPL.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
|
|