scientific article; zbMATH DE number 2184446
From MaRDI portal
Publication:3022776
Recommendations
Cited in
(only showing first 100 items - show all)- Interpolation in non-classical logics
- Sentential logics and Maehara interpolation property
- Repairing the interpolation theorem in quantified modal logic
- Extensions of the minimal logic and the interpolation problem
- A computational glimpse at the Leibniz and Frege hierarchies
- The logic of the strongest and the weakest t-norms
- Strong decidability and strong recognizability
- Strong computability of slices over the logic GL
- Multicomponent proof-theoretic method for proving interpolation properties
- A category equivalence for odd Sugihara monoids and its applications
- The decidability of Craig's interpolation property in well-composed J-logics
- The interpolation problem in finite-layered pre-Heyting logics
- The G4i analogue of a G3i sequent calculus
- Algorithms for recognizing restricted interpolation over the modal logic S4
- Propositional union closed team logics
- Uniform interpolation from cyclic proofs: the case of modal mu-calculus
- Modal bilattice logic and its extensions
- A Lindström theorem for intuitionistic propositional logic
- Interpolation in extensions of first-order logic
- Epimorphism surjectivity in varieties of Heyting algebras
- Perceptibility in pre-Heyting logics
- Epimorphisms in varieties of subidempotent residuated structures
- Linearly ordered sets with only one operator have the amalgamation property
- Amalgamation and interpolation in ordered algebras.
- The institution-theoretic scope of logic theorems
- Craig interpolation in the presence of unreliable connectives
- Epimorphisms, definability and cardinalities
- Restricted interpolation over modal logic S4
- Layers over minimal logic
- Interconnection of the lattices of extensions of four logics
- Epimorphisms in varieties of residuated structures
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Projective Beth property in extensions of Grzegorczyk logic
- Classification of extensions of the modal logic S4
- Preservation of Craig interpolation by the product of matrix logics
- Definability and interpolation in non-classical logics
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Failure of interpolation in constant domain intuitionistic logic
- On classical behavior of intuitionistic modalities
- The lattice of Belnapian modal logics: special extensions and counterparts
- Conditionals and modularity in general logics
- Craig interpolation for semilinear substructural logics
- Interpolation via translations
- LC and its pretabular relatives
- Through an inference rule, darkly
- The class of polyadic algebras has the super amalgamation property
- Interpolation and implicit definability in extensions of the provability logic
- Belief revision in non-classical logics
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
- scientific article; zbMATH DE number 4047685 (Why is no real title available?)
- The projective Beth property in well-composed logics
- Synonymous theories and knowledge representations in answer set programming
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
- Weak interpolation in extensions of the logics S4 and K4
- Restricted interpolation property in superintuitionistic logics
- Decidability of the interpolation problem and of related properties in tabular logics
- Not every splitting Heyting or interior algebra is finitely presentable
- Varying interpolation and amalgamation in polyadic MV-algebras
- The Lyndon property and uniform interpolation over the Grzegorczyk logic
- Modal interpolation via nested sequents
- Interpolation over the minimal logic and Odintsov intervals
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
- The structure of slices over minimal logic
- Restricted interpolation and lack thereof in stit logic
- The tabularity problem over the minimal logic
- Maksimova, relevance and the study of lattices of non-classical logics
- Decidability of some interpolation properties for weakly transitive modal logics
- Lattice NExtS4 from the embedding theorem viewpoint
- On algebraisation of superintuitionistic predicate logics
- scientific article; zbMATH DE number 7104937 (Why is no real title available?)
- Idempotent residuated structures: Some category equivalences and their applications
- scientific article; zbMATH DE number 6302918 (Why is no real title available?)
- The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond
- Proof complexity of non-classical logics
- Interpolation properties in the extensions of the logic of inequality
- Joint consistency in extensions of the minimal logic
- A Lindström theorem for intuitionistic first-order logic
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
- Universal algebraic methods for non-classical logics
- Rings and Gödel algebras.
- Simple weakly transitive modal algebras
- Conservative expansions of substructural logics
- Interpolation and definability over the logic Gl
- Lyndon Interpolation for Modal $$\mu $$-Calculus
- Pretabularity and Craig's interpolation property
- On the quantified version of the Belnap-Dunn modal logic
- Pretabularity and Craig's interpolation problem over the minimal logic
- Varieties defined by basic equations have the amalgamation property
- Proof theory for Lax Logic
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- Recognizable and perceptible logics and varieties
- Deciding the existence of interpolants and definitions in first-order modal logic
- Interpolation for converse PDL
- A Kripke semantics for intuitionistic Łukasiewicz logic with weak excluded middle
- Interpolation in weakly transitive modal logics
- Interpolation and the projective Beth property in well-composed logics
- Decidability of the weak interpolation property over the minimal logic
- Modal companions for the special extensions of Nelson's constructive logic
- Two interpolation theorems
- A model theory of topology
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3022776)
