The following pages link to (Q4039813):
Displaying 36 items.
- A Brauer's theorem and related results (Q432258) (← links)
- Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Q454383) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Simplifying proofs in Fitch-style natural deduction systems (Q851139) (← links)
- The metamathematics of ergodic theory (Q1006602) (← links)
- Constructive logics. I: A tutorial on proof systems and typed \(\lambda\)- calculi (Q1208732) (← links)
- Irreflexive modality in the intuitionistic propositional logic and Novikov completeness (Q1288137) (← links)
- Markov's constructive analysis; a participant's view (Q1292407) (← links)
- Algebraic proofs of cut elimination (Q1349247) (← links)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
- A simple sequent calculus for Angell's logic of analytic containment (Q1685482) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics (Q1740612) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Structural cut elimination. I: Intuitionistic and classical logic (Q1854335) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- Intersection types for explicit substitutions (Q1887145) (← links)
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- Interpolation in extensions of first-order logic (Q2186699) (← links)
- Absorbing the structural rules in the sequent calculus with additional atomic rules (Q2309499) (← links)
- Rudimentary Kripke models for the intuitionistic propositional calculus (Q2367411) (← links)
- Semantics for intuitionistic epistemic logics of shallow depths for game theory (Q2376985) (← links)
- Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
- Three roads to complete lattices: orders, compatibility, polarity (Q2663187) (← links)
- B-frame duality (Q2689804) (← links)
- Conservativeness and Eliminability for Anti-Realistic Definitions (Q2908762) (← links)
- QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE (Q2940883) (← links)
- Intuitionistic Decision Procedures Since Gentzen (Q3305556) (← links)
- PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS (Q3389489) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic (Q6067750) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)
- Upper and lower bounds for the height of proofs in sequent calculus for intuitionistic logic (Q6147867) (← links)
