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

DOI10.2307/2275175zbMATH Open0763.03009OpenAlexW2127394739MaRDI QIDQ4008745FDOQ4008745

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

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

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)

Cites Work

Semantical investigations in Heyting's intuitionistic logic
Proving termination with multiset orderings
Title not available (Why is that?)
Amalgamation and interpolation in the category of Heyting algebras
Interpolation in fragments of intuitionistic propositional logic
A new algorithm for derivability in the constructive propositional calculus

Cited In (91)

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

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)