The following pages link to (Q3824287):
Displaying 13 items.
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- A way to interpret Łukasiewicz logic and basic logic (Q1005968) (← links)
- On propositional quantifiers in provability logic (Q1317986) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- Dag Prawitz on proofs, operations and grounding (Q2288275) (← links)
- (Q2753697) (← links)
- Properties of Intuitionistic Provability and Preservativity Logics (Q3378194) (← links)
- ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS (Q3483261) (← links)
- (Q3809769) (← links)
- On goal-directed provability in classical logic (Q4395687) (← links)
- Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases (Q4490140) (← links)
- (Q5477944) (← links)