Search results
From MaRDI portal
- Calculus for Type Theory 2009-03-12 Paper Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle 2009-01-27 Paper...10 bytes (13 words) - 18:21, 24 September 2023
- Convention in Rule Inductions 2009-03-06 Paper Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle 2009-01-27 Paper...10 bytes (13 words) - 10:15, 24 September 2023
- functions in fragments of Peano arithmetic 1986-01-01 Paper Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical...10 bytes (13 words) - 21:25, 24 September 2023
- Augmented with Constants 2015-10-06 Paper Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle 2009-01-27 Paper...10 bytes (13 words) - 22:38, 24 September 2023
- 1992-09-18 Paper A note on the compactness theorem 1975-01-01 Paper The Craig-Lyndon interpolation theorem in 3-valued logic 1970-01-01 Paper...10 bytes (17 words) - 01:15, 28 December 2023
- and Craig's interpolation problem over the minimal logic 2024-08-14 Paper Pretabularity and Craig's interpolation property 2024-05-15 Paper Craig's interpolation...10 bytes (16 words) - 16:35, 11 December 2023
- https://portal.mardi4nfdi.de/entity/Q4156761 1978-01-01 Paper Logics without Craig's interpolation property 1978-01-01 Paper Super-Łukasiewicz implicational logics...10 bytes (13 words) - 19:21, 12 December 2023
- Gentzen Type Formalizations 1980-01-01 Paper A constructive proof of Craig's interpolation lemma for m-valued logic 1979-01-01 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 07:29, 23 September 2023
- PROPOSITIONAL PROVABILITY LOGICS 1990-01-01 Paper Provability logic without Craig's interpolation property 1989-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3827991...10 bytes (17 words) - 21:56, 10 December 2023
- de/entity/Q4744264 1982-01-01 Paper Interpolation, compactness and JEP in soft model theory 1982-01-01 Paper Compactness, interpolation and Friedman's third problem...10 bytes (13 words) - 19:30, 8 December 2023
- for proving interpolation properties 2018-10-18 Paper Interpolation Method for Multicomponent Sequent Calculi 2017-07-21 Paper Proving Craig and Lyndon...10 bytes (13 words) - 18:44, 6 October 2023
- Date of Publication Type Preservation theorems for Tarski's relation algebra 2024-11-12 Paper Craig interpolation for decidable first-order fragments 2024-10-30...10 bytes (16 words) - 00:39, 10 December 2023
- and small large cardinals 2009-10-09 Paper Harmonious logic: Craig's interpolation theorem and its descendants 2009-06-16 Paper https://portal.mardi4nfdi...10 bytes (15 words) - 19:53, 24 September 2023
- Semi-analytic Rules and Craig Interpolation 2018-08-19 Paper Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation 2018-08-19 Paper Computational...10 bytes (15 words) - 00:53, 25 September 2023
- 2015-12-11 Paper Theorem Proving with Bounded Rigid E-Unification 2015-12-02 Paper On recursion-free Horn clauses and Craig interpolation 2015-10-20 Paper...10 bytes (13 words) - 06:09, 7 October 2023
- Modal Logic 2019-07-24 Paper Uniform interpolation and coherence 2019-05-02 Paper Skolemization and Herbrand theorems for lattice-valued logics 2019-03-26...10 bytes (15 words) - 05:31, 7 October 2023
- Paper The fixed point and the Craig interpolation properties for sublogics of \textbf{IL} 2024-01-18 Paper CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC...10 bytes (13 words) - 11:59, 6 October 2023
- 2005-03-21 Paper Interpolation in Grothendieck institutions 2004-10-27 Paper An institution-independent proof of Craig interpolation theorem 2004-08-16 Paper...10 bytes (13 words) - 11:37, 28 January 2024
- discrete time. Part I: Completeness results 2022-08-10 Paper Craig interpolation theorem fails in bi-intuitionistic predicate logic 2022-04-30 Paper Maximality...10 bytes (14 words) - 03:52, 12 December 2023
- intuitionistic and classical propositional logic: Gentzenization and Craig interpolation 2024-11-12 Paper Logics for knowability paradox with a non-normal...10 bytes (13 words) - 01:55, 25 September 2023
