On an interpretation of second order quantification in first order intuitionistic propositional logic

DOI10.2307/2275175MaRDI QIDQ4008745zbMATH OpenOpenAlexFDO

Publication date 27 September 1992

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275175

interpolation quantification Heyting algebras Heyting's intuitionistic propositional calculus second order propositional calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

On second order intuitionistic propositional logic without a universal quantifier
A secondary semantics for Second Order Intuitionistic Propositional Logic
Generalized quantifiers and first-order logic. II
Non-axiomatizable second order intuitionistic propositional logic
First order quantifiers in monadic second order logic
On some non-classical extensions of second-order intuitionistic propositional calculus
Second-order quantifiers and the complexity of theories
Implicit definitions, second-order quantifiers, and the robustness of the logical operators
Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
On the general interpretation of first-order quantifiers

Cites work

scientific article; zbMATH DE number 3501559 (Why is no real title available?)
A new algorithm for derivability in the constructive propositional calculus
Amalgamation and interpolation in the category of Heyting algebras
Interpolation in fragments of intuitionistic propositional logic
Proving termination with multiset orderings
Semantical investigations in Heyting's intuitionistic logic

Cited in

(91)

Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics
scientific article; zbMATH DE number 1873426 (Why is no real title available?)
Uniform interpolation from cyclic proofs: the case of modal mu-calculus
CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
Uniform Lyndon interpolation for basic non-normal modal logics
The G4i analogue of a G3i sequent calculus
On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
Logic-based ontology comparison and module extraction, with an application to DL-Lite
Completeness for the modal $\mu$-calculus: separating the combinatorics from the dynamics
DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
Interpolation in non-classical logics
scientific article; zbMATH DE number 1303431 (Why is no real title available?)
Uniform interpolation and coherence
The Logical Difference Problem for Description Logic Terminologies
Rules and arithmetics
Formal Properties of Modularisation
Mathematical Logic for Life Science Ontologies
Substitutions of $\Sigma_1^0$-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
Lyndon Interpolation for Modal $$\mu $$-Calculus
On the period of sequences (Aⁿ(p)) in intuitionistic propositional calculus
Contraction-free sequent calculi for intuitionistic logic
On flattening elimination rules
A decidability result for the model checking of infinite-state systems
Inseparability and conservative extensions of description logic ontologies: a survey
The decidability of dependency in intuitionistic propositional logic
A sheaf representation and duality for finitely presented Heyting algebras
Basic propositional calculus. II: Interpolation
Uniform interpolation and compact congruences
On second order intuitionistic propositional logic without a universal quantifier
scientific article; zbMATH DE number 3871347 (Why is no real title available?)
Questions and dependency in intuitionistic logic
Proof theory for positive logic with weak negation
Model completions and r-Heyting categories
Uniform interpolation and propositional quantifiers in modal logics
Extendible formulas in two variables in intuitionistic logic
Uniform interpolation and the existence of sequent calculi
The many faces of interpolation
Deciding dependence in logic and algebra
Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
Uniform interpolation via nested sequents
A secondary semantics for Second Order Intuitionistic Propositional Logic
Combined covers and Beth definability
Notes on my scientific life
Proof theory for Lax Logic
Admissibility of structural rules for contraction-free systems of intuitionistic logic
Computing interpolants in implicational logics
scientific article; zbMATH DE number 5896226 (Why is no real title available?)
Second order propositional operators over Cantor space
The Lyndon property and uniform interpolation over the Grzegorczyk logic
Fixed-Point Elimination in the Intuitionistic Propositional Calculus
scientific article; zbMATH DE number 7566058 (Why is no real title available?)
Some formal semantics for epistemic modesty
Propositional quantification in the topological semantics for S4
Duality and universal models for the meet-implication fragment of IPC
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
Propositional quantification in the monadic fragment of intuitionistic logic
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
An axiomatization of bisimulation quantifiers via the $\mu$-calculus
Uniform interpolation in substructural logics
Investigations on the dual calculus
Interpolation property for bicartesian closed categories
Interpolation Property on Visser's Formal Propositional Logic
Conservativity between logics and typed λ calculi
Constructive logics. I: A tutorial on proof systems and typed $\lambda$- calculi
scientific article; zbMATH DE number 3851084 (Why is no real title available?)
Fixed-point elimination in the intuitionistic propositional calculus
Bisimulation quantifiers and uniform interpolation for guarded first order logic
Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
Pitts' quantifiers are not topological quantification
Intermediate logics and the de Jongh property
Model completeness, covers and superposition
An algebraic theory of normal forms
Uniform Lyndon interpolation property in propositional modal logics
Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic
On some non-classical extensions of second-order intuitionistic propositional calculus
Interpolation properties for provability logics GL and GLP
Description of all functions definable by formulae of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras
scientific article; zbMATH DE number 3871348 (Why is no real title available?)
Non-axiomatizable second order intuitionistic propositional logic
An open mapping theorem for finitely copresented Esakia spaces
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
Positive formulas in intuitionistic and minimal logic
Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
Uniform interpolation and sequent calculi in modal logic
Harmony in Proof-Theoretic Semantics: A Reductive Analysis
Combination of uniform interpolants via Beth definability
Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis
Undefinability of propositional quantifiers in the modal system S4

This page was built for publication: On an interpretation of second order quantification in first order intuitionistic propositional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4008745)