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