Results for 'Craig interpolation theorem'

962 found
Order:
  1.  12
    Craig Interpolation Theorem Fails in Bi-Intuitionistic Predicate Logic.Grigory K. Olkhovikov & Guillermo Badia - 2024 - Review of Symbolic Logic 17 (2):611-633.
    In this article we show that bi-intuitionistic predicate logic lacks the Craig Interpolation Property. We proceed by adapting the counterexample given by Mints, Olkhovikov and Urquhart for intuitionistic predicate logic with constant domains [13]. More precisely, we show that there is a valid implication $\phi \rightarrow \psi $ with no interpolant. Importantly, this result does not contradict the unfortunately named ‘Craig interpolationtheorem established by Rauszer in [24] since that article is about the property more (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. The Craig interpolation theorem for prepositional logics with strong negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
    This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  3. The Craig Interpolation Theorem in abstract model theory.Jouko Väänänen - 2008 - Synthese 164 (3):401-420.
    The Craig Interpolation Theorem is intimately connected with the emergence of abstract logic and continues to be the driving force of the field. I will argue in this paper that the interpolation property is an important litmus test in abstract model theory for identifying “natural,” robust extensions of first order logic. My argument is supported by the observation that logics which satisfy the interpolation property usually also satisfy a Lindström type maximality theorem. Admittedly, the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  39
    The Craig interpolation theorem in multi-modal logics.J. X. Madarász - 1995 - Bulletin of the Section of Logic 3 (24):147-151.
  5.  88
    Craig interpolation theorem for intuitionistic logic and extensions part III.Dov M. Gabbay - 1977 - Journal of Symbolic Logic 42 (2):269-271.
  6.  60
    An institution-independent proof of Craig interpolation theorem.Răzvan Diaconescu - 2004 - Studia Logica 77 (1):59 - 79.
    We formulate a general institution-independent (i.e. independent of the details of the actual logic formalised as institution) version of the Craig Interpolation Theorem and prove it in dependence of Birkhoff-style axiomatizability properties of the actual logic.We formalise Birkhoff-style axiomatizability within the general abstract model theoretic framework of institution theory by the novel concept of Birkhoff institution.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  7. On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic.Michael Makkai - 1995 - Notre Dame Journal of Formal Logic 36 (3):364-381.
    Using the framework of categorical logic, this paper analyzes and streamlines Gabbay's semantical proof of the Craig interpolation theorem for intuitionistic predicate logic. In the process, an apparently new and interesting fact about the relation of coherent and intuitionistic logic is found.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  36
    Notes on Craig interpolation for LJ with strong negation.Norihiro Kamide - 2011 - Mathematical Logic Quarterly 57 (4):395-399.
    The Craig interpolation theorem is shown for an extended LJ with strong negation. A new simple proof of this theorem is obtained. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  52
    Interpolation theorems for intuitionistic predicate logic.G. Mints - 2001 - Annals of Pure and Applied Logic 113 (1-3):225-242.
    Craig interpolation theorem implies that the derivability of X,X′ Y′ implies existence of an interpolant I in the common language of X and X′ Y′ such that both X I and I,X′ Y′ are derivable. For classical logic this extends to X,X′ Y,Y′, but for intuitionistic logic there are counterexamples. We present a version true for intuitionistic propositional logic, and more complicated version for the predicate case.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341-357.
    Though deceptively simple and plausible on the face of it, Craig's interpolation theorem has proved to be a central logical property that has been used to reveal a deep harmony between the syntax and semantics of first order logic. Craig's theorem was generalized soon after by Lyndon, with application to the characterization of first order properties preserved under homomorphism. After retracing the early history, this article is mainly devoted to a survey of subsequent generalizations and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11. Interpolation theorems, lower Bounds for proof systems, and independence results for bounded arithmetic.Jan Krajíček - 1997 - Journal of Symbolic Logic 62 (2):457-486.
    A proof of the (propositional) Craig interpolation theorem for cut-free sequent calculus yields that a sequent with a cut-free proof (or with a proof with cut-formulas of restricted form; in particular, with only analytic cuts) with k inferences has an interpolant whose circuit-size is at most k. We give a new proof of the interpolation theorem based on a communication complexity approach which allows a similar estimate for a larger class of proofs. We derive from (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  12.  73
    Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach.Hiroakira Ono - 1986 - Studia Logica 45 (1):19-33.
    A semantical proof of Craig's interpolation theorem for the intuitionistic predicate logic and some intermediate prepositional logics will be given. Our proof is an extension of Henkin's method developed in [4]. It will clarify the relation between the interpolation theorem and Robinson's consistency theorem for these logics and will enable us to give a uniform way of proving the interpolation theorem for them.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  4
    Craig's interpolation theorem for the intuitionistic logic of constant domains.Herman Ruge Jervell - 1971 - [Oslo,: Universitetet i Oslo, Matematisk institutt.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Craig's interpolation theorem in some extended systems of logic.Andrzej Mostowski - 1968 - In B. van Rootselaar & Frits Staal, Logic, methodology and philosophy of science III. Amsterdam,: North-Holland Pub. Co.. pp. 87--103.
     
    Export citation  
     
    Bookmark   8 citations  
  15. On the Craig-Lyndon interpolation theorem.Arnold Oberschelp - 1968 - Journal of Symbolic Logic 33 (2):271-274.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  16.  42
    The Craig-Lyndon interpolation theorem in 3-valued logic.R. R. Rockingham Gill - 1970 - Journal of Symbolic Logic 35 (2):230-238.
  17. Craig's theorem and syntax of abstract logics.Jouko Vaananen - 1982 - Bulletin of the Section of Logic 11 (1-2):82-83.
    The Craig Interpolation Theorem is a fundamental property of rst order logic L!!. What happens if we strengthen rst order logic? Second order logic L 2 satises Craig for trivial reasons but on the other hand, L 2 is not very interesting from a fundational point of view.
     
    Export citation  
     
    Bookmark  
  18.  27
    Algebraic Characterization of the Local Craig Interpolation Property.Zalán Gyenis - 2018 - Bulletin of the Section of Logic 47 (1):45-58.
    The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. We continue ongoing research in abstract algebraic logic and use the framework developed by Andréka– Németi and Sain.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  51
    (1 other version)An extension of the Craig-Lyndon interpolation theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.
  20.  80
    Leon Henkin. An extension of the Craig-Lyndon interpolation theorem. The journal of symbolic logic, vol. 28 no. 3 , pp. 201–216.M. A. Taitslin - 1965 - Journal of Symbolic Logic 30 (1):98-99.
  21.  25
    (1 other version)An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem.Takashi Nagashima - 1966 - Annals of the Japan Association for Philosophy of Science 3 (1):12-18.
  22.  93
    The road to two theorems of logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
    Work on how to axiomatize the subtheories of a first-order theory in which only a proper subset of their extra-logical vocabulary is being used led to a theorem on recursive axiomatizability and to an interpolation theorem for first-order logic. There were some fortuitous events and several logicians played a helpful role.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  33
    Nagashima Takashi. An extension of the Craig-Schütte interpolation theorem. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 1 , pp. 12–18. [REVIEW]A. S. Troelstra - 1968 - Journal of Symbolic Logic 33 (2):291-292.
  24.  52
    Interpolants, cut elimination and flow graphs for the propositional calculus.Alessandra Carbone - 1997 - Annals of Pure and Applied Logic 83 (3):249-299.
    We analyse the structure of propositional proofs in the sequent calculus focusing on the well-known procedures of Interpolation and Cut Elimination. We are motivated in part by the desire to understand why a tautology might be ‘hard to prove’. Given a proof we associate to it a logical graph tracing the flow of formulas in it . We show some general facts about logical graphs such as acyclicity of cut-free proofs and acyclicity of contraction-free proofs , and we give (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  25. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.Tim Lyon, Alwen Tiu, Rajeev Gore & Ranald Clouston - 2020 - In Maribel Fernandez & Anca Muscholl, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). pp. 1-16.
    We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  26.  30
    Interpolation in loop-free logic.Kenneth A. Bowen - 1980 - Studia Logica 39 (2-3):297 - 310.
    Model-theoretic methods are used to extend Craig's Interpolation Theorem to the loop-free portion of Pratt's dynamic logic of programs with simple assignments.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  95
    Interpolation in Computing Science: The Semantics of Modularization.Gerard R. Renardel De Lavalette - 2008 - Synthese 164 (3):437 - 450.
    The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in several areas of computer science. We give a short overview, and focus on the theory of software systems and modules. An algebra of theories TA is presented, with a nonstandard interpretation of the existential quantifier ∃. In TA, the interpolation property of the underlying logic corresponds with the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  52
    Completeness and interpolation of almost‐everywhere quantification over finitely additive measures.João Rasga, Wafik Boulos Lotfallah & Cristina Sernadas - 2013 - Mathematical Logic Quarterly 59 (4-5):286-302.
    We give an axiomatization of first‐order logic enriched with the almost‐everywhere quantifier over finitely additive measures. Using an adapted version of the consistency property adequate for dealing with this generalized quantifier, we show that such a logic is both strongly complete and enjoys Craig interpolation, relying on a (countable) model existence theorem. We also discuss possible extensions of these results to the almost‐everywhere quantifier over countably additive measures.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.
    We present a number of, somewhat unusual, ways of describing what Craig’s interpolation theorem achieves, and use them to identify some open problems and further directions.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30. Interpolation as explanation.Jaakko Hintikka & Ilpo Halonen - 1999 - Philosophy of Science 66 (3):423.
    A (normalized) interpolant I in Craig's theorem is a kind of explanation why the consequence relation (from F to G) holds. This is because I is a summary of the interaction of the configurations specified by F and G, respectively, that shows how G follows from F. If explaining E means deriving it from a background theory T plus situational information A and if among the concepts of E we can separate those occurring only in T or only (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  31.  61
    Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
    A family of prepositional logics is considered to be intermediate between the intuitionistic and classical ones. The generalized interpolation property is defined and proved is the following.Theorem on interpolation. For every intermediate logic L the following statements are equivalent:(i) Craig's interpolation theorem holds in L, (ii) L possesses the generalized interpolation property, (iii) Robinson's consistency statement is true in L.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  32.  53
    Failure of interpolation in relevant logics.Alasdair Urquhart - 1993 - Journal of Philosophical Logic 22 (5):449 - 479.
    Craig's interpolation theorem fails for the propositional logics E of entailment, R of relevant implication and T of ticket entailment, as well as in a large class of related logics. This result is proved by a geometrical construction, using the fact that a non-Arguesian projective plane cannot be imbedded in a three-dimensional projective space. The same construction shows failure of the amalgamation property in many varieties of distributive lattice-ordered monoids.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  33. Weakly Aggregative Modal Logic: Characterization and Interpolation.Jixin Liu, Yanjing Wang & Yifeng Ding - 2019 - In Patrick Blackburn, Emiliano Lorini & Meiyun Guo, Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. Springer. pp. 153-167.
    Weakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. WAML has some interesting applications on epistemic logic and logic of games, so we study some basic model theoretical aspects of WAML in this paper. Specifically, we give a van Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation and show that each basic WAML system Kn lacks Craig Interpolation.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  57
    Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics.Adam Přenosil - 2017 - Studia Logica 105 (6):1255-1289.
    We develop a Gentzen-style proof theory for super-Belnap logics, expanding on an approach initiated by Pynko. We show that just like substructural logics may be understood proof-theoretically as logics which relax the structural rules of classical logic but keep its logical rules as well as the rules of Identity and Cut, super-Belnap logics may be seen as logics which relax Identity and Cut but keep the logical rules as well as the structural rules of classical logic. A generalization of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35.  70
    Beth definability, interpolation and language splitting.Rohit Parikh - 2011 - Synthese 179 (2):211 - 221.
    Both the Beth definability theorem and Craig's lemma (interpolation theorem from now on) deal with the issue of the entanglement of one language L1 with another language L2, that is to say, information transfer—or the lack of such transfer—between the two languages. The notion of splitting we study below looks into this issue. We briefly relate our own results in this area as well as the results of other researchers like Kourousias and Makinson, and Peppas, Chopra (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  50
    On the interpolation property of some intuitionistic modal logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.
    LetL be one of the intuitionistic modal logics considered in [7] (or one of its extensions) and letM L be the “algebraic semantics” ofL. In this paper we will extend toL the equivalence, proved in the classical case (see [6]), among he weak Craig interpolation theorem, the Robinson theorem and the amalgamation property of varietyM L. We will also prove the equivalence between the Craig interpolation theorem and the super-amalgamation property of varietyM L. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  16
    Interpolation in Term Functor Logic.J. -Martín Castro-Manzano - forthcoming - Critica:53-69.
    Given some links between Lyndon’s Interpolation Theorem, term distribution, and Sommers and Englebretsen’s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen’s Term Functor Logic. In order to reach this goal we first expound the basics of Term Functor Logic, together with a sense of term distribution, and then we offer a proof of our main contribution.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  58
    Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics.Eugenio Orlandelli - 2021 - Logic and Logical Philosophy 30 (1):139-183.
    G3-style sequent calculi for the logics in the cube of non-normal modal logics and for their deontic extensions are studied. For each calculus we prove that weakening and contraction are height-preserving admissible, and we give a syntactic proof of the admissibility of cut. This implies that the subformula property holds and that derivability can be decided by a terminating proof search whose complexity is in Pspace. These calculi are shown to be equivalent to the axiomatic ones and, therefore, they are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  63
    Logical Interpolation and Projection onto State in the Duration Calculus.Dimitar P. Guelev - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):181-208.
    We generalise an interval-related interpolation theorem about abstract-time Interval Temporal Logic, which was first obtained in [GUE 01]. The generalisation is based on the abstract-time variant of a projection operator in the Duration Calculus, which was introduced in [DAN 99] and later studied extensively in [GUE 02]. We propose a way to understand interpolation in the context of formal verification. We give an example showing that, unlike abstract-time ITL, DC does not have the Craig interpolation (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  27
    Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic.Judit X. Madarász - 1998 - Journal of Applied Non-Classical Logics 8 (1):67-105.
    ABSTRACT The two main directions pursued in the present paper are the following. The first direction was started by Pigozzi in 1969. In [Mak 91] and [Mak 79] Maksimova proved that a normal modal logic has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property. In this paper we extend Maksimova's theorem to normal multi-modal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily normal multi-modal logics with modalities of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  41.  70
    On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
    We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds but a strong form of this theorem does not hold. Translating these results into Algebraic Logic we obtain a finitely axiomatizable subvariety of finite dimensional Representable Cylindric Algebras that has the Strong Amalgamation Property but does not have the Superamalgamation Property. This settles a conjecture of Pigozzi [12].
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  42.  17
    The many faces of interpolation.Johan Benthem - 2008 - Synthese 164 (3):451-460.
    We present a number of, somewhat unusual, ways of describing what Craig’s interpolation theorem achieves, and use them to identify some open problems and further directions.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  15
    Remarks on uniform interpolation property.Majid Alizadeh - 2024 - Logic Journal of the IGPL 32 (5):810-814.
    A logic $\mathcal{L}$ is said to satisfy the descending chain condition, DCC, if any descending chain of formulas in $\mathcal{L}$ with ordering induced by $\vdash _{\mathcal{L}};$ eventually stops. In this short note, we first establish a general theorem, which states that if a propositional logic $\mathcal{L}$ satisfies both DCC and has the Craig Interpolation Property, CIP, then it satisfies the Uniform Interpolation Property, UIP, as well. As a result, by using the Nishimura lattice, we give a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  21
    Interval-Related Interpolation in Interval Temporal Logics.Dimitar Guelev - 2001 - Logic Journal of the IGPL 9 (5):677-685.
    This paper presents a new kind of interpolation theorems about Neighbourhood Logic and Interval Temporal Logic . Unlike Craig interpolation, which holds for these logics too, the new theorems treat the existence of interpolants which specify properties of selected intervals in the models of NL and ITL.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  27
    Tableaux and Interpolation for Propositional Justification Logics.Meghdad Ghari - 2024 - Notre Dame Journal of Formal Logic 65 (1):81-112.
    We present tableau proof systems for the annotated version of propositional justification logics, that is, justification logics which are formulated using annotated application operators. We show that the tableau systems are sound and complete with respect to Mkrtychev models, and some tableau systems are analytic and provide a decision procedure for the annotated justification logics. We further show Craig’s interpolation property and Beth’s definability theorem for some annotated justification logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  13
    Consistency and interpolation in linear continuous logic.Mahya Malekghasemi & Seyed-Mohammad Bagheri - 2023 - Archive for Mathematical Logic 62 (7):931-939.
    We prove Robinson consistency theorem as well as Craig, Lyndon and Herbrand interpolation theorems in linear continuous logic.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  56
    Abstract Forms of Quantification in the Quantified Argument Calculus.Edi Pavlović & Norbert Gratzl - 2023 - Review of Symbolic Logic 16 (2):449-479.
    The Quantified argument calculus (Quarc) has received a lot of attention recently as an interesting system of quantified logic which eschews the use of variables and unrestricted quantification, but nonetheless achieves results similar to the Predicate calculus (PC) by employing quantifiers applied directly to predicates instead. Despite this noted similarity, the issue of the relationship between Quarc and PC has so far not been definitively resolved. We address this question in the present paper, and then expand upon that result. Utilizing (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  48. On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.
    A natural deduction formulation is given for the intermediate logic called MH by Gabbay in [4]. Proof-theoretic methods are used to show that every deduction can be normalized, that MH is the weakest intermediate logic for which the Glivenko theorem holds, and that the Craig-Lyndon interpolation theorem holds for it.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  49.  48
    On some Classes of Heyting Algebras with Successor that have the Amalgamation Property.José L. Castiglioni & Hernán J. San Martín - 2012 - Studia Logica 100 (6):1255-1269.
    In this paper we shall prove that certain subvarieties of the variety of Salgebras (Heyting algebras with successor) has amalgamation. This result together with an appropriate version of Theorem 1 of [L. L. Maksimova, Craig’s theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras, Algebra i Logika, 16(6):643-681, 1977] allows us to show interpolation in the calculus IPC S (n), associated with these varieties.We use that every algebra in any of the varieties of S-algebras studied (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50. An Institution-Independent Proof of the Robinson Consistency Theorem.Daniel Gâinâ & Andrei Popescu - 2007 - Studia Logica 85 (1):41-73.
    We prove an institutional version of A. Robinson ’s Consistency Theorem. This result is then appliedto the institution of many-sorted first-order predicate logic and to two of its variations, infinitary and partial, obtaining very general syntactic criteria sufficient for a signature square in order to satisfy the Robinson consistency and Craig interpolation properties.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 962