Pages that link to "Item:Q2240552"
From MaRDI portal
The following pages link to Proof-theoretic semantics and inquisitive logic (Q2240552):
Displaying 16 items.
- Advances in proof-theoretic semantics (Q495649) (← links)
- Inquisitive logic (Q626493) (← links)
- A semantical investigation on Brouwer-Zadeh logic (Q1181477) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- Propositional inquisitive logic: a survey (Q1650365) (← links)
- Explicit provability and constructive semantics (Q2732527) (← links)
- Interrogative Dependencies and the Constructive Content of Inquisitive Proofs (Q2938134) (← links)
- Proof Theory for Casari's Comparative Logics (Q3411997) (← links)
- (Q4982591) (← links)
- (Q5104713) (← links)
- (Q5149159) (← links)
- (Q5169616) (← links)
- Constructive semantics, admissibility of rules and the validity of Peirce's law (Q5176674) (← links)
- (Q5197384) (← links)
- Stoic Sequent Logic and Proof Theory (Q5208124) (← links)
- Proof-theoretic semantics for intuitionistic multiplicative linear logic (Q6541162) (← links)