scientific article; zbMATH DE number 219032
From MaRDI portal
Publication:4694581
zbMath0803.03044MaRDI QIDQ4694581
Publication date: 22 August 1993
Full work available at URL: https://eudml.org/doc/219353
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic semanticsinterpolation theoremprovability logicpropositional modal logicdiagonalizable algebrasfirst-order arithmetic theoriesstrong disjunction property
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Gödel numberings and issues of incompleteness (03F40)
Related Items (28)
Provability algebras and proof-theoretic ordinals. I ⋮ On modal logics of model-theoretic relations ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ An algebraic theory of normal forms ⋮ Uniform Lyndon interpolation for basic non-normal modal logics ⋮ Uniform interpolation via nested sequents ⋮ Undefinability of propositional quantifiers in the modal system S4 ⋮ Topological structure of diagonalizable algebras and corresponding logical properties of theories ⋮ Uniform interpolation and propositional quantifiers in modal logics ⋮ Lewis meets Brouwer: constructive strict implication ⋮ ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS ⋮ Uniform interpolation and sequent calculi in modal logic ⋮ The Lyndon property and uniform interpolation over the Grzegorczyk logic ⋮ Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond ⋮ Uniform interpolation and coherence ⋮ On a strengthening of the non-isomorphism theorem for provability algebras ⋮ A note on the diagonalizable algebras of PA and ZF ⋮ Pitts' quantifiers are not topological quantification ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ Interpolation properties for provability logics GL and GLP ⋮ EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES ⋮ Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) ⋮ Uniform interpolation and the existence of sequent calculi ⋮ Uniform Lyndon interpolation property in propositional modal logics ⋮ Bounded arithmetic, proof complexity and two papers of Parikh ⋮ Combination of uniform interpolants via Beth definability ⋮ Combined covers and Beth definability ⋮ EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS
This page was built for publication:
