Cover Image

Craig interpolation theorem fails in bi-intuitionistic predicate logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Olkhovikov, Grigory K., Badia, Guillermo
Format:	Preprint
Published:	2022
Subjects:	Logic 03B60, 03C40
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
by: Olkhovikov, Grigory
Published: (2024)

A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)

On connexivity in modal and conditional contexts
by: Olkhovikov, Grigory K.
Published: (2025)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
by: Sato, Yuta
Published: (2025)

Retractors in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)

Completeness in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)

The amalgamation property and Urysohn structures in continuous logic
by: Gao, Su, et al.
Published: (2023)

Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
by: Bezhanishvili, Guram, et al.
Published: (2025)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
by: Coniglio, Marcelo E.
Published: (2023)

Compactness in Team Semantics
by: Puljujärvi, Joni, et al.
Published: (2022)

Expressibility and inexpressibility in propositional team logics
by: Häggblom, Matilda, et al.
Published: (2025)

Possible and impossible conditionals for team logics
by: Barbero, Fausto, et al.
Published: (2026)

Axiomatizing modal inclusion logic and its variants
by: Anttila, Aleksi, et al.
Published: (2023)

Avoiding logical strength in real analysis
by: Freund, Anton, et al.
Published: (2026)

Generalizing Goodstein's theorem and Cichon's independence proof
by: Wilken, Gunnar
Published: (2025)

Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

A characterization of Continuous Logic by using quantale-valued logics
by: Reyes, David, et al.
Published: (2021)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Taking model-complete cores
by: Bodirsky, Manuel, et al.
Published: (2025)

E-ideals in exponential polynomial ring
by: D'Aquino, P., et al.
Published: (2022)

Preservation of NATP
by: Ahn, JinHoo, et al.
Published: (2022)

Two strong undefinability results in inquisitive and team semantics
by: Barbero, Fausto
Published: (2024)

On stable Kim-forking and rosy theories
by: Miguel-Gómez, Alberto
Published: (2025)

Rank and Independence of Imaginaries in Proper Pairs of ACF
by: Zhu, Zixuan
Published: (2026)

Fields of dp-Rank 2 and their W_2-Topologies: The Characteristic 2 Case
by: Moreno, Paulo Andrés Soto
Published: (2025)

First-order friendliness
by: Badia, Guillermo, et al.
Published: (2022)

Generic multiplicative endomorphism of a field
by: d'Elbée, Christian
Published: (2022)

Strong Negation is Definable in 2Int
by: Oddsson, Hrafn Valtýr
Published: (2025)

Convex Team Logics
by: Anttila, Aleksi, et al.
Published: (2025)

Construction of a valued field whose valuation ring is definable but neither $\exists\forall\exists$ nor $ \forall\exists\forall$-definable in the language of rings
by: Khani, Mohsen, et al.
Published: (2025)

Topological semantics for a non-self-extensional LFI
by: Jain, Esha, et al.
Published: (2025)

Independence questions in a finite axiom-schematization of first-order logic
by: Jubin, Benoit
Published: (2022)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
by: Baldwin, John T., et al.
Published: (2026)