scientific article; zbMATH DE number 3976993
From MaRDI portal
Publication:3743301
zbMATH Open0605.03006MaRDI QIDQ3743301FDOQ3743301
Authors:
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3935005
- On the computational content of intuitionistic propositional proofs
- scientific article; zbMATH DE number 3981151
- scientific article; zbMATH DE number 3313427
- scientific article; zbMATH DE number 1354095
- A forward unprovability calculus for intuitionistic propositional logic
- An analytic calculus for the intuitionistic logic of proofs
- Properties of Intuitionistic Provability and Preservativity Logics
- scientific article; zbMATH DE number 1390272
- On the complexity of propositional quantification in intuitionistic logic
Cited In (28)
- Properties of Intuitionistic Provability and Preservativity Logics
- Title not available (Why is that?)
- AXIOMATIZATION OF PROVABLE n-PROVABILITY
- Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic
- On some classes of Heyting algebras with successor that have the amalgamation property
- Title not available (Why is that?)
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
- Irreflexive modality, the Dummett logic, and continual chains
- On the complexity of propositional quantification in intuitionistic logic
- A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus
- Title not available (Why is that?)
- Exploring Computational Contents of Intuitionist Proofs
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
- Interpolation property for extensions of intuitionistic provability logic
- Frontal operators in weak Heyting algebras
- On prelinear Hilbert algebras with successor
- On some compatible operations on Heyting algebras
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus
- Compatible operations on residuated lattices
- On the free frontal implicative semilattice extension of a frontal Hilbert algebra
- Frontal operators in distributive lattices with a generalized implication.
- Compatible operations on commutative weak residuated lattices
- On some non-classical extensions of second-order intuitionistic propositional calculus
- A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice
- A self-contained provability calculus for \(\varGamma_0\)
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication
- On the number of new logical constants in intuitionistic propositional calculus
- Implicit connectives of algebraizable logics
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 Q3743301)
