The following pages link to (Q3743301):
Displaying 25 items.
- Frontal operators in weak Heyting algebras (Q454367) (← links)
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
- Irreflexive modality, the Dummett logic, and continual chains (Q721381) (← links)
- Compatible operations on residuated lattices (Q763311) (← links)
- On some compatible operations on Heyting algebras (Q763330) (← links)
- On the free frontal implicative semilattice extension of a frontal Hilbert algebra (Q780095) (← links)
- Interpolation property for extensions of intuitionistic provability logic (Q922543) (← links)
- On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123) (← links)
- A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice (Q1112802) (← links)
- On the number of new logical constants in intuitionistic propositional calculus (Q1280312) (← links)
- Implicit connectives of algebraizable logics (Q1770605) (← links)
- On some classes of Heyting algebras with successor that have the amalgamation property (Q1935558) (← links)
- On prelinear Hilbert algebras with successor (Q2035276) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- A self-contained provability calculus for \(\varGamma_0\) (Q2303588) (← links)
- Compatible operations on commutative weak residuated lattices (Q2343034) (← links)
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication (Q2422313) (← links)
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Q2811336) (← links)
- Properties of Intuitionistic Provability and Preservativity Logics (Q3378194) (← links)
- Frontal operators in distributive lattices with a generalized implication (Q3452702) (← links)
- A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus (Q4304150) (← links)
- On the complexity of propositional quantification in intuitionistic logic (Q4358053) (← links)
- Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic (Q5121273) (← links)
- AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
- Exploring Computational Contents of Intuitionist Proofs (Q5463274) (← links)
